1 Date: Wed, 10 Jan 2007 22:55:55 +0100
2 Mime-Version: 1.0 (Produced by PhpWiki 1.3.13)
3 X-Rcs-Id: $Id: Help%2FGraphVizPlugin,v 1.2 2007-01-10 21:58:07 rurban Exp $
4 Content-Type: application/x-phpwiki;
5 pagename=Help%2FGraphVizPlugin;
6 pgsrc_version="2 $Revision: 1.2 $";
10 Content-Transfer-Encoding: binary
18 node [shape = circle];
19 0 [ style = filled, color=lightgrey ];
20 2 [ shape = doublecircle ];
21 0 -> 2 [ label = "a " ];
22 0 -> 1 [ label = "other " ];
23 1 -> 2 [ label = "a " ];
24 1 -> 1 [ label = "other " ];
25 2 -> 2 [ label = "a " ];
26 2 -> 1 [ label = "other " ];
27 "Machine: a" [ shape = plaintext ];
37 node [shape = circle];
38 0 [ style = filled, color=lightgrey ];
39 2 [ shape = doublecircle ];
40 0 -> 2 [ label = "a " ];
41 0 -> 1 [ label = "other " ];
42 1 -> 2 [ label = "a " ];
43 1 -> 1 [ label = "other " ];
44 2 -> 2 [ label = "a " ];
45 2 -> 1 [ label = "other " ];
46 "Machine: a" [ shape = plaintext ];