public final class Init extends ConstraintType.Unary
ConstraintType.Binary, ConstraintType.Branched, ConstraintType.Helper, ConstraintType.UnarygraphicsALTERNATEPRECEDENCE, 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 |
|---|
Init() |
| 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)
Returns the automaton representation of this constraint type.
|
java.lang.String |
getName()
Returns the name of this constraint
|
getActivationMode, getGraphics, getLabelpublic DeterministicFiniteAutomaton getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int, org.processmining.models.graphbased.directed.petrinet.elements.Transition from)
ConstraintType.UnarygetAutomaton in class ConstraintType.Unarypublic java.lang.String getName()
ConstraintType