From 3241c0c8282edf516a60bf19b2fa47f1acd5b7ff Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 16 Mar 2006 08:49:10 +0000
Subject: [PATCH] - Better class printing for the headers.

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

diff --git a/src/dotout.c b/src/dotout.c
index d33792c..39d2c53 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -80,7 +80,7 @@ printVisualRun (int rid)
 void
 termPrintRemap (const Term t)
 {
-  termPrintCustom (t, "", "V", "(", ")", "\\{ ", " \\}", printVisualRun);
+  termPrintCustom (t, "", "", "(", ")", "\\{ ", " \\}", printVisualRun);
 }
 
 //! Draw node
@@ -933,7 +933,7 @@ drawRegularRuns (const System sys)
 				  agentOfRunRole (sys, run, rolename);
 				if (isTermVariable (agentname))
 				  {
-				    eprintf ("Any ");
+				    eprintf ("Any agent ");
 				  }
 				termPrintRemap (agentname);
 				eprintf (" in role ");
@@ -1018,8 +1018,37 @@ drawRegularRuns (const System sys)
 				    termPrintRemap (told);
 				    if (termOccursInRun (tnew, run))
 				      {
+					Term t;
+
+					t = deVar (tnew);
 					eprintf (" : ");
-					termPrintRemap (deVar (tnew));
+					if (realTermVariable (t))
+					  {
+					    eprintf ("any ");
+					    termPrintRemap (t);
+					    if ((!t->roleVar)
+						&& switches.match == 0
+						&& t->stype != NULL)
+					      {
+						Termlist tl;
+
+						eprintf (" of type ");
+						for (tl = t->stype;
+						     tl != NULL;
+						     tl = tl->next)
+						  {
+						    termPrintRemap (tl->term);
+						    if (tl->next != NULL)
+						      {
+							eprintf (",");
+						      }
+						  }
+					      }
+					  }
+					else
+					  {
+					    termPrintRemap (t);
+					  }
 				      }
 				    else
 				      {