- private boolean newNode(Result result, State state, boolean fromEmptyReduction) {
- Node p = hash.get(state, result.phase());
- if (p != null) { p.addResult(result); return !state.doomed(); }
+ private boolean newNode(Forest f, Pos reduction, StateNode pred, State state) {
+ StateNode p = pred==null ? null : hash.get(state, pred.phase());
+ if (p != null) {
+ p.addPred(f, reduction, pred);
+ return !state.doomed();
+ }