|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TWhen | |
---|---|
bob.substitution | Provides classes to represent B substitutions. |
Uses of TWhen in bob.substitution |
---|
Methods in bob.substitution that return types with arguments of type TWhen | |
---|---|
java.util.Vector<TWhen> |
TSubSelection.DonnerWhen()
Donne la liste des alternatives d'une sélection. |
Constructor parameters in bob.substitution with type arguments of type TWhen | |
---|---|
TSubSelection(TPredicat p,
TSubstitution s,
java.util.Vector<TWhen> w)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |