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. |