Modifier and Type | Class and Description |
---|---|
class |
GeneralDeterministicFiniteAutomaton
A memory inefficient implementation of DFA's, but effective for small model
sizes and low number of transitions.
|
Modifier and Type | Class and Description |
---|---|
class |
Exclusive1ofM |
Modifier and Type | Class and Description |
---|---|
class |
AbsenceN |
class |
ExactlyN |
class |
ExistenceN
General existence constraint for N occurences of the given label
|
class |
InitA |
Modifier and Type | Class and Description |
---|---|
class |
NotChainSuccessionAB |
class |
NotCoExistenceAB |
class |
NotSuccessionAB |
Modifier and Type | Class and Description |
---|---|
class |
AlternatePrecedenceAB |
class |
AlternateResponseAB |
class |
AlternateSuccessionAB |
class |
ChainPrecedenceAB |
class |
ChainResponseAB |
class |
ChainSuccessionAB |
class |
CoExistenceAB |
class |
PrecedenceAB |
class |
RespondedExistenceAB |
class |
ResponseAB
Represents a responseAB constraint, i.e.
|
class |
SuccessionAB |
Modifier and Type | Method and Description |
---|---|
abstract DeterministicFiniteAutomaton |
ConstraintType.Branched.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to)
Returns the automaton representation of this constraint type.
|
abstract DeterministicFiniteAutomaton |
ConstraintType.Unary.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.
|
abstract DeterministicFiniteAutomaton |
ConstraintType.Binary.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.
|
Modifier and Type | Method and Description |
---|---|
DeterministicFiniteAutomaton |
AlternatePrecedence.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) |
DeterministicFiniteAutomaton |
AlternateResponse.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) |
DeterministicFiniteAutomaton |
AlternateSuccession.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) |
DeterministicFiniteAutomaton |
ChainPrecedence.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) |
DeterministicFiniteAutomaton |
ChainResponse.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) |
DeterministicFiniteAutomaton |
ChainSuccession.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) |
DeterministicFiniteAutomaton |
CoExistence.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) |
DeterministicFiniteAutomaton |
NotChainSuccession.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) |
DeterministicFiniteAutomaton |
NotCoExistence.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) |
DeterministicFiniteAutomaton |
NotSuccession.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) |
DeterministicFiniteAutomaton |
Precedence.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) |
DeterministicFiniteAutomaton |
RespondedExistence.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) |
DeterministicFiniteAutomaton |
Response.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) |
DeterministicFiniteAutomaton |
Succession.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) |
Modifier and Type | Method and Description |
---|---|
DeterministicFiniteAutomaton |
BranchedAlternatePrecedence.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |
DeterministicFiniteAutomaton |
BranchedPrecedence.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |
DeterministicFiniteAutomaton |
BranchedRespondedExistence.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |
DeterministicFiniteAutomaton |
BranchedResponse.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |
DeterministicFiniteAutomaton |
Choice.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |
DeterministicFiniteAutomaton |
ExclusiveChoice.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |
Modifier and Type | Method and Description |
---|---|
DeterministicFiniteAutomaton |
AbsenceN.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
org.processmining.models.graphbased.directed.petrinet.elements.Transition from) |
DeterministicFiniteAutomaton |
ExactlyN.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
org.processmining.models.graphbased.directed.petrinet.elements.Transition from) |
DeterministicFiniteAutomaton |
ExistenceN.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
org.processmining.models.graphbased.directed.petrinet.elements.Transition from) |
DeterministicFiniteAutomaton |
Init.getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
org.processmining.models.graphbased.directed.petrinet.elements.Transition from) |