Uses of Class
bob.constantes.TOpFonction

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

Uses of TOpFonction in bob.constantes
 

Fields in bob.constantes declared as TOpFonction
static TOpFonction TOpFonction.ENS_BIJECT_PART
          Ensemble des fonctions bijectives partielles (>+>>)
static TOpFonction TOpFonction.ENS_BIJECT_TOT
          Ensemble des fonctions bijectives totales (>->>)
static TOpFonction TOpFonction.ENS_FONC_PART
          Ensemble des fonctions partielles (+->)
static TOpFonction TOpFonction.ENS_FONC_TOT
          Ensemble des fonctions totales (-->)
static TOpFonction TOpFonction.ENS_INJECT_PART
          Ensemble des fonctions injectives partielles (>+>)
static TOpFonction TOpFonction.ENS_INJECT_TOT
          Ensemble des fonctions injectives totales (>->)
static TOpFonction TOpFonction.ENS_SURJECT_PART
          Ensemble des fonctions surjectives partielles (+->>)
static TOpFonction TOpFonction.ENS_SURJECT_TOT
          Ensemble des fonctions surjectives totales (-->>)
 



Copyright OB.