} // It costs nothing to move. public override bool IsGoalState(AStar.Node n) { return(Clause.GetLength() == 0); }