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