|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--planner.plannertypes.ANode
Action node in einem action level.
| Field Summary | |
private Operator |
action
Eine Aktion ist ein Operator. |
private PNode[] |
addEdges
Kanten zu Vorbedingungen aus dem vorangehenden PLevel, zu hinzugef?gten und gel?schten PNodes aus dem nachfolgenden PLevel. |
private int |
assumedPostcond
Anvisierte Nachbedingung. |
private PNode[] |
deleteEdges
Kanten zu Vorbedingungen aus dem vorangehenden PLevel, zu hinzugef?gten und gel?schten PNodes aus dem nachfolgenden PLevel. |
(package private) java.util.LinkedList |
exclusiveActions
Liste der zu dieser Aktion exklusiven Aktionen aus dem gleichen ALevel. |
private PNode[] |
precondEdges
Kanten zu Vorbedingungen aus dem vorangehenden PLevel, zu hinzugef?gten und gel?schten PNodes aus dem nachfolgenden PLevel. |
| Constructor Summary | |
ANode(Operator theAction,
PNode[] thePrecondEdges,
int theAssumedPostcond)
Ein ANode ist definiert ?ber eine Aktion, seine PNode-Vorbedingungen und die anvisierte Nachbedingung. |
|
| Method Summary | |
Operator |
getAction()
public get-Methode f?r Attribut action. |
PNode |
getAddEdge(int i)
public get-Methode f?r i-tes Feld des Arrays addEdges. |
PNode[] |
getAddEdges()
public get-Methode f?r Attribut deleteEdges. |
int |
getAssumedPostcond()
public get-Methode f?r Attribut assumedPostcond. |
PNode[] |
getDeleteEdges()
public get-Methode f?r Attribut deleteEdges. |
PNode |
getPrecondEdge(int i)
public get-Methode f?r i-tes Feld des Arrays precondEdges. |
PNode[] |
getPrecondEdges()
public get-Methode f?r Attribut precondEdges. |
private void |
propagateInstances()
Propagiert im Operator dieses ANodes abh?ngig von PredArgument.name die Vorbedingungsinstanzen in die Nachbedingungsinstanzen und erzeugt ggf. |
PNode |
setAddEdge(PNode pNodeAddEdge,
int i)
public set-Methode f?r i-tes Feld des Arrays addEdges. |
PNode |
setDeleteEdge(PNode pNodeDelEdge,
int i)
public set-Methode f?r i-tes Feld des Arrays deleteEdges. |
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
|
| Field Detail |
private Operator action
private PNode[] precondEdges
private PNode[] addEdges
private PNode[] deleteEdges
private int assumedPostcond
java.util.LinkedList exclusiveActions
| Constructor Detail |
public ANode(Operator theAction,
PNode[] thePrecondEdges,
int theAssumedPostcond)
| Method Detail |
private void propagateInstances()
public Operator getAction()
public PNode[] getPrecondEdges()
public PNode getPrecondEdge(int i)
public PNode[] getAddEdges()
public PNode getAddEdge(int i)
public PNode[] getDeleteEdges()
public int getAssumedPostcond()
public PNode setAddEdge(PNode pNodeAddEdge,
int i)
public PNode setDeleteEdge(PNode pNodeDelEdge,
int i)
public java.lang.String toString()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||