doc/monotonic-writes-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="118pt" height="200pt"
 viewBox="0.00 0.00 117.50 200.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 196)">
<title>a_graph</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-196 113.5,-196 113.5,4 -4,4"/>
<!-- T3 -->
<g id="node1" class="node">
<title>T3</title>
<polygon fill="none" stroke="#0058ad" points="38.5,-162.5 38.5,-191.5 94.5,-191.5 94.5,-162.5 38.5,-162.5"/>
<text text-anchor="middle" x="66.5" y="-173.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">a :x 1</text>
</g>
<!-- T5 -->
<g id="node2" class="node">
<title>T5</title>
<polygon fill="none" stroke="#0058ad" points="0,-81.5 0,-110.5 65,-110.5 65,-81.5 0,-81.5"/>
<text text-anchor="middle" x="32.5" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :x [1]</text>
</g>
<!-- T3&#45;&gt;T5 -->
<g id="edge1" class="edge">
<title>T3:f0&#45;&gt;T5:f0</title>
<path fill="none" stroke="#c000a5" d="M60.26,-162.14C55.33,-150.38 48.33,-133.72 42.6,-120.06"/>
<polygon fill="#c000a5" stroke="#c000a5" points="45.79,-118.63 38.7,-110.76 39.34,-121.34 45.79,-118.63"/>
<text text-anchor="middle" x="65.5" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#c000a5">:wr</text>
</g>
<!-- T7 -->
<g id="node3" class="node">
<title>T7</title>
<polygon fill="none" stroke="#0058ad" points="34,-0.5 34,-29.5 99,-29.5 99,-0.5 34,-0.5"/>
<text text-anchor="middle" x="66.5" y="-11.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :x [0]</text>
</g>
<!-- T5&#45;&gt;T7 -->
<g id="edge2" class="edge">
<title>T5&#45;&gt;T7</title>
<path fill="none" stroke="#00c0c0" d="M38.42,-81.24C43.44,-69.57 50.75,-52.6 56.65,-38.89"/>
<polygon fill="#00c0c0" stroke="#00c0c0" points="59.91,-40.17 60.65,-29.6 53.48,-37.4 59.91,-40.17"/>
<text text-anchor="middle" x="58.5" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#00c0c0">p</text>
</g>
<!-- T7&#45;&gt;T3 -->
<g id="edge3" class="edge">
<title>T7:f0&#45;&gt;T3:f0</title>
<path fill="none" stroke="#5b00c0" d="M71.36,-29.86C78.56,-54.02 90.33,-103.23 81.5,-144 80.84,-147.04 79.88,-150.13 78.75,-153.15"/>
<polygon fill="#5b00c0" stroke="#5b00c0" points="75.53,-151.78 74.78,-162.35 81.96,-154.56 75.53,-151.78"/>
<text text-anchor="middle" x="97.5" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#5b00c0">:rw</text>
</g>
</g>
</svg>