- public void addSucc(StateNode succ) {
- if (successors.contains(succ)) return;
- successors.add(succ);
- usedByNonDoomedNode += succ.state().doomed ? 0 : 1;
- if (predecessors.size() > 1) throw new Error();
- }
- 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; }