doc/images/graph-pre-exec.svg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: %0 Pages: 1 -->
<svg width="470pt" height="188pt" viewBox="0.00 0.00 469.85 188.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 184)">
<title>%0</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-184 465.8451,-184 465.8451,4 -4,4"/>
<!-- root -->
<g id="node1" class="node">
<title>root</title>
<ellipse fill="none" stroke="#000000" cx="225.6881" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="225.6881" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">root</text>
</g>
<!-- addition -->
<g id="node2" class="node">
<title>addition</title>
<ellipse fill="none" stroke="#000000" cx="42.6881" cy="-90" rx="42.8771" ry="18"/>
<text text-anchor="middle" x="42.6881" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">addition</text>
</g>
<!-- root&#45;&gt;addition -->
<g id="edge1" class="edge">
<title>root-&gt;addition</title>
<path fill="none" stroke="#000000" d="M202.1387,-152.7347C172.1868,-140.9503 119.9802,-120.41 83.4913,-106.0537"/>
<polygon fill="#000000" stroke="#000000" points="84.6999,-102.7681 74.1128,-102.3638 82.137,-109.2821 84.6999,-102.7681"/>
</g>
<!-- subtraction -->
<g id="node3" class="node">
<title>subtraction</title>
<ellipse fill="none" stroke="#000000" cx="157.6881" cy="-90" rx="53.8905" ry="18"/>
<text text-anchor="middle" x="157.6881" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">subtraction</text>
</g>
<!-- root&#45;&gt;subtraction -->
<g id="edge2" class="edge">
<title>root-&gt;subtraction</title>
<path fill="none" stroke="#000000" d="M211.2671,-146.7307C202.483,-137.4299 191.0542,-125.3288 181.0094,-114.6931"/>
<polygon fill="#000000" stroke="#000000" points="183.4082,-112.1357 173.9974,-107.2687 178.3191,-116.942 183.4082,-112.1357"/>
</g>
<!-- multiplication -->
<g id="node4" class="node">
<title>multiplication</title>
<ellipse fill="none" stroke="#000000" cx="294.6881" cy="-90" rx="65.444" ry="18"/>
<text text-anchor="middle" x="294.6881" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiplication</text>
</g>
<!-- root&#45;&gt;multiplication -->
<g id="edge3" class="edge">
<title>root-&gt;multiplication</title>
<path fill="none" stroke="#000000" d="M240.3212,-146.7307C249.1708,-137.4964 260.6658,-125.5015 270.8052,-114.9213"/>
<polygon fill="#000000" stroke="#000000" points="273.4994,-117.1685 277.8915,-107.5269 268.4455,-112.3251 273.4994,-117.1685"/>
</g>
<!-- division -->
<g id="node5" class="node">
<title>division</title>
<ellipse fill="none" stroke="#000000" cx="419.6881" cy="-90" rx="42.3145" ry="18"/>
<text text-anchor="middle" x="419.6881" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">division</text>
</g>
<!-- root&#45;&gt;division -->
<g id="edge4" class="edge">
<title>root-&gt;division</title>
<path fill="none" stroke="#000000" d="M249.4763,-153.1714C281.4694,-141.2977 338.8662,-119.9958 378.0863,-105.4399"/>
<polygon fill="#000000" stroke="#000000" points="379.482,-108.6552 387.6394,-101.8944 377.0464,-102.0926 379.482,-108.6552"/>
</g>
<!-- tally -->
<g id="node6" class="node">
<title>tally</title>
<ellipse fill="none" stroke="#000000" cx="225.6881" cy="-18" rx="28.4069" ry="18"/>
<text text-anchor="middle" x="225.6881" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">tally</text>
</g>
<!-- addition&#45;&gt;tally -->
<g id="edge5" class="edge">
<title>addition-&gt;tally</title>
<path fill="none" stroke="#000000" d="M74.1469,-77.6228C107.0728,-64.6683 158.5697,-44.4072 192.2259,-31.1655"/>
<polygon fill="#000000" stroke="#000000" points="193.612,-34.3813 201.6362,-27.463 191.0491,-27.8674 193.612,-34.3813"/>
</g>
<!-- subtraction&#45;&gt;tally -->
<g id="edge6" class="edge">
<title>subtraction-&gt;tally</title>
<path fill="none" stroke="#000000" d="M174.149,-72.5708C183.0445,-63.1521 194.1457,-51.3978 203.7648,-41.213"/>
<polygon fill="#000000" stroke="#000000" points="206.4488,-43.4685 210.7705,-33.7951 201.3597,-38.6621 206.4488,-43.4685"/>
</g>
<!-- multiplication&#45;&gt;tally -->
<g id="edge7" class="edge">
<title>multiplication-&gt;tally</title>
<path fill="none" stroke="#000000" d="M277.9851,-72.5708C268.9588,-63.1521 257.6944,-51.3978 247.9339,-41.213"/>
<polygon fill="#000000" stroke="#000000" points="250.2712,-38.5934 240.8251,-33.7951 245.2172,-43.4367 250.2712,-38.5934"/>
</g>
<!-- division&#45;&gt;tally -->
<g id="edge8" class="edge">
<title>division-&gt;tally</title>
<path fill="none" stroke="#000000" d="M387.653,-78.1107C352.3376,-65.0039 295.7599,-44.006 259.6811,-30.616"/>
<polygon fill="#000000" stroke="#000000" points="260.6763,-27.2521 250.0834,-27.0539 258.2407,-33.8147 260.6763,-27.2521"/>
</g>
</g>
</svg>