Package bob.expression

Provides classes to represent B expressions.

See:
          Description

Class Summary
TExprBoolLitt La classe TExprBoolLitt contient les informations contenues dans un booléen littéral.
TExprBoolPred La classe TExprBoolPred contient les informations contenues dans un bool(P).
TExprChaineLitt La classe TExprChaineLitt contient les informations contenues dans une chaine de caractères littérale.
TExprEnsCompr La classe TExprEnsCompr contient les informations contenues dans un ensemble de compréhension.
TExprEnsExt La classe TExprEnsExt contient les informations contenues dans un ensemble en extension.
TExprEntierLitt La classe TExprEntierLitt contient les informations contenues dans un entier littéral.
TExpression La classe TExpression contient les informations communes à tous les types d'expression.
TExprEvalFonc La classe TExprEvalFonc contient les informations contenues dans une évaluation de fonction.
TExprEvalFoncListe La classe TExprEvalFoncListe contient les informations contenues dans une évaluation de fonction ayant plusieurs arguments.
TExprIdentificateur La classe TExprIdentificateur contient les informations contenues dans un identificateur.
TExprOpBinaire La classe TExprOpBinaire contient les informations d'un opérateur binaire.
TExprOpQuant La classe TExprOpQuant contient les informations contenues dans une operation quantifiée.
TExprOpUnaire La classe TExprOpUnaire contient les informations contenues dans une opération unaire.
TExprParenthese La classe TExprParenthese contient les informations contenues dans une expression parenthésée.
TExprSequence La classe TExprSequence contient les informations contenues dans une séquence en extension.
 

Package bob.expression Description

Provides classes to represent B expressions.

Package Specification
to be completed

Related Documentation
to be completed



Copyright OB.