|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Provides classes to represent B expressions.
Package Specification
to be completed
Related Documentation
to be completed
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |