Database
From Event-B
Revision as of 20:43, 22 February 2009 by imported>Mathieu (a small bit of info...)
This page described the rodin database API. TODO: by someone knowing the internals of rodin. Describe the database API
The database API is located in the
org.rodinp.core
in the
org.rodinp.core
plug-in.
The common interface for all dtabase elements is IRodinElement.