public class PHeadUnique extends PHead
PHead.HashContainer
Modifier and Type | Field and Description |
---|---|
static int |
hashStat |
Constructor and Description |
---|
PHeadUnique(AbstractPDelegate<?> delegate,
org.processmining.models.semantics.petrinet.Marking m,
org.deckfour.xes.model.XTrace t) |
PHeadUnique(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
int hashCode) |
Modifier and Type | Method and Description |
---|---|
protected PHead |
createHead(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh,
int hashCode) |
boolean |
equals(java.lang.Object o) |
cloneAndUpdateMarking, computeBitsForParikh, fromMultiSet, getMarking, getModelMoves, getNextHead, getParikhVector, getSynchronousMoves, hashCode, isFinal, toString
public PHeadUnique(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
public PHeadUnique(AbstractPDelegate<?> delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace t)
protected PHead createHead(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh, int hashCode)
createHead
in class PHead