mir.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.38.0 (20140413.2041)
 -->
<!-- Title: Mir Pages: 1 -->
<svg width="220pt" height="382pt"
 viewBox="0.00 0.00 220.00 382.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 378)">
<title>Mir</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-378 216,-378 216,4 -4,4"/>
<!-- BB0 -->
<g id="node1" class="node"><title>BB0</title>
<polygon fill="none" stroke="black" points="11.5,-345.5 11.5,-366.5 114.5,-366.5 114.5,-345.5 11.5,-345.5"/>
<text text-anchor="start" x="46" y="-352.3" font-family="Times,serif" font-size="14.00">BB(0)</text>
<polygon fill="none" stroke="black" points="11.5,-322.5 11.5,-343.5 114.5,-343.5 114.5,-322.5 11.5,-322.5"/>
<text text-anchor="start" x="28" y="-329.3" font-family="Times,serif" font-size="14.00">Var₀ = Arg₀</text>
<polygon fill="none" stroke="black" points="11.5,-299.5 11.5,-320.5 114.5,-320.5 114.5,-299.5 11.5,-299.5"/>
<text text-anchor="start" x="28" y="-306.3" font-family="Times,serif" font-size="14.00">Var₁ = Arg₁</text>
<polygon fill="none" stroke="black" points="11.5,-276.5 11.5,-297.5 114.5,-297.5 114.5,-276.5 11.5,-276.5"/>
<text text-anchor="start" x="22" y="-283.3" font-family="Times,serif" font-size="14.00">Temp₂ = Var₁</text>
<polygon fill="none" stroke="black" points="11.5,-253.5 11.5,-274.5 114.5,-274.5 114.5,-253.5 11.5,-253.5"/>
<text text-anchor="start" x="27.5" y="-260.3" font-family="Times,serif" font-size="14.00">drop (*Var₀)</text>
<polygon fill="none" stroke="black" points="11.5,-230.5 11.5,-251.5 114.5,-251.5 114.5,-230.5 11.5,-230.5"/>
<text text-anchor="start" x="14.5" y="-237.3" font-family="Times,serif" font-size="14.00">(*Var₀) = Temp₂</text>
<polygon fill="none" stroke="black" points="11.5,-207.5 11.5,-228.5 114.5,-228.5 114.5,-207.5 11.5,-207.5"/>
<text text-anchor="start" x="29.5" y="-214.3" font-family="Times,serif" font-size="14.00">drop Temp₁</text>
<polygon fill="none" stroke="black" points="11.5,-184.5 11.5,-205.5 114.5,-205.5 114.5,-184.5 11.5,-184.5"/>
<text text-anchor="start" x="29.5" y="-191.3" font-family="Times,serif" font-size="14.00">drop Temp₂</text>
<polygon fill="none" stroke="black" points="11.5,-161.5 11.5,-182.5 114.5,-182.5 114.5,-161.5 11.5,-161.5"/>
<text text-anchor="start" x="35.5" y="-168.3" font-family="Times,serif" font-size="14.00">drop Var₀</text>
<polygon fill="none" stroke="black" points="11.5,-138.5 11.5,-159.5 114.5,-159.5 114.5,-138.5 11.5,-138.5"/>
<text text-anchor="start" x="35.5" y="-145.3" font-family="Times,serif" font-size="14.00">drop Var₁</text>
<polygon fill="none" stroke="black" points="11.5,-115.5 11.5,-136.5 114.5,-136.5 114.5,-115.5 11.5,-115.5"/>
<text text-anchor="start" x="28.5" y="-122.3" font-family="Times,serif" font-size="14.00">goto &#45;&gt; BB₁</text>
<polygon fill="none" stroke="black" points="8,-113 8,-370 117,-370 117,-113 8,-113"/>
</g>
<!-- BB1 -->
<g id="node2" class="node"><title>BB1</title>
<polygon fill="none" stroke="black" points="42.5,-30 42.5,-51 82.5,-51 82.5,-30 42.5,-30"/>
<text text-anchor="start" x="45.5" y="-36.8" font-family="Times,serif" font-size="14.00">BB(1)</text>
<polygon fill="none" stroke="black" points="42.5,-7 42.5,-28 82.5,-28 82.5,-7 42.5,-7"/>
<text text-anchor="start" x="46" y="-13.8" font-family="Times,serif" font-size="14.00">return</text>
<polygon fill="none" stroke="black" points="39.5,-4 39.5,-54 85.5,-54 85.5,-4 39.5,-4"/>
</g>
<!-- BB0&#45;&gt;BB1 -->
<g id="edge1" class="edge"><title>BB0&#45;&gt;BB1</title>
<path fill="none" stroke="black" d="M62.5,-108.981C62.5,-94.1975 62.5,-80.1524 62.5,-68.1174"/>
<polygon fill="black" stroke="black" points="66.0001,-68.0905 62.5,-58.0905 59.0001,-68.0905 66.0001,-68.0905"/>
<text text-anchor="middle" x="66" y="-79.8" font-family="Times,serif" font-size="14.00">0</text>
</g>
<!-- BB2 -->
<g id="node3" class="node"><title>BB2</title>
<polygon fill="none" stroke="black" points="154.5,-242.5 154.5,-263.5 201.5,-263.5 201.5,-242.5 154.5,-242.5"/>
<text text-anchor="start" x="161" y="-249.3" font-family="Times,serif" font-size="14.00">BB(2)</text>
<polygon fill="none" stroke="black" points="154.5,-219.5 154.5,-240.5 201.5,-240.5 201.5,-219.5 154.5,-219.5"/>
<text text-anchor="start" x="157.5" y="-226.3" font-family="Times,serif" font-size="14.00">diverge</text>
<polygon fill="none" stroke="black" points="151,-216.5 151,-266.5 204,-266.5 204,-216.5 151,-216.5"/>
</g>
</g>
</svg>