Uses of Class
bob.constantes.TNatureComposant

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

Uses of TNatureComposant in bob.composant
 

Fields in bob.composant declared as TNatureComposant
protected  TNatureComposant TComposant.Elem
          nature du composant : machine, raffinement ou implementation
 

Methods in bob.composant that return TNatureComposant
 TNatureComposant TComposant.DonnerElem()
          sélecteur de la nature du composant
 

Methods in bob.composant with parameters of type TNatureComposant
 void TComposant.RangerElem(TNatureComposant x)
          initialisation de la nature du composant
 

Constructors in bob.composant with parameters of type TNatureComposant
TComposant(TNatureComposant el, TEnteteComp et, java.util.Vector<TClause> liste)
          constructeur initialisant
 

Uses of TNatureComposant in bob.constantes
 

Fields in bob.constantes declared as TNatureComposant
static TNatureComposant TNatureComposant.IMPLEMENTATION
           
static TNatureComposant TNatureComposant.MACHINE
           
static TNatureComposant TNatureComposant.REFINEMENT
           
 



Copyright OB.