Package | Description |
---|---|
org.processmining.mixedparadigm.algorithms.replayer |
Modifier and Type | Method and Description |
---|---|
MPRecord |
PILPDelegateAutomata.createInitialRecord(org.processmining.plugins.astar.petrinet.impl.PHead head,
nl.tue.astar.Trace trace) |
MPRecord |
MPRecord.getNextRecord(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
nl.tue.astar.Trace trace,
nl.tue.astar.Head nextHead,
long state,
int modelMove,
int movedEvent,
int activity)
In case of a LogMove only, then logMove>=0, modelMove ==
AStarThread.NOMOVE,
In case of a ModelMove only, then logMove == AStarThread.NOMOVE,
modelMove >=0,
in case of both log and model move, then logMove>=0, modelMove>=0,
|