UnwrapLeft, error reporting improvements

[sbp.git] / src / edu / berkeley / sbp / Node.java

diff --git a/src/edu/berkeley/sbp/Node.java b/src/edu/berkeley/sbp/Node.java
index b216d3f..b6f4585 100644 (file)
--- a/src/edu/berkeley/sbp/Node.java
+++ b/src/edu/berkeley/sbp/Node.java
@@ -33,11 +33,11 @@ final class Node
         //      - be on the frontier or
         //      - have a non-doomed node closer to the frontier than themself
         if (phase.isFrontier()) dead = false;
         //      - be on the frontier or
         //      - have a non-doomed node closer to the frontier than themself
         if (phase.isFrontier()) dead = false;

-        for(Result r : children)
-            if (state.doomed) { if (r.usedByAnyNode()) { dead = false; break; } }
-            else              { if (r.usedByNonDoomedNode()) { dead = false; break; } }
+        else for(Result r : children)
+                 if (state.doomed) { if (r.usedByAnyNode()) { dead = false; break; } }
+                 else              { if (r.usedByNonDoomedNode()) { dead = false; break; } }

         dead |= results.size()==0;
         dead |= results.size()==0;

-        if (!dead || destroyed) return;
+        if (!dead) return;

         destroyed = true;
         while(children.size()>0)
             for(Result r : children) {
         destroyed = true;
         while(children.size()>0)
             for(Result r : children) {