- public void perform() { new Result(forest, parent, reduction, phase); }
- public GSS.Phase parentPhase() { return parent.phase(); }
- public Position reduction() { return reduction; }
+ public void perform() {
+ if (reduction==null) return;
+ phase.newNodeFromReduction(forest, reduction, pred);
+ }
+ public GSS.Phase predPhase() { return pred.phase(); }
+ public Pos reduction() { return reduction; }