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