|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TCase | |
---|---|
bob.substitution | Provides classes to represent B substitutions. |
Uses of TCase in bob.substitution |
---|
Methods in bob.substitution that return types with arguments of type TCase | |
---|---|
java.util.Vector<TCase> |
TSubCas.DonnerCase()
Donne la liste des cas. |
Constructor parameters in bob.substitution with type arguments of type TCase | |
---|---|
TSubCas(TExpression selec,
java.util.Vector<TCase> liste_cas)
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |