Uses of Package
bob.constantes

Packages that use bob.constantes
bob.composant Provides classes to represent internal B components. 
bob.constantes Provides classes to represent constants in the B components - like the operators -. 
bob.expression Provides classes to represent B expressions. 
bob.predicat Provides classes to represent B predicates. 
 

Classes in bob.constantes used by bob.composant
TNatureComposant
          La classe TNatureComposant contient les informations relatives à la catégorie d'un composant.
 

Classes in bob.constantes used by bob.constantes
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.
 

Classes in bob.constantes used by bob.expression
TOpBinaire
          La classe TOpBinaire généralise les opérateurs binaires.
TOpQuantif
          La classe TOpQuantif contient les informations sur les opérateurs de quantifications.
TOpUnaire
          La classe TOpUnaire contient les informations sur les opérateurs unaires.
 

Classes in bob.constantes used by bob.predicat
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.
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.
 



Copyright OB.