andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Improved semistate printing.

Browse Source
This commit is contained in:
ccremers 2004-08-14 14:38:30 +00:00
parent 74851e0393
commit 68b2aa16e7
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/arachne.c
View File

@ -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);
}
//------------------------------------------------------------------------