|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TOpLogique | |
---|---|
bob.constantes | Provides classes to represent constants in the B components - like the operators -. |
bob.predicat | Provides classes to represent B predicates. |
Uses of TOpLogique in bob.constantes |
---|
Fields in bob.constantes declared as TOpLogique | |
---|---|
static TOpLogique |
TOpLogique.EQUIVALENT
Opérateur logique "équivalent à" (<=>) |
static TOpLogique |
TOpLogique.ET
Opérateur logique "et" (&) |
static TOpLogique |
TOpLogique.IMPLIQUE
Opérateur logique "implique" (=>) |
static TOpLogique |
TOpLogique.NON
Opérateur logique "non" (not) |
static TOpLogique |
TOpLogique.OU
Opérateur logique "ou" (or) |
Uses of TOpLogique in bob.predicat |
---|
Methods in bob.predicat that return TOpLogique | |
---|---|
TOpLogique |
TPredLogique.DonnerOperateur()
Donne l'opérateur logique utilisé. |
Constructors in bob.predicat with parameters of type TOpLogique | |
---|---|
TPredLogique(TOpLogique op,
TPredicat mg,
TPredicat md)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |