rex = position.rewrite(target.getLocation());
}
for(GSS.Phase.Node child : parent.parents())
- //if (pos==0) finish(parent, rex, target);
- //else
- reduce(child, pos-1, rex, target);
+ if (pos==0) finish(child, rex, target);
+ else reduce(child, pos-1, rex, target);
return rex;
}
private Forest finish(GSS.Phase.Node parent, Forest result, GSS.Phase target) {