public class PAutomataHead
extends org.processmining.plugins.astar.petrinet.impl.PHead
Modifier and Type | Field and Description |
---|---|
protected short[] |
states |
Modifier | Constructor and Description |
---|---|
|
PAutomataHead(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace t,
short[] states) |
protected |
PAutomataHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
short[] states,
int hashCode) |
Modifier and Type | Method and Description |
---|---|
protected nl.tue.astar.util.ShortShortMultiset |
cloneAndUpdateMarkingAndStates(PILPDelegateAutomata delegate,
nl.tue.astar.util.ShortShortMultiset marking,
short[] states,
short modelMove) |
static int |
computeBitsForParikh(short acts,
short places) |
protected PAutomataHead |
createHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
short[] states,
int hashCode) |
boolean |
equals(java.lang.Object o) |
gnu.trove.list.TIntList |
getModelMoves(nl.tue.astar.Record rec,
nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d)
get the model moves that are possible.
|
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)
Produce the next head, given the moves.
|
short[] |
getStates() |
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.
|
boolean |
isFinal(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d)
checks if this head belongs to a final state;
|
java.lang.String |
toString() |
public PAutomataHead(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace t, short[] states)
protected PAutomataHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, short[] states, int hashCode)
public static int computeBitsForParikh(short acts, short places)
protected PAutomataHead createHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, short[] states, int hashCode)
public 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)
nl.tue.astar.Head
getNextHead
in interface nl.tue.astar.Head
getNextHead
in class org.processmining.plugins.astar.petrinet.impl.PHead
protected nl.tue.astar.util.ShortShortMultiset cloneAndUpdateMarkingAndStates(PILPDelegateAutomata delegate, nl.tue.astar.util.ShortShortMultiset marking, short[] states, short modelMove)
public gnu.trove.list.TIntList getModelMoves(nl.tue.astar.Record rec, nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d)
nl.tue.astar.Head
getModelMoves
in interface nl.tue.astar.Head
getModelMoves
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
- TODOpublic boolean isFinal(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d)
nl.tue.astar.Head
isFinal
in interface nl.tue.astar.Head
isFinal
in class org.processmining.plugins.astar.petrinet.impl.PHead
public boolean equals(java.lang.Object o)
equals
in class org.processmining.plugins.astar.petrinet.impl.PHead
public java.lang.String toString()
toString
in class org.processmining.plugins.astar.petrinet.impl.PHead
public short[] getStates()