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