Uses of Class
bob.constantes.TOpQuantif

Packages that use TOpQuantif
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. 
 

Uses of TOpQuantif in bob.constantes
 

Fields in bob.constantes declared as TOpQuantif
static TOpQuantif TOpQuantif.IL_EXISTE
          Opérateur "il existe" (#)
static TOpQuantif TOpQuantif.INTER
          Opérateur "intersection quantifiée" (INTER)
static TOpQuantif TOpQuantif.LAMBDA
          Opérateur "lambda" (%)
static TOpQuantif TOpQuantif.PI
          Opérateur "produit généralisé" (PI)
static TOpQuantif TOpQuantif.POUR_TOUT
          Opérateur "pour tout" (!)
static TOpQuantif TOpQuantif.SIGMA
          Opérateur "somme généralisée" (SIGMA)
static TOpQuantif TOpQuantif.UNION
          Opérateur "union quantifiée" (UNION)
 

Uses of TOpQuantif in bob.expression
 

Methods in bob.expression that return TOpQuantif
 TOpQuantif TExprOpQuant.DonnerOperateur()
          Donne l'opérateur de quantification utilisé.
 

Constructors in bob.expression with parameters of type TOpQuantif
TExprOpQuant(TOpQuantif oper, java.util.Vector<TExprIdentificateur> liste_var, TPredicat p, TExpression expr)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Uses of TOpQuantif in bob.predicat
 

Methods in bob.predicat that return TOpQuantif
 TOpQuantif TPredQuantif.DonnerOperateur()
          Donne l'opérateur de quantification utilisé.
 

Constructors in bob.predicat with parameters of type TOpQuantif
TPredQuantif(TOpQuantif op, java.util.Vector<TExprIdentificateur> liste_id, TPredicat p)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 



Copyright OB.