Uses of Class
bob.constantes.TOpEnsemble

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.
 



Copyright OB.