From: jjenista <jjenista>
Date: Tue, 4 Oct 2011 15:40:17 +0000 (+0000)
Subject: slight code improvements
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3dc40936cae1308d67c6a71f2862ebd3747a7110;p=IRC.git

slight code improvements
---

diff --git a/Robust/src/Analysis/Disjoint/ReachSet.java b/Robust/src/Analysis/Disjoint/ReachSet.java
index 851eeecc..e7fe5134 100644
--- a/Robust/src/Analysis/Disjoint/ReachSet.java
+++ b/Robust/src/Analysis/Disjoint/ReachSet.java
@@ -36,11 +36,13 @@ public class ReachSet extends Canonical {
     return out;
   }
 
-  public static ReachSet factory(ReachState state) {
-    assert state != null;
-    assert state.isCanonical();
+  public static ReachSet factory(ReachState... states) {
     ReachSet out = new ReachSet();
-    out.reachStates.add(state);
+    for( ReachState state : states ) {
+      assert state != null;
+      assert state.isCanonical();
+      out.reachStates.add(state);
+    }
     out = (ReachSet) Canonical.makeCanonical(out);
     return out;
   }
diff --git a/Robust/src/Analysis/Disjoint/ReachState.java b/Robust/src/Analysis/Disjoint/ReachState.java
index 4c41b55a..5cea5b85 100644
--- a/Robust/src/Analysis/Disjoint/ReachState.java
+++ b/Robust/src/Analysis/Disjoint/ReachState.java
@@ -73,7 +73,7 @@ public class ReachState extends Canonical {
   }
 
 
-  public Iterator iterator() {
+  public Iterator<ReachTuple> iterator() {
     return reachTuples.iterator();
   }