Uses of Class
bob.constantes.TOpLogique

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.
 



Copyright OB.