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