- public Result(Forest f, Node parent, Position reduction) {
- this(f, parent, reduction, null);
+ public void removePred(StateNode pred) {
+ if (!predecessors.contains(pred)) return;
+ predecessors.remove(pred);
+ check();
+ }
+
+ public void addPred(StateNode pred) {
+ if (predPhase==null) predPhase = pred.phase();
+ if (predPhase != pred.phase()) throw new Error();
+ predecessors.add(pred);
+ pred.addSucc(this);
+ if (predecessors.size() > 1) throw new Error();
+ }
+
+ public Result() {
+ this(null, null, null);
+ this.primordeal = true;