final class ResultNode
extends Node<StateNode> {
- private Forest.Many f = new Forest.Many();
private Pos reduction;
+ private Forest.Many f = new Forest.Many();
public void merge(Forest newf) { this.f.merge(newf); }
public Pos reduction() { return reduction; }
super.destroy();
}
- public void addPred(StateNode pred) {
+ protected void addPred(StateNode pred) {
super.addPred(pred);
- // results have only one predecessor
+ // results should have at most one predecessor
if (predecessors.size() > 1) throw new Error();
}