public interface TreeHead extends nl.tue.astar.Head
gnu.trove.list.TIntList
getMovesMade()
getModelMoves, getNextHead, getSynchronousMoves, isFinal
gnu.trove.list.TIntList getMovesMade()