public class ActionNode extends GraphNode
Constructor and Description |
---|
ActionNode(Action action)
Creates a new instance of ActionNode
|
Modifier and Type | Method and Description |
---|---|
void |
assertPostconditions(LiteralLayer lLayer)
Adds the action's postconditions to an action layer
|
static boolean |
isMutex(ActionNode node1,
ActionNode node2)
Determines whether two ActionNodes are mutually exclusive
|
ActionNode |
makeCopy()
Makes a copy of the action without any forward or backward pointers
|
addBackPointer, addForwardPointer, connect, connect, connect, contains, containsBackPointer, containsForwardPointer, getBackPointer, getForwardPointer, isMutex, match, mutexIsSet, numBackPointers, numForwardPointers, setMutex, toString
public ActionNode(Action action)
public ActionNode makeCopy()
public void assertPostconditions(LiteralLayer lLayer)
public static boolean isMutex(ActionNode node1, ActionNode node2)