public class MaintenanceActionNode extends ActionNode
| Constructor and Description | 
|---|
| MaintenanceActionNode(Literal literal)Creates a new instance of MaintenanceAction | 
assertPostconditions, isMutex, makeCopyaddBackPointer, addForwardPointer, connect, connect, connect, contains, containsBackPointer, containsForwardPointer, getBackPointer, getForwardPointer, isMutex, match, mutexIsSet, numBackPointers, numForwardPointers, setMutex, toStringpublic MaintenanceActionNode(Literal literal)