| Modifier and Type | Method and Description |
|---|---|
static <M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalReplayerParametersImpl<M,L,T>> |
IncrementalReplayer.Factory.construct(S initialStateInModel,
S finalStateInModel,
java.util.Map<C,A> dataStore,
ModelSemantics<M,S,T> modelSemantics,
P parameters,
java.util.Map<T,L> labelmap,
IncrementalReplayer.Strategy strategy) |
static <M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>> |
IncrementalReplayer.Factory.construct(S initialStateInModel,
S finalStateInModel,
java.util.Map<C,A> dataStore,
ModelSemantics<M,S,T> modelSemantics,
P parameters,
java.util.Map<T,L> labelmap,
IncrementalReplayer.Strategy strategy) |
| Constructor and Description |
|---|
BloomFilterBasedAlignmentCalculatorImpl(S initialStateInModel,
S finalStateInModel,
ModelSemantics<M,S,T> semantics,
PriceList<L,T> priceList) |
| Modifier and Type | Method and Description |
|---|---|
ModelSemantics<M,S,T> |
IncrementalRevBasedReplayerImpl.getModelSemantics() |
| Constructor and Description |
|---|
IncrementalRevBasedReplayerImpl(S initialStateInModel,
S finalStateInModel,
java.util.Map<C,A> dataStore,
ModelSemantics<M,S,T> modelSemantics,
P parameters,
java.util.Map<T,L> labelMap) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ModelSemanticsPetrinet<S> |
| Modifier and Type | Method and Description |
|---|---|
static ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
ModelSemantics.Factory.construct(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
| Modifier and Type | Method and Description |
|---|---|
static <M,S,T> StubbornSemantics<M,S,T> |
StubbornSemantics.Factory.construct(ModelSemantics<M,S,T> semantics) |
static <S> StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
StubbornSemantics.Factory.consturct(ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics) |
| Modifier and Type | Method and Description |
|---|---|
ModelSemantics<M,S,T> |
PartialAlignmentStateTransitionFunctionImpl.getSemantics() |
| Constructor and Description |
|---|
PartialAlignmentStateTransitionFunctionImpl(ModelSemantics<M,S,T> semantics,
java.util.List<L> trace,
PriceList<L,T> priceList) |
| Modifier and Type | Class and Description |
|---|---|
class |
ModelSemanticsPetrinetMarkingTransitionImpl
wrapper around efficient petrinet semenatics, implements model-semantics
provider
|