Uses of Class
bob.constantes.TOpRelation

Packages that use TOpRelation
bob.constantes Provides classes to represent constants in the B components - like the operators -. 
 

Uses of TOpRelation in bob.constantes
 

Fields in bob.constantes declared as TOpRelation
static TOpRelation TOpRelation.ENSEMBLE
          Ensemble de relations (<->)
static TOpRelation TOpRelation.IMAGE
          Image d'une relation (_[_])
static TOpRelation TOpRelation.PROD_DIRECT
          Opérateur "produit direct de relations" (><)
static TOpRelation TOpRelation.PROD_PARALLELE
          Opérateur "produit parallèle de relations" (||)
static TOpRelation TOpRelation.RESTRICT_CODOM
          Opérateur "restriction de codomaine" (|>)
static TOpRelation TOpRelation.RESTRICT_DOM
          Opérateur "restriction de domaine" (<|)
static TOpRelation TOpRelation.SEQUENCE
          Opérateur "séquencement de relations" (;)
static TOpRelation TOpRelation.SOUSTRACT_CODOM
          Opérateur "soustraction de codomaine" (|>>)
static TOpRelation TOpRelation.SOUSTRACT_DOM
          Opérateur "soustraction de domaine" (<<|)
static TOpRelation TOpRelation.SURCHARGE
          Opérateur "surcharge" (<+)
 



Copyright OB.