|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use OperatorNotEvaluatedException | |
| informationexchange | |
| operators | |
| planner | |
| Uses of OperatorNotEvaluatedException in informationexchange |
| Methods in informationexchange that throw OperatorNotEvaluatedException | |
void |
PlanTree.markGoalPath()
Wird vom Planausf?hrer aufgerufen und initialisiert den Aufruf von markGoalPath (int i) mit dem Index der erf?llten Nachbedingung. |
PlanTree |
PlanTree.getNext()
|
boolean |
PlanTree.goalReached()
Liefert den Wert von goalReached f?r diejenige Nachbedingung, die nach Ausf?hrung des Operators erf?llt ist. |
| Uses of OperatorNotEvaluatedException in operators |
| Methods in operators that throw OperatorNotEvaluatedException | |
Postcondition |
Operator.getFullfilledPostcondition()
Diese Methode gibt die erf?llte Postcondition zur?ck. |
| Uses of OperatorNotEvaluatedException in planner |
| Methods in planner that throw OperatorNotEvaluatedException | |
private void |
PlanExecution.revertOpChanges(Operator op)
Diese Methode soll die durch den ?bergebenen Operator
verursachten ?nderungen der A_Box r?ckg?ngig machen. |
private void |
PlanExecution.fillABox(Operator op,
OperatorCompareKey opkey)
Diese Methode f?llt die A_Box mit den Ergebnissen
der Operatorausf?hrung auf. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||