From 68b2aa16e7335f1a77a0becdc0c67b535a60d92e Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 14 Aug 2004 14:38:30 +0000
Subject: [PATCH] - Improved semistate printing.

---
 src/arachne.c | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index 738684d..b2f46ca 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -367,14 +367,18 @@ void
 printSemiState ()
 {
   int run;
+  int open;
 
+  indentPrint ();
+  eprintf ("!! --=[ Semistate ]=--\n");
+  open = 0;
   for (run = 0; run < sys->maxruns; run++)
     {
       int index;
       Roledef rd;
 
       indentPrint ();
-      eprintf ("[ Run %i, ", run);
+      eprintf ("!! [ Run %i, ", run);
       termPrint (sys->runs[run].role->nameterm);
       eprintf (" ]\n");
 
@@ -383,13 +387,17 @@ printSemiState ()
       while (index < sys->runs[run].length)
 	{
 	  indentPrint ();
-	  eprintf ("\\ %i ", index);
+	  eprintf ("!! %i ", index);
 	  roledefPrint (rd);
 	  eprintf ("\n");
+	  if (isGoal (rd) && !isBound (rd))
+	      open++;
 	  index++;
 	  rd = rd->next;
 	}
     }
+  indentPrint ();
+  eprintf ("!! - open: %i -\n", open);
 }
 
 //------------------------------------------------------------------------