|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |