|
||||||||||
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.TPredLogique
public class TPredLogique
La classe TPredLogique contient les informations concernant les prédicats logiques.
Syntaxe B:
TPredicat TOpLogique TPredicat
TPredicat
,
TOpLogique
Constructor Summary | |
---|---|
TPredLogique(TOpLogique op,
TPredicat mg,
TPredicat md)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur. |
Method Summary | |
---|---|
void |
Afficher(java.io.Writer flux_sortie)
Affiche un prédicat logique. |
void |
Afficher(java.io.Writer flux_sortie,
int niveau)
Affiche un prédicat logique avec presentation. |
tatibouet.bparser.Noeud |
ConstruireNoeud()
Construit un Noeud Tatibouet à partir d'un prédicat logique. |
java.util.Vector<TPredicat> |
DecomposerET()
Méthode qui décompose un prédicat logique en un vecteur de prédicats reliés par des ET. |
TPredicat |
DonnerMembreDroite()
Donne le membre de droite du prédicat. |
TPredicat |
DonnerMembreGauche()
Donne le membre de gauche du prédicat. |
TOpLogique |
DonnerOperateur()
Donne l'opérateur logique utilisé. |
TElementB |
Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur |
boolean |
EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
java.util.Vector<TExprIdentificateur> |
ListeDesNomsLibres()
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution. |
static TPredicat |
RecomposerET(java.util.Vector<TPredicat> lp)
Méthode qui recompose une liste de prédicats en une conjonction avec associativité à gauche. |
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 predicat. |
Methods inherited from class bob.elementB.TElementB |
---|
RemplacerMultiple |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TPredLogique(TOpLogique op, TPredicat mg, TPredicat md)
op
- Opérateur logique à utiliser.mg
- Membre de gauche du prédicatmd
- Membre de droite du prédicatMethod Detail |
---|
public TOpLogique DonnerOperateur()
public TPredicat DonnerMembreGauche()
public TPredicat DonnerMembreDroite()
public TElementB Dupliquer()
Dupliquer
in class TElementB
public TPredicat Simplifier()
Simplifier
in class TPredicat
public boolean EstSyntaxEgal(TPredicat P)
EstSyntaxEgal
in class TPredicat
public java.util.Vector<TPredicat> DecomposerET()
public static TPredicat RecomposerET(java.util.Vector<TPredicat> lp)
public java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
ListeDesNomsLibres
in class TElementB
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 FileWriter 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
public tatibouet.bparser.Noeud ConstruireNoeud()
ConstruireNoeud
in class TElementB
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |