Package | Description |
---|---|
nl.tue.alignment.algorithms.syncproduct | |
nl.tue.alignment.algorithms.syncproduct.petrinet |
Modifier and Type | Method and Description |
---|---|
SyncProduct |
ReducedSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace,
java.util.ArrayList<? super ReducedTransition> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
ReducedSyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super ReducedTransition> transitionList) |
org.processmining.plugins.replayer.replayresult.SyncReplayResult |
ReducedSyncProductFactory.toSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics,
int[] alignment,
org.deckfour.xes.model.XTrace trace,
int traceIndex,
java.util.ArrayList<? super ReducedTransition> transitionList) |
Modifier and Type | Method and Description |
---|---|
static ReducedTransition[] |
ReducedTransition.createList(TransitionEventClassList list,
int syncMoveCost,
int modelMoveCost)
Split a list of transitionEventClasses into a list of reduced transitions,
each corresponding to exactly one event.
|
static ReducedTransition |
ReducedTransition.merge(ReducedTransition.Type type,
ReducedTransition... sources)
Merges transitions based on the merge type given.
|
static ReducedTransition |
ReducedTransition.mergeChoice(ReducedTransition... sources)
Constructs a new reduced transition which is the exclusive choice merge of
the input
|
static ReducedTransition |
ReducedTransition.mergeSequence(ReducedTransition... sources)
Constructs a new reduced transition which is the sequential merge of the
input
|
Modifier and Type | Method and Description |
---|---|
gnu.trove.map.TObjectIntMap<ReducedTransition> |
ReducedPlace.getInput() |
gnu.trove.map.TObjectIntMap<ReducedTransition> |
ReducedPlace.getOutput() |
java.util.List<ReducedTransition> |
ReducedPetriNet.getTransitions() |
Modifier and Type | Method and Description |
---|---|
void |
ReducedPlace.addToInput(ReducedTransition transition,
int multiplicity) |
void |
ReducedPlace.addToOutput(ReducedTransition transition,
int multiplicity) |
static ReducedTransition.Type |
ReducedTransition.canMerge(int maxLength,
ReducedTransition... sources)
Checks if the sources can be merged and if so returns the merge type.
|
static ReducedTransition |
ReducedTransition.merge(ReducedTransition.Type type,
ReducedTransition... sources)
Merges transitions based on the merge type given.
|
static ReducedTransition |
ReducedTransition.mergeChoice(ReducedTransition... sources)
Constructs a new reduced transition which is the exclusive choice merge of
the input
|
static ReducedTransition |
ReducedTransition.mergeSequence(ReducedTransition... sources)
Constructs a new reduced transition which is the sequential merge of the
input
|