Uses of Class
bob.composant.TEnteteDef

Packages that use TEnteteDef
bob.composant Provides classes to represent internal B components. 
 

Uses of TEnteteDef in bob.composant
 

Methods in bob.composant that return TEnteteDef
 TEnteteDef TDefinition.DonnerEnteteDefinition()
           
 

Methods in bob.composant with parameters of type TEnteteDef
 void TDefinition.RangerEnteteDefinition(TEnteteDef x)
          initialisation de l'attribut EnteteDefinition
 

Constructors in bob.composant with parameters of type TEnteteDef
TDefinition(TEnteteDef entete_def, TExpression corps_def)
          constructeur initialisant d'expression
TDefinition(TEnteteDef entete_def, TPredicat corps_def)
          constructeur initialisant de predicat
TDefinition(TEnteteDef entete_def, TSubstitution corps_def)
          constructeur initialisant de substitution
 



Copyright OB.