|
Class Summary |
| OperatorCompareKey |
Diese Klasse dient dazu zwei Operatoren miteinander zu vergleichen, um
herauszufinden, ob der Operator mit der gleichen Belegung der
Vorbedingung schon
einmal ausgeführt wurde. |
| PlanExecution |
Klasse deren Objekte die vom Planner generierten Pl?ne
ausf?hrt. |
| Planner |
Die Planner-Klasse ist die abstrakte Superklasse f?r
alle Planner-Auspr?gungen, die der Shellbenutzer
implementieren kann. |
| PredicateAccount |
Die Klasse hilft zur Buchf?hrung ?ber die geaenderten Welten, so dass
die PlanExecution durch Operatoren
verursachte ?nderungen wieder R?ckg?ngig machen kann. |