/** a node in the GSS */
final class StateNode
extends Node<ResultNode>
- implements Invokable<Pos, ResultNode, Object>,
- Iterable<ResultNode> {
+ implements Invokable<Pos, ResultNode, Object> {
/** which GSS.Phase this StateNode belongs to */
public GSS.Phase phase() { return phase; }
private void reduce(Pos r, int pos, GSS.Phase target, ResultNode only) {
for(ResultNode res : predecessors)
if (only == null || res == only)
- for(StateNode pred : res.getPreds())
+ for(StateNode pred : res)
reduce2(r, pos, target, pred, res.getForest());
}