From 3dc40936cae1308d67c6a71f2862ebd3747a7110 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 4 Oct 2011 15:40:17 +0000
Subject: [PATCH] slight code improvements

---
 Robust/src/Analysis/Disjoint/ReachSet.java   | 10 ++++++----
 Robust/src/Analysis/Disjoint/ReachState.java |  2 +-
 2 files changed, 7 insertions(+), 5 deletions(-)

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();
   }
 
-- 
2.34.1