protected PAutomataHead |
PetrinetReplayerWithAutomata.constructHead(PILPDelegateAutomata delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace xtrace) |
protected PAutomataHead |
PAutomataHead.createHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
short[] states,
int hashCode) |
PAutomataHead |
PAutomataHead.getNextHead(nl.tue.astar.Record rec,
nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
int modelMove,
int logMove,
int activity) |
PAutomataHead |
PAutomataHeadCompressor.inflate(java.io.InputStream stream) |