|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.elementB.TElementB
bob.predicat.TPredicat
bob.predicat.TPredConst
public class TPredConst
La classe TPredConst definit les constantes VRAI et FAUX necessaire. à la simplification des Predicats.
Field Summary | |
---|---|
static TPredConst |
FAUX
|
static TPredConst |
VRAI
|
Constructor Summary | |
---|---|
TPredConst()
|
Method Summary | |
---|---|
void |
Afficher(java.io.Writer flux_sortie)
Affiche un TPredConst ( Vrai ou Faux ). |
void |
Afficher(java.io.Writer flux_sortie,
int niveau)
Affiche un TPredConst ( Vrai ou Faux ) avec presentation. |
TElementB |
Dupliquer()
Cette méthode n'est là que pour éviter d'avoir des cas non prévus à l'exécution. |
boolean |
EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
TElementB |
Remplacer(TExprIdentificateur Id,
TExpression e)
Remplace un identificateur non libre dans l'élément B courant par une expression donnee. |
TPredicat |
Simplifier()
Simplifie un prédicat. |
void |
TPredConst()
Constructeur qui ne fait rien. |
Methods inherited from class bob.elementB.TElementB |
---|
ConstruireNoeud, ListeDesNomsLibres, RemplacerMultiple |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final TPredConst VRAI
public static final TPredConst FAUX
Constructor Detail |
---|
public TPredConst()
Method Detail |
---|
public void TPredConst()
public TPredicat Simplifier()
Simplifier
in class TPredicat
public TElementB Dupliquer()
Dupliquer
in class TElementB
public boolean EstSyntaxEgal(TPredicat P)
EstSyntaxEgal
in class TPredicat
public TElementB Remplacer(TExprIdentificateur Id, TExpression e)
Remplacer
in class TElementB
Id
- : l'identificateur a remplacere
- : la nouvelle expression
public void Afficher(java.io.Writer flux_sortie) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
flux_sortie
- Flux de sortie: fichier de type Writer ou terminal(new PrintWriter(System.out)).
java.io.IOException
java.io.FileNotFoundException
public void Afficher(java.io.Writer flux_sortie, int niveau) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
flux_sortie
- Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).niveau
- : un entier qui indique le niveau de tabulation.
java.io.IOException
java.io.FileNotFoundException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |