From 4b4c934b9c925f3ce1f15158ea522752d2a322fa Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 12 Jul 2004 14:47:43 +0000 Subject: [PATCH] - Some hard-coded page sizing code. --- src/output.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/output.c b/src/output.c index 332a40d..322157c 100644 --- a/src/output.c +++ b/src/output.c @@ -496,8 +496,15 @@ void graphInit (System sys) { Termlist tl; - /* drawing state space. start with initial node 0 */ + /* drawing state space. */ printf ("digraph Statespace {\n"); + + /* fit stuff onto the page */ + printf ("\trankdir=LR;\n"); + printf ("\tsize=\"11,17\";\n"); + printf ("\torientation=landscape;\n"); + + /* start with initial node 0 */ printf ("\tn0 [shape=box,label=\"M0: "); tl = knowledgeSet (sys->know); termlistPrint (tl);