Database

From Event-B
Revision as of 20:43, 22 February 2009 by imported>Mathieu (a small bit of info...)
Jump to navigationJump to search

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.


IRodinElement

IMachineRoot

Retrieved from ‘https://wiki.event-b.org/index.php?title=Database&oldid=3417’