doc/ryw-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="71pt" height="119pt"
 viewBox="0.00 0.00 71.00 119.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 115)">
<title>a_graph</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-115 67,-115 67,4 -4,4"/>
<!-- T3 -->
<g id="node1" class="node">
<title>T3</title>
<polygon fill="none" stroke="#0058ad" points="0,-81.5 0,-110.5 63,-110.5 63,-81.5 0,-81.5"/>
<text text-anchor="middle" x="31.5" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :x nil</text>
</g>
<!-- T1 -->
<g id="node2" class="node">
<title>T1</title>
<polygon fill="none" stroke="#0058ad" points="3.5,-0.5 3.5,-29.5 59.5,-29.5 59.5,-0.5 3.5,-0.5"/>
<text text-anchor="middle" x="31.5" y="-11.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">a :x 0</text>
</g>
<!-- T3&#45;&gt;T1 -->
<g id="edge1" class="edge">
<title>T3:f0&#45;&gt;T1:f0</title>
<path fill="none" stroke="#5b00c0" d="M18.94,-81.19C15.14,-75.81 11.46,-69.46 9.5,-63 7.01,-54.77 9.3,-46.12 13.2,-38.47"/>
<polygon fill="#5b00c0" stroke="#5b00c0" points="16.32,-40.08 18.55,-29.72 10.34,-36.43 16.32,-40.08"/>
<text text-anchor="middle" x="21.5" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#5b00c0">:rw</text>
</g>
<!-- T1&#45;&gt;T3 -->
<g id="edge2" class="edge">
<title>T1&#45;&gt;T3</title>
<path fill="none" stroke="#00c0c0" d="M32.54,-29.69C32.93,-35.36 33.31,-41.99 33.5,-48 33.71,-54.66 33.71,-56.34 33.5,-63 33.42,-65.63 33.3,-68.38 33.16,-71.11"/>
<polygon fill="#00c0c0" stroke="#00c0c0" points="29.65,-71.11 32.54,-81.31 36.64,-71.53 29.65,-71.11"/>
<text text-anchor="middle" x="38.5" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#00c0c0">p</text>
</g>
</g>
</svg>