public class DataDeclareConstraint extends Automaton
Automaton.Operations
expandCount, init, op, scount
Constructor and Description |
---|
DataDeclareConstraint(java.lang.String first,
java.lang.String second,
org.processmining.models.guards.Expression exp) |
Modifier and Type | Method and Description |
---|---|
void |
createExecAutomaton(Automaton a) |
java.lang.String |
getActivation() |
boolean |
isActivatorPresent() |
boolean |
isInFinalState() |
boolean |
nextActivity(org.deckfour.xes.model.XEvent event) |
void |
reset() |
addState, getExpandCount, getInit, getStateCount, getTransitionCount, iterator, removeState, setExpandCount, setInitial, transitions
public DataDeclareConstraint(java.lang.String first, java.lang.String second, org.processmining.models.guards.Expression exp)
public void createExecAutomaton(Automaton a)
public boolean nextActivity(org.deckfour.xes.model.XEvent event)
public boolean isInFinalState()
public java.lang.String getActivation()
public void reset()
public boolean isActivatorPresent()