bob.predicat
Class TPredicat

java.lang.Object
  extended by bob.elementB.TElementB
      extended by bob.predicat.TPredicat
Direct Known Subclasses:
TPredComparaison, TPredConst, TPredEnsemble, TPredLogique, TPredParenthese, TPredQuantif

public abstract class TPredicat
extends TElementB

La classe TPredicat généralise tous les types de prédicat.

Version:
1.0 du 13/06/2001
Author:
Frédéric Chatel
See Also:
TElementB

Constructor Summary
TPredicat()
           
 
Method Summary
 boolean EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 TPredicat Simplifier()
          Méthode de simplification d'un prédicat.
 
Methods inherited from class bob.elementB.TElementB
Afficher, Afficher, ConstruireNoeud, Dupliquer, ListeDesNomsLibres, Remplacer, RemplacerMultiple
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TPredicat

public TPredicat()
Method Detail

Simplifier

public TPredicat Simplifier()
Méthode de simplification d'un prédicat. Fabien Sanglard.

Returns:
le prédicat simplifié.

EstSyntaxEgal

public boolean EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. Méthode de Didier Bert Utilisée pour des simplifications (P => P, P & P, etc).

Returns:
vrai si les deux prédicats sont syntaxiquement égaux


Copyright OB.