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, toStringpublic ActionNode(Action action)
public ActionNode makeCopy()
public void assertPostconditions(LiteralLayer lLayer)
public static boolean isMutex(ActionNode node1, ActionNode node2)