Package bob.constantes

Provides classes to represent constants in the B components - like the operators -.

See:
          Description

Class Summary
TNatureComposant La classe TNatureComposant contient les informations relatives à la catégorie d'un composant.
TOpArithm La classe TOpArithm contient les informations sur les opérateurs arithmétiques.
TOpBinaire La classe TOpBinaire généralise les opérateurs binaires.
TOpComparaison La classe TOpComparaison contient les informations sur les opérateurs de comparaison.
TOpEnsemble La classe TOpEnsemble contient les informations sur les opérateurs ensemblistes.
TOperateur La classe TOperateur généralise les opérateurs.
TOpFonction La classe TOpFonction contient les informations sur les opérateurs de fonctions.
TOpLogique La classe TOpLogique contient les informations sur les opérateurs logiques ayant des prédicats comme membres.
TOpQuantif La classe TOpQuantif contient les informations sur les opérateurs de quantifications.
TOpRelation La classe TOpRelation contient les informations sur les opérateurs s'appliquant sur les relations.
TOpSequence La classe TOpSequence contient les informations sur les opérateurs s'appliquant sur les expressions de séquences.
TOpUnaire La classe TOpUnaire contient les informations sur les opérateurs unaires.
 

Package bob.constantes Description

Provides classes to represent constants in the B components - like the operators -.

Package Specification
Constants are defined as static objects. They could be defined as constants of enumerated types.

Related Documentation
to be completed



Copyright OB.