From: bdemsky <bdemsky>
Date: Fri, 1 Apr 2011 21:52:15 +0000 (+0000)
Subject: build pruned graphs that encode conflict information...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=31f3f372d8440f7de0732fecbd4dcb247dff3e66;p=IRC.git

build pruned graphs that encode conflict information...
double periphery nodes may contain conflicts...conflict effects are put in brackets...
edges that have conflicts are dashed
---

diff --git a/Robust/src/Analysis/Disjoint/SMFEState.java b/Robust/src/Analysis/Disjoint/SMFEState.java
index efbe690f..ecbd4524 100644
--- a/Robust/src/Analysis/Disjoint/SMFEState.java
+++ b/Robust/src/Analysis/Disjoint/SMFEState.java
@@ -152,18 +152,22 @@ public class SMFEState {
   public String toStringDOT() {
     
     // first create the state as a node in DOT graph
-    String s = "  "+id+"[shape=box,label=\"";
-
-    if( effects.size() == 1 ) {
-      s += effects.iterator().next().toString();
+    String s = "  "+id+"[shape=box,";
+    if (conflicts.size()>0 ) {
+      s+="peripheries=2,";
+    }
+    s+="label=\"";
 
-    } else if( effects.size() > 1 ) {
+    if( effects.size() >= 1 ) {
 
       Iterator<Effect> eItr = effects.iterator();
       while( eItr.hasNext() ) {
         Effect e = eItr.next();
-        s += e.toString();
-
+	if (conflicts.contains(e)) {
+	  s += "["+e.toString()+"]";
+	} else {
+	  s += e.toString();
+	}
         if( eItr.hasNext() ) {
           s += "\\n";
         }
@@ -184,7 +188,10 @@ public class SMFEState {
 
         s += "\n  "+
           id+" -> "+state.id+
-          "[label=\""+e+"\"];";
+          "[label=\""+e+"\"";
+	if (conflicts.contains(e))
+	  s+=",style=dashed";
+	s+="];";
       }
     }