Doc Bob

Packages
bob.batch Provides classes for the batch interface of BoB.
bob.composant Provides classes to represent internal B components.
bob.constantes Provides classes to represent constants in the B components - like the operators -.
bob.elementB Provides top-level class and general utilities of BoB.
bob.expression Provides classes to represent B expressions.
bob.predicat Provides classes to represent B predicates.
bob.projet Provides classes to represent and to manage B projects.
bob.substitution Provides classes to represent B substitutions.
bob.traduire Provides the class to translate the output of the Tatibouet parser into a LSR/BoB component.

 



Copyright OB.