Package bob.elementB

Provides top-level class and general utilities of BoB.

See:
          Description

Class Summary
TElementB La classe TElementB généralise tous les éléments pouvant constituer un source écrit en B: composant, substitution, prédicat, expression, etc.
Util La classe Util regroupe les méthodes utiles aux calculs sur les objets B.
 

Package bob.elementB Description

Provides top-level class and general utilities of BoB.

Package Specification
to be completed

Related Documentation
to be completed



Copyright OB.