public class NotDataChainPrecedenceConst extends DataDeclareConstraint
Automaton.Operations
expandCount, init, op, scount
Constructor and Description |
---|
NotDataChainPrecedenceConst(java.lang.String activation,
java.lang.String target,
org.processmining.models.guards.Expression exp) |
createExecAutomaton, getActivation, isActivatorPresent, isInFinalState, nextActivity, reset
addState, getExpandCount, getInit, getStateCount, getTransitionCount, iterator, removeState, setExpandCount, setInitial, transitions