bob.predicat
Class TPredQuantif

java.lang.Object
  extended by bob.elementB.TElementB
      extended by bob.predicat.TPredicat
          extended by bob.predicat.TPredQuantif

public class TPredQuantif
extends TPredicat

La classe TPredQuantif contient les informations concernant les prédicats de quantification.

Syntaxe B:

TOpQuantif(liste de TExprIdentificateur).(TPredicat)

Version:
1.0 du 13/06/2001
Author:
Frédéric Chatel
See Also:
TPredicat, TOpQuantif, TExprIdentificateur

Constructor Summary
TPredQuantif(TOpQuantif op, java.util.Vector<TExprIdentificateur> liste_id, TPredicat p)
          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 de quantification.
 void Afficher(java.io.Writer flux_sortie, int niveau)
          Affiche un prédicat de quantification avec presentation.
 tatibouet.bparser.Noeud ConstruireNoeud()
          construit un Noeud à partir d'un prédicat de quantification
 java.util.Vector<TExprIdentificateur> DonnerListeIdent()
          Donne la liste des identificateurs quantifiés.
 TOpQuantif DonnerOperateur()
          Donne l'opérateur de quantification utilisé.
 TPredicat DonnerPredicat()
          Donne le prédicat portant sur les identificateurs quantifiés.
 TElementB Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
 java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 TElementB Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TPredicat Simplifier()
          Simplification d'un predicat de quantification.
 
Methods inherited from class bob.predicat.TPredicat
EstSyntaxEgal
 
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

TPredQuantif

public TPredQuantif(TOpQuantif op,
                    java.util.Vector<TExprIdentificateur> liste_id,
                    TPredicat p)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.

Parameters:
op - Opérateur logique à utiliser.
liste_id - liste des identificateurs quantifiés.
p - Prédicat portant sur ces identificateurs.
Method Detail

DonnerOperateur

public TOpQuantif DonnerOperateur()
Donne l'opérateur de quantification utilisé.

Returns:
L'opérateur de quantification utilisé.

DonnerListeIdent

public java.util.Vector<TExprIdentificateur> DonnerListeIdent()
Donne la liste des identificateurs quantifiés.

Returns:
La liste des identificateurs quantifiés.

DonnerPredicat

public TPredicat DonnerPredicat()
Donne le prédicat portant sur les identificateurs quantifiés.

Returns:
Le prédicat portant sur les identificateurs quantifiés.

Dupliquer

public TElementB Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.

Overrides:
Dupliquer in class TElementB
Returns:
un clone integral de l'element B courant

Simplifier

public TPredicat Simplifier()
Simplification d'un predicat de quantification. Méthode de fabien Sanglard.

Overrides:
Simplifier in class TPredicat
Returns:
Renvoie le predicat simplifie

ListeDesNomsLibres

public java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.

Overrides:
ListeDesNomsLibres in class TElementB
Returns:
un vecteur dont chaque element est un Tidentificateur libre.

Remplacer

public TElementB Remplacer(TExprIdentificateur Id,
                           TExpression e)
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.

Overrides:
Remplacer in class TElementB
Parameters:
Id - : l'identificateur a remplacer
e - : la nouvelle expression
Returns:
Si Id est non libre dans l'element B courant alors toutes ses iterations sont remplacees par e Sinon : L'element B courant est renvoye non modifie

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un prédicat de quantification.

Overrides:
Afficher in class TElementB
Parameters:
flux_sortie - Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).
Throws:
java.io.IOException
java.io.FileNotFoundException

Afficher

public void Afficher(java.io.Writer flux_sortie,
                     int niveau)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un prédicat de quantification avec presentation.

Overrides:
Afficher in class TElementB
Parameters:
flux_sortie - Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).
niveau - : un entier qui indique le niveau de tabulation.
Throws:
java.io.IOException
java.io.FileNotFoundException

ConstruireNoeud

public tatibouet.bparser.Noeud ConstruireNoeud()
construit un Noeud à partir d'un prédicat de quantification

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.