|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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" (<+) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |