Package | Description |
---|---|
org.processmining.mixedparadigm.algorithms.replayer |
Modifier and Type | Method and Description |
---|---|
protected PILPDelegateAutomata |
PetrinetReplayerWithAutomata.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
int delta,
int threads) |
Modifier and Type | Method and Description |
---|---|
protected nl.tue.astar.util.ShortShortMultiset |
PAutomataHead.cloneAndUpdateMarkingAndStates(PILPDelegateAutomata delegate,
nl.tue.astar.util.ShortShortMultiset marking,
short[] states,
short modelMove) |
protected PAutomataHead |
PetrinetReplayerWithAutomata.constructHead(PILPDelegateAutomata delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace xtrace) |