|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
TPredComparaison | La classe TPredComparaison contient les informations concernant les prédicats de comparaison. |
TPredConst | La classe TPredConst definit les constantes VRAI et FAUX necessaire. |
TPredEnsemble | La classe TPredEnsemble contient les informations concernant les prédicats ensemblistes. |
TPredicat | La classe TPredicat généralise tous les types de prédicat. |
TPredLogique | La classe TPredLogique contient les informations concernant les prédicats logiques. |
TPredParenthese | La classe TPredParenthese contient les informations concernant les prédicats parenthèsés. |
TPredQuantif | La classe TPredQuantif contient les informations concernant les prédicats de quantification. |
Provides classes to represent B predicates.
Package Specification
to be completed
Related Documentation
to be completed
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |