|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Provides top-level class and general utilities of BoB.
Package Specification
to be completed
Related Documentation
to be completed
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |