public class PHead
extends java.lang.Object
implements nl.tue.astar.Head
Modifier and Type | Class and Description |
---|---|
protected static class |
PHead.HashContainer |
Modifier and Type | Field and Description |
---|---|
protected int |
hashCode |
protected nl.tue.astar.util.ShortShortMultiset |
marking |
protected nl.tue.astar.util.ShortShortMultiset |
parikh |
static nl.tue.storage.hashing.HashCodeProvider |
PROVIDER |
Modifier | Constructor and Description |
---|---|
|
PHead(AbstractPDelegate<?> delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace t) |
protected |
PHead(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(AbstractPDelegate<?> delegate,
nl.tue.astar.util.ShortShortMultiset marking,
short modelMove) |
static int |
computeBitsForParikh(short acts,
short places) |
protected PHead |
createHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
int hashCode) |
boolean |
equals(java.lang.Object o) |
protected org.processmining.models.semantics.petrinet.Marking |
fromMultiSet(AbstractPDelegate<?> delegate) |
nl.tue.astar.util.ShortShortMultiset |
getMarking() |
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.
|
PHead |
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.
|
nl.tue.astar.util.ShortShortMultiset |
getParikhVector() |
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.
|
int |
hashCode() |
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 static nl.tue.storage.hashing.HashCodeProvider PROVIDER
protected final nl.tue.astar.util.ShortShortMultiset marking
protected final nl.tue.astar.util.ShortShortMultiset parikh
protected int hashCode
public PHead(AbstractPDelegate<?> delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace t)
protected PHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
public static int computeBitsForParikh(short acts, short places)
protected PHead createHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
public PHead 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
protected nl.tue.astar.util.ShortShortMultiset cloneAndUpdateMarking(AbstractPDelegate<?> delegate, nl.tue.astar.util.ShortShortMultiset marking, 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
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
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
protected org.processmining.models.semantics.petrinet.Marking fromMultiSet(AbstractPDelegate<?> delegate)
public nl.tue.astar.util.ShortShortMultiset getMarking()
public nl.tue.astar.util.ShortShortMultiset getParikhVector()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object