- phase().hash.remove(state, predPhase);
- while(successors.size()>0)
- for(ResultNode r : successors) {
- successors.remove(r);
- r.removePred(this);
- break;
- }
- while(predecessors.size()>0)
- for(ResultNode r : predecessors) {
- predecessors.remove(r);
- r.removeSucc(this);
- break;
- }
- predecessors = null;
- successors = null;