Uses of Package
bob.expression

Packages that use bob.expression
bob.composant Provides classes to represent internal B components. 
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.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. 
 

Classes in bob.expression used by bob.composant
TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 

Classes in bob.expression used by bob.elementB
TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 

Classes in bob.expression used by bob.expression
TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 

Classes in bob.expression used by bob.predicat
TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 

Classes in bob.expression used by bob.substitution
TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 

Classes in bob.expression used by bob.traduire
TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 



Copyright OB.