Uses of Class
bob.substitution.TElsif

Packages that use TElsif
bob.substitution Provides classes to represent B substitutions. 
 

Uses of TElsif in bob.substitution
 

Methods in bob.substitution that return TElsif
 TElsif TElsif.Convertir(TElsif else_if)
          Convertit un ELSIF P THEN S en ELSE (IF P THEN S ELSE T END).
 

Methods in bob.substitution that return types with arguments of type TElsif
 java.util.Vector<TElsif> TSubCondition.DonnerElsif()
          Donne la liste des alternatives "ELSIF".
 

Methods in bob.substitution with parameters of type TElsif
 TElsif TElsif.Convertir(TElsif else_if)
          Convertit un ELSIF P THEN S en ELSE (IF P THEN S ELSE T END).
 

Constructor parameters in bob.substitution with type arguments of type TElsif
TSubCondition(TPredicat p, TSubstitution s, java.util.Vector<TElsif> liste_elsif)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
 



Copyright OB.