public final class NotSuccession extends ConstraintType.Binary
ConstraintType.Binary, ConstraintType.Branched, ConstraintType.Helper, ConstraintType.Unary
graphics
ALTERNATEPRECEDENCE, ALTERNATERESPONSE, ALTERNATESUC, ATLEAST_, ATMOST_, BRANCHEDALTERNATEPRECEDENCE, BRANCHEDPRECEDENCE, BRANCHEDRESPONDEDEXISTENCE, BRANCHEDRESPONSE, CHAINPRECEDENCE, CHAINRESPONSE, CHAINSUCCESSION, CHOICE_, COEXISTENCE, EXACT_, EXCLUSIVECHOICE_, INIT, NOTCHAINSUC, NOTCOEXIST, NOTSUC, PRECEDENCE, RESPONDEDEXISTENCE, RESPONSE, SUCCESSION
Constructor and Description |
---|
NotSuccession() |
Modifier and Type | Method and Description |
---|---|
DeterministicFiniteAutomaton |
getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
org.processmining.models.graphbased.directed.petrinet.elements.Transition to)
Returns the automaton representation of this constraint type.
|
java.lang.String |
getName()
Returns the name of this constraint
|
getActivationMode, getGraphics, getLabel
public DeterministicFiniteAutomaton getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int, org.processmining.models.graphbased.directed.petrinet.elements.Transition from, org.processmining.models.graphbased.directed.petrinet.elements.Transition to)
ConstraintType.Binary
getAutomaton
in class ConstraintType.Binary
public java.lang.String getName()
ConstraintType