X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FResultNode.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2FResult.java;h=671940ae2d01bc1cabcfb36e56df8373dc1f7943;hb=c53fc2952c7885d727500ce404887d552c5dec5f;hp=dfe12bbc6ed7cb48928cec81a46912629607b043;hpb=24219bdf084b45273e869cd19382d1640b396566;p=sbp.git diff --git a/src/edu/berkeley/sbp/Result.java b/src/edu/berkeley/sbp/ResultNode.java similarity index 97% rename from src/edu/berkeley/sbp/Result.java rename to src/edu/berkeley/sbp/ResultNode.java index dfe12bb..671940a 100644 --- a/src/edu/berkeley/sbp/Result.java +++ b/src/edu/berkeley/sbp/ResultNode.java @@ -6,7 +6,7 @@ import edu.berkeley.sbp.Sequence.Pos; 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(); @@ -95,11 +95,11 @@ final class Result 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);