|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TOpEnsemble | |
---|---|
bob.constantes | Provides classes to represent constants in the B components - like the operators -. |
bob.predicat | Provides classes to represent B predicates. |
Uses of TOpEnsemble in bob.constantes |
---|
Fields in bob.constantes declared as TOpEnsemble | |
---|---|
static TOpEnsemble |
TOpEnsemble.APPARTIENT
Opérateur "appartient à" (:) |
static TOpEnsemble |
TOpEnsemble.INCLUS
Opérateur "est inclus dans ou égal" (<:) |
static TOpEnsemble |
TOpEnsemble.INTERSECTION
Opérateur "intersection" (/\) |
static TOpEnsemble |
TOpEnsemble.INTERVALLE
Opérateur "intervalle" (..) |
static TOpEnsemble |
TOpEnsemble.MAPLET
Opérateur "maplet" (|->) |
static TOpEnsemble |
TOpEnsemble.MOINS
Opérateur "soustraction d'ensembles" (-) |
static TOpEnsemble |
TOpEnsemble.MULTIPLIE
Opérateur "produit cartésien d'ensembles" (*) |
static TOpEnsemble |
TOpEnsemble.NON_APPARTIENT
Opérateur "n'appartient pas à" (/:) |
static TOpEnsemble |
TOpEnsemble.NON_INCLUS
Opérateur "n'est pas stritement inclus ou égal" (/<:) |
static TOpEnsemble |
TOpEnsemble.NON_STRICT_INCLUS
Opérateur "n'est pas strictement inclus dans" (/<<:) |
static TOpEnsemble |
TOpEnsemble.STRICT_INCLUS
Opérateur "est strictement inclus dans" (<<:) |
static TOpEnsemble |
TOpEnsemble.UNION
Opérateur "union" (\/) |
static TOpEnsemble |
TOpEnsemble.VIRGULE
Opérateur "virgule" (,) |
Uses of TOpEnsemble in bob.predicat |
---|
Methods in bob.predicat that return TOpEnsemble | |
---|---|
TOpEnsemble |
TPredEnsemble.DonnerOperateur()
Donne l'opérateur ensembliste utilisé. |
Constructors in bob.predicat with parameters of type TOpEnsemble | |
---|---|
TPredEnsemble(TOpEnsemble op,
java.util.Vector<TExpression> mg,
TExpression md)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |