1 Date: Tue, 2 Jan 2007 13:30:17 +0000
2 Mime-Version: 1.0 (Produced by PhpWiki 1.3.13)
3 X-Rcs-Id: $Id: Hilfe%2FGraphVizPlugin,v 1.1 2007-01-03 21:28:51 rurban Exp $
4 Content-Type: application/x-phpwiki;
5 pagename=Hilfe%2FGraphVizPlugin;
6 pgsrc_version="2 $Revision: 1.1 $";
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 ];
51 PhpWikiDokumentation Hilfe:WikiPlugin