|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TOpComparaison | |
---|---|
bob.constantes | Provides classes to represent constants in the B components - like the operators -. |
bob.predicat | Provides classes to represent B predicates. |
Uses of TOpComparaison in bob.constantes |
---|
Fields in bob.constantes declared as TOpComparaison | |
---|---|
static TOpComparaison |
TOpComparaison.DIFFERENT
Opérateur "est différent de" (/=). |
static TOpComparaison |
TOpComparaison.EGAL
Opérateur "est égal à" (=). |
static TOpComparaison |
TOpComparaison.INFERIEUR
Opérateur "est inférieur ou égal à" (<=). |
static TOpComparaison |
TOpComparaison.STRICT_INFERIEUR
Opérateur "est strictement inférieur à" (<). |
static TOpComparaison |
TOpComparaison.STRICT_SUPERIEUR
Opérateur "est strictement supérieur à" (>). |
static TOpComparaison |
TOpComparaison.SUPERIEUR
Opérateur "est supérieur ou égal à" (>=). |
Uses of TOpComparaison in bob.predicat |
---|
Methods in bob.predicat that return TOpComparaison | |
---|---|
TOpComparaison |
TPredComparaison.DonnerOperateur()
Donne l'opérateur de comparaison utilisé. |
Constructors in bob.predicat with parameters of type TOpComparaison | |
---|---|
TPredComparaison(TOpComparaison op,
TExpression mg,
TExpression md)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |