Uses of Class
bob.substitution.TCase

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.
 



Copyright OB.