more changes for RCR

diff --git a/Robust/src/Analysis/OoOJava/ConflictGraph.java b/Robust/src/Analysis/OoOJava/ConflictGraph.java
index d531c01635f9669e9cbda978df47295099c18825..7b30add54025e724ff24f6b66a13639fa830e1a1 100644 (file)
--- a/Robust/src/Analysis/OoOJava/ConflictGraph.java
+++ b/Robust/src/Analysis/OoOJava/ConflictGraph.java
@@ -566,8 +566,7 @@ public class ConflictGraph {
 
     // handle the case that multiple enqueues by an SESE for different live-in
     // into the same queue
-    return refineQueue(waitingElementSet);
-    // return waitingElementSet;
+     return refineQueue(waitingElementSet);  
 
   }
 
@@ -587,13 +586,14 @@ public class ConflictGraph {
       map.put(new Integer(waitingElement.getQueueID()), set);
     }
 
-    Set<Integer> keySet = map.keySet();
-    for (Iterator iterator = keySet.iterator(); iterator.hasNext();) {
-      Integer queueID = (Integer) iterator.next();
-      Set<WaitingElement> queueWEset = map.get(queueID);
-      refineQueue(queueID.intValue(), queueWEset, seseDS);
+    if(!state.RCR){
+      Set<Integer> keySet = map.keySet();
+      for (Iterator iterator = keySet.iterator(); iterator.hasNext();) {
+        Integer queueID = (Integer) iterator.next();
+        Set<WaitingElement> queueWEset = map.get(queueID);
+        refineQueue(queueID.intValue(), queueWEset, seseDS);
+      }
     }
-
     return seseDS;
   }