public GSS(Input input, Parser parser) { this.input = input; this.parser = parser;}
public Input getInput() { return input; }
+ /*
+ HashSet<Reduction> finishedReductions = new HashSet<Reduction>();
+ */
int numNewNodes = 0;
int numOldNodes = 0;
int viewPos = 0;
this.pos = prev==null ? 0 : prev.pos+1;
if (prev != null) prev.shift(this, forest);
numReductions = 0;
+ /*
+ finishedReductions.clear();
+ */
int minPhasePos = Integer.MAX_VALUE;
Reduction best = null;
best = r;
}
}
+ /*
+ finishedReductions.add(r);
+ */
numReductions++;
}
if (token==null) shift(null, null);