From fc8b0de97162103003a66cf2487ae974d6aa28d4 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sun, 2 Jul 2006 13:38:20 +0000
Subject: [PATCH] - Added special weights in dot output for M_0 originating
 terms.

---
 src/dotout.c | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/src/dotout.c b/src/dotout.c
index 613b7c2..5293e00 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -998,7 +998,8 @@ drawBinding (const System sys, Binding b)
     {
       return;
     }
-  if (isApplicationM0 (sys, b->run_from))
+  if (isApplicationM0 (sys, b->run_from) ||
+      sys->runs[b->run_from].role == I_M)
     {
       m0_from = true;
     }
@@ -1027,7 +1028,7 @@ drawBinding (const System sys, Binding b)
 	    }
 	}
 
-      // normal from intruder (not M0)
+      // normal from intruder, not seen before (might be M_0)
       if (intr_to)
 	{
 	  // intr->intr
@@ -1035,7 +1036,12 @@ drawBinding (const System sys, Binding b)
 	  myarrow (b);
 	  eprintf (" [label=\"");
 	  termPrintRemap (b->term);
-	  eprintf ("\"]");
+	  eprintf ("\"");
+	  if (m0_from)
+	    {
+	      eprintf (",weight=\"10.0\"");
+	    }
+	  eprintf ("]");
 	  eprintf (";\n");
 	}
       else
@@ -1043,6 +1049,10 @@ drawBinding (const System sys, Binding b)
 	  // intr->regular
 	  eprintf ("\t");
 	  myarrow (b);
+	  if (m0_from)
+	    {
+	      eprintf ("[weight=\"0.5\"]");
+	    }
 	  eprintf (";\n");
 	}
     }