private Pos reduction;
private GSS.Phase phase;
private Forest forest;
- private Node pred;
+ private StateNode pred;
- public Reduction(Node pred, Pos reduction, Forest forest, GSS.Phase target) {
+ public Reduction(StateNode pred, Pos reduction, Forest forest, GSS.Phase target) {
this.reduction = reduction;
this.forest = forest;
this.phase = target;