public final class DHead
extends org.processmining.plugins.astar.petrinet.impl.PHead
Constructor and Description |
---|
DHead(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace t) |
DHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
int hashCode) |
Modifier and Type | Method and Description |
---|---|
protected nl.tue.astar.util.ShortShortMultiset |
cloneAndUpdateMarking(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate,
nl.tue.astar.util.ShortShortMultiset marking,
short modelMove) |
protected DHead |
createHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
int hashCode) |
gnu.trove.list.TIntList |
getSynchronousMoves(nl.tue.astar.Record rec,
nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
gnu.trove.list.TIntList enabled,
int activity)
get the synchronous moves that are possible on activity, given the
current list of enabled modelMoves.
|
public DHead(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace t)
public DHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
protected DHead createHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
createHead
in class org.processmining.plugins.astar.petrinet.impl.PHead
protected nl.tue.astar.util.ShortShortMultiset cloneAndUpdateMarking(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate, nl.tue.astar.util.ShortShortMultiset marking, short modelMove)
cloneAndUpdateMarking
in class org.processmining.plugins.astar.petrinet.impl.PHead
public gnu.trove.list.TIntList getSynchronousMoves(nl.tue.astar.Record rec, nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, gnu.trove.list.TIntList enabled, int activity)
nl.tue.astar.Head
getSynchronousMoves
in interface nl.tue.astar.Head
getSynchronousMoves
in class org.processmining.plugins.astar.petrinet.impl.PHead
enabled
- TODO