1 Date: Sat, 29 Oct 2005 19:28:52 +0100
2 Mime-Version: 1.0 (Produced by PhpWiki 1.3.11p1)
3 X-Rcs-Id: $Id: Help%2FGraphVizPlugin,v 1.1 2005-11-21 22:19:00 rurban Exp $
4 Content-Type: application/x-phpwiki;
5 pagename=Help%2FGraphVizPlugin;
6 pgsrc_version="2 $Revision: 1.1 $";
10 Content-Transfer-Encoding: binary
18 node Help:e = 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 Help:e = 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 ];