Archived Website: This website is a static snapshot for archival purposes only. It is no longer maintained or updated.

Uses of Class
operators.Predicate

Packages that use Predicate
informationexchange   
operators   
planner   
planner.plannertypes   
 

Uses of Predicate in informationexchange
 

Fields in informationexchange declared as Predicate
protected  Predicate[] PlanInformation.targetPredicates
          Die Predicates, die das Planungsziel definieren.
protected  Predicate[] PlanInformation.startPredicates
          Die Predicate, die den Startzustand des Planers beschreiben
(package private)  Predicate[] LearnOperator.preConds
          Eine Kopie der Vorbedingungen aus dem entsprechenden PlanTree-Operator.
 

Methods in informationexchange that return Predicate
 Predicate[] PlanInformation.getTargetPredicates()
           
 Predicate[] PlanInformation.getStartPredicates()
           
 

Methods in informationexchange with parameters of type Predicate
private  java.lang.String LearnOperator.predicateToString(Predicate p)
          Hilfsfunktion zur Ausgabe von Predicates.
 

Uses of Predicate in operators
 

Fields in operators declared as Predicate
protected  Predicate[] Operator.precond
          Die Vorbedingung des Operators.
(package private)  Predicate PredicateMapKey.keyPred
           
 

Methods in operators that return Predicate
 Predicate Operator.getUnverifiedPrecondPred()
          Erstes nicht vollst?ndig belegtes Pr?dikat der Operatorvorbedingung wird zur?ckgegeben.
 Predicate[] Operator.getPrecond()
          Liefert die Vorbedingung des Operators.
 Predicate[] Operator.setPrecond(Predicate[] prec)
          Setzt die Vorbedingung des Operators.
 Predicate Predicate.deepClone()
          Erzeugt einen deepcopy-Clone des Objekts.
 Predicate Predicate.deepPointerClone(java.util.Hashtable name2PredArg)
          clone-Methode, die neue Objekte erzeugt, aber die Verzeigerung der PredArgs beachtet.
 

Methods in operators with parameters of type Predicate
 void Operator.setVerifiedPrecondPred(Predicate verifiedPred)
          Setzt das n?chste zu verifizierende Pr?dikat der Operatorvorbedingung.
 Predicate[] Operator.setPrecond(Predicate[] prec)
          Setzt die Vorbedingung des Operators.
 java.util.LinkedList Postcondition.addAddListPred(Predicate p)
          Erweitert die addList um ein Predicate
 java.util.LinkedList Postcondition.addDeleteListPred(Predicate p)
          Erweitert die deleteList um ein Predicate
 boolean Predicate.unifiesWith(Predicate p2)
          Testet, ob dieses Predicate mit dem uebergeben Predicate unifizierbar ist -- fuehrt diese Unifikation aber nicht durch.
 boolean Predicate.replaceable(Predicate p2)
          Testet ob das ?bergebene Predicate, statt dieses Predicate genutzt werden kann.
 void Predicate.copyPredArgFrom(Predicate src)
          Diese Methode kopiert den Inhalt der enthaltenen PredArguments in die entsprechenden eigenen PredArguments.
protected  void OperatorDB.initializePredicate(Predicate pred)
          Diese Methode weist den {knowledge.Concept Konzepten} im uübergebenen Prüdikat die passende Konzeptreferenz aus der T_Box zu.
 java.util.ListIterator OperatorDB.getAllOperators4PrecondPred(Predicate p)
           
 java.util.ListIterator OperatorDB.getSelectedOperators4PrecondPred(Predicate p, long mask)
           
 java.util.ListIterator OperatorDB.getAllOperators4PostcondPred(Predicate p)
           
 java.util.ListIterator OperatorDB.getSelectedOperators4PostcondPred(Predicate p, long mask)
           
 

Constructors in operators with parameters of type Predicate
PredicateMapKey.PredicateMapKey(Predicate k)
           
 

Uses of Predicate in planner
 

Methods in planner with parameters of type Predicate
private  boolean PlanExecution.verifyPredicateA1(Predicate pred, PlanTree planNode, int depth, Operator op)
          Diese Methode belegt nicht mit Instanzen versehene PredArgument einstelliger Predicates.
private  boolean PlanExecution.verifyPredicateA2(Predicate pred, PlanTree planNode, int depth, Operator op)
          Diese Methode belegt nicht mit Instanzen versehene PredArgument zweistelliger Predicates.
protected  java.util.LinkedList PlanExecution.selectConcreteRoles(Role r, PlanTree pn, Predicate pred)
          Deprecated.  
 

Uses of Predicate in planner.plannertypes
 

Fields in planner.plannertypes declared as Predicate
private  Predicate PNode.proposition
          Eine Proposition ist ein Predicate.
 

Methods in planner.plannertypes that return Predicate
private  Predicate PlannerTypeC.proposMatchesPrecond(Predicate propos, Predicate precond)
          versucht, die Operator Precondition precond mit der Proposition propos zu matchen.
 Predicate PNode.getProposition()
          public get-Methode f?r Attribut proposition.
 

Methods in planner.plannertypes with parameters of type Predicate
private  Predicate PlannerTypeC.proposMatchesPrecond(Predicate propos, Predicate precond)
          versucht, die Operator Precondition precond mit der Proposition propos zu matchen.
private  java.util.LinkedList PNode.generateOpPrecondKeys(Predicate p)
           
static java.lang.String PNode.computeHashKey4Pred(Predicate proposition)
          Berechnet HashKey f?r ?bergebenes Predicate.
 

Constructors in planner.plannertypes with parameters of type Predicate
PNode.PNode(Predicate propos, PLevel myPLevel)
          Ein PNode ist definiert ?ber eine Proposition und dem PLevel, dem er angeh?rt.