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)