doc/wr-G1c-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="92pt" height="119pt"
 viewBox="0.00 0.00 92.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 88,-115 88,4 -4,4"/>
<!-- T3 -->
<g id="node1" class="node">
<title>T3</title>
<polygon fill="none" stroke="#0058ad" points="12.5,-81.5 12.5,-110.5 71.5,-110.5 71.5,-81.5 12.5,-81.5"/>
<text text-anchor="middle" x="42" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">w :x 0</text>
</g>
<!-- T1 -->
<g id="node2" class="node">
<title>T1</title>
<polygon fill="none" stroke="#0058ad" points="0,-0.5 0,-29.5 84,-29.5 84,-0.5 0,-0.5"/>
<text text-anchor="middle" x="42" y="-11.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :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="#c000a5" d="M29.44,-81.19C25.64,-75.81 21.96,-69.46 20,-63 17.51,-54.77 19.8,-46.12 23.7,-38.47"/>
<polygon fill="#c000a5" stroke="#c000a5" points="26.82,-40.08 29.05,-29.72 20.84,-36.43 26.82,-40.08"/>
<text text-anchor="middle" x="32" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#c000a5">:wr</text>
</g>
<!-- T1&#45;&gt;T3 -->
<g id="edge2" class="edge">
<title>T1&#45;&gt;T3</title>
<path fill="none" stroke="#00c0c0" d="M43.04,-29.69C43.43,-35.36 43.81,-41.99 44,-48 44.21,-54.66 44.21,-56.34 44,-63 43.92,-65.63 43.8,-68.38 43.66,-71.11"/>
<polygon fill="#00c0c0" stroke="#00c0c0" points="40.15,-71.11 43.04,-81.31 47.14,-71.53 40.15,-71.11"/>
<text text-anchor="middle" x="49" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#00c0c0">p</text>
</g>
</g>
</svg>