Uses of Class
bob.substitution.TWhen

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.
 



Copyright OB.