diff options
Diffstat (limited to 'doc/g1.gv')
| -rw-r--r-- | doc/g1.gv | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/g1.gv b/doc/g1.gv new file mode 100644 index 0000000..e762143 --- /dev/null +++ b/doc/g1.gv @@ -0,0 +1,10 @@ +digraph G { + a [shape = box, fontname = "monospace", label = "a = x_0\nif (a == 0) goto _L1"]; + b [shape = box, fontname = "monospace", label = "x_1 = 1"]; + c [shape = box, fontname = "monospace", label = "x_2 = 2"]; + d [shape = box, fontname = "monospace", label = "y_0 = x_? + 1"]; + a -> b; + a -> c; + b -> d; + c -> d; +} |