Package bob.predicat

Provides classes to represent B predicates.

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.
 

Package bob.predicat Description

Provides classes to represent B predicates.

Package Specification
to be completed

Related Documentation
to be completed



Copyright OB.