doc/writes-follow-reads-G-single-item-process.svg

<?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.43.0 (0)
 -->
<!-- Title: a_graph Pages: 1 -->
<svg width="133pt" height="281pt"
 viewBox="0.00 0.00 133.00 281.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 277)">
<title>a_graph</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-277 129,-277 129,4 -4,4"/>
<!-- T5 -->
<g id="node1" class="node">
<title>T5</title>
<polygon fill="none" stroke="#0058ad" points="47.5,-243.5 47.5,-272.5 106.5,-272.5 106.5,-243.5 47.5,-243.5"/>
<text text-anchor="middle" x="77" y="-254.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">w :y 0</text>
</g>
<!-- T7 -->
<g id="node4" class="node">
<title>T7</title>
<polygon fill="none" stroke="#0058ad" points="0,-162.5 0,-191.5 84,-191.5 84,-162.5 0,-162.5"/>
<text text-anchor="middle" x="42" y="-173.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :y #{0}</text>
</g>
<!-- T5&#45;&gt;T7 -->
<g id="edge1" class="edge">
<title>T5:f0&#45;&gt;T7:f0</title>
<path fill="none" stroke="#c000a5" d="M70.58,-243.14C65.5,-231.38 58.3,-214.72 52.4,-201.06"/>
<polygon fill="#c000a5" stroke="#c000a5" points="55.56,-199.55 48.38,-191.76 49.13,-202.33 55.56,-199.55"/>
<text text-anchor="middle" x="75" y="-213.8" font-family="Times,serif" font-size="14.00" fill="#c000a5">:wr</text>
</g>
<!-- T9 -->
<g id="node2" class="node">
<title>T9</title>
<polygon fill="none" stroke="#0058ad" points="18.5,-81.5 18.5,-110.5 81.5,-110.5 81.5,-81.5 18.5,-81.5"/>
<text text-anchor="middle" x="50" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :x nil</text>
</g>
<!-- T1 -->
<g id="node3" class="node">
<title>T1</title>
<polygon fill="none" stroke="#0058ad" points="51.5,-0.5 51.5,-29.5 110.5,-29.5 110.5,-0.5 51.5,-0.5"/>
<text text-anchor="middle" x="81" y="-11.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">w :x 0</text>
</g>
<!-- T9&#45;&gt;T1 -->
<g id="edge2" class="edge">
<title>T9:f0&#45;&gt;T1:f0</title>
<path fill="none" stroke="#5b00c0" d="M55.69,-81.14C60.14,-69.5 66.44,-53.04 71.64,-39.46"/>
<polygon fill="#5b00c0" stroke="#5b00c0" points="75.04,-40.35 75.35,-29.76 68.51,-37.85 75.04,-40.35"/>
<text text-anchor="middle" x="81" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#5b00c0">:rw</text>
</g>
<!-- T1&#45;&gt;T5 -->
<g id="edge3" class="edge">
<title>T1:f0&#45;&gt;T5:f0</title>
<path fill="none" stroke="#c02700" d="M89.83,-29.59C92.71,-35.15 95.55,-41.67 97,-48 98.49,-54.5 97.1,-56.33 97,-63 94.82,-203.58 95.1,-207.58 91,-225 90.32,-227.9 89.4,-230.86 88.37,-233.77"/>
<polygon fill="#c02700" stroke="#c02700" points="85.04,-232.67 84.53,-243.25 91.52,-235.3 85.04,-232.67"/>
<text text-anchor="middle" x="110.5" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#c02700">:ww</text>
</g>
<!-- T7&#45;&gt;T9 -->
<g id="edge4" class="edge">
<title>T7&#45;&gt;T9</title>
<path fill="none" stroke="#00c0c0" d="M43.39,-162.24C44.55,-150.8 46.23,-134.25 47.6,-120.69"/>
<polygon fill="#00c0c0" stroke="#00c0c0" points="51.1,-120.9 48.62,-110.6 44.13,-120.2 51.1,-120.9"/>
<text text-anchor="middle" x="52" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#00c0c0">p</text>
</g>
</g>
</svg>