- public void removeSucc(StateNode succ) {
- if (!successors.contains(succ)) return;
- successors.remove(succ);
- usedByNonDoomedNode -= succ.state().doomed ? 0 : 1;
- check();
- }
-
- public boolean usedByAnyNode() { return successors.size() > 0; }
- public boolean usedByNonDoomedNode() { return usedByNonDoomedNode > 0; }
-
- public String toString() { return super.toString()+"->"+predPhase; }