|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |