Constructor and Description |
---|
NAryTreeHead(AbstractNAryTreeDelegate<?> delegate,
nl.tue.astar.Trace trace) |
Modifier and Type | Method and Description |
---|---|
static int |
computeBitsForParikh(short acts,
int nodes) |
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> delegate)
This method assumes that the caller only iterates over the list and
nothing else.
|
gnu.trove.list.TIntList |
getMovesMade() |
int |
getMovesMadeCost() |
nl.tue.astar.Head |
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.Head |
getNextHead(nl.tue.astar.Record rec,
nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
int first,
gnu.trove.TIntCollection modelMoves) |
nl.tue.astar.util.ShortShortMultiset |
getParikhVector() |
byte[] |
getState() |
gnu.trove.list.TIntList |
getSynchronousMoves(nl.tue.astar.Record rec,
nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate,
gnu.trove.list.TIntList enabled,
int activity)
This method assumes that the caller only iterates over the list and
nothing else.
|
protected int |
hash(byte[] state,
nl.tue.astar.util.ShortShortMultiset parikh) |
int |
hashCode() |
boolean |
isFinal(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate)
checks if this head belongs to a final state;
|
java.lang.String |
toString() |
public NAryTreeHead(AbstractNAryTreeDelegate<?> delegate, nl.tue.astar.Trace trace)
public static int computeBitsForParikh(short acts, int nodes)
public nl.tue.astar.Head getNextHead(nl.tue.astar.Record rec, nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, int first, gnu.trove.TIntCollection modelMoves)
protected int hash(byte[] state, nl.tue.astar.util.ShortShortMultiset parikh)
public nl.tue.astar.Head 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
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> delegate, gnu.trove.list.TIntList enabled, int activity)
getSynchronousMoves
in interface nl.tue.astar.Head
enabled
- TODOpublic gnu.trove.list.TIntList getModelMoves(nl.tue.astar.Record rec, nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate)
getModelMoves
in interface nl.tue.astar.Head
public boolean isFinal(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate)
nl.tue.astar.Head
isFinal
in interface nl.tue.astar.Head
public nl.tue.astar.util.ShortShortMultiset getParikhVector()
public gnu.trove.list.TIntList getMovesMade()
getMovesMade
in interface TreeHead
public int getMovesMadeCost()
public byte[] getState()
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