import edu.berkeley.sbp.Sequence.Pos;
import java.util.*;
-final class Result
+final class ResultNode
implements GraphViz.ToGraphViz {
private Forest.Many f = new Forest.Many();
if (predecessors.size() > 1) throw new Error();
}
- public Result() {
+ public ResultNode() {
this(null, null, null);
this.primordeal = true;
}
- public Result(Forest f, Pos reduction, StateNode pred) {
+ public ResultNode(Forest f, Pos reduction, StateNode pred) {
this.f.merge(f);
this.reduction = reduction;
if (pred != null) addPred(pred);