test/Figs/test_dot_s2.dot.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: 0.75 Pages: 1 -->
<svg width="216pt" height="326pt"
 viewBox="0.00 0.00 215.50 326.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 322)">
<title>0.75</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-322 211.5,-322 211.5,4 -4,4"/>
<!-- node_1 -->
<g id="node1" class="node">
<title>node_1</title>
<polygon fill="none" stroke="black" points="92,-291 92,-318 165,-318 165,-291 92,-291"/>
<text text-anchor="start" x="119.5" y="-301.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">3/4</text>
<polygon fill="none" stroke="black" points="92,-260 92,-291 134,-291 134,-260 92,-260"/>
<text text-anchor="start" x="100" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="104" y="-272.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1/2</text>
<text text-anchor="start" x="122" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="134,-260 134,-291 165,-291 165,-260 134,-260"/>
<text text-anchor="start" x="142" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="146" y="-272.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="153" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_2 -->
<g id="node2" class="node">
<title>node_2</title>
<polygon fill="none" stroke="black" points="55,-197 55,-224 117,-224 117,-197 55,-197"/>
<text text-anchor="start" x="77" y="-207.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1/2</text>
<polygon fill="none" stroke="black" points="55,-166 55,-197 86,-197 86,-166 55,-166"/>
<text text-anchor="start" x="63" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="67" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="74" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="86,-166 86,-197 117,-197 117,-166 86,-166"/>
<text text-anchor="start" x="94" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="98" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="105" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_1&#45;&gt;node_2 -->
<g id="edge1" class="edge">
<title>node_1:1/2,1&#45;&gt;node_2</title>
<path fill="none" stroke="#cd0000" d="M112.22,-255.77C110.58,-244.62 106.58,-233.54 102.17,-224.02"/>
<polygon fill="#cd0000" stroke="#cd0000" points="108.75,-256.3 113,-266 115.73,-255.76 108.75,-256.3"/>
</g>
<!-- node_6 -->
<g id="node6" class="node">
<title>node_6</title>
<polygon fill="none" stroke="black" points="149,-197 149,-224 208,-224 208,-197 149,-197"/>
<text text-anchor="start" x="175" y="-207.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="149,-166 149,-197 180,-197 180,-166 149,-166"/>
<text text-anchor="start" x="157" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="161" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="168" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="180,-166 180,-197 208,-197 208,-166 180,-166"/>
<text text-anchor="start" x="185" y="-177.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_1&#45;&gt;node_6 -->
<g id="edge5" class="edge">
<title>node_1:1,1&#45;&gt;node_6</title>
<path fill="none" stroke="#0000cd" d="M150.79,-255.83C152.46,-244.74 156.55,-233.75 161.07,-224.29"/>
<polygon fill="#0000cd" stroke="#0000cd" points="147.29,-255.76 150,-266 154.27,-256.3 147.29,-255.76"/>
</g>
<!-- node_3 -->
<g id="node3" class="node">
<title>node_3</title>
<text text-anchor="start" x="23.5" y="-98.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_2&#45;&gt;node_3 -->
<g id="edge2" class="edge">
<title>node_2:0,1&#45;&gt;node_3</title>
<path fill="none" stroke="#cd0000" d="M68.9,-161.67C65.49,-145.29 54.74,-130.16 44.99,-119.23"/>
<polygon fill="#cd0000" stroke="#cd0000" points="65.46,-162.43 70,-172 72.42,-161.69 65.46,-162.43"/>
</g>
<!-- node_4 -->
<g id="node4" class="node">
<title>node_4</title>
<polygon fill="none" stroke="black" points="73,-103 73,-130 132,-130 132,-103 73,-103"/>
<text text-anchor="start" x="99" y="-113.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="73,-72 73,-103 104,-103 104,-72 73,-72"/>
<text text-anchor="start" x="81" y="-84.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="85" y="-84.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="92" y="-84.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="104,-72 104,-103 132,-103 132,-72 104,-72"/>
<text text-anchor="start" x="109" y="-83.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_2&#45;&gt;node_4 -->
<g id="edge3" class="edge">
<title>node_2:1,1&#45;&gt;node_4</title>
<path fill="none" stroke="#0000cd" d="M102,-161.81C102,-151.03 102,-139.93 102,-130.27"/>
<polygon fill="#0000cd" stroke="#0000cd" points="98.5,-162 102,-172 105.5,-162 98.5,-162"/>
</g>
<!-- node_5 -->
<g id="node5" class="node">
<title>node_5</title>
<text text-anchor="start" x="84.5" y="-15.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_4&#45;&gt;node_5 -->
<g id="edge4" class="edge">
<title>node_4:0,1&#45;&gt;node_5</title>
<path fill="none" stroke="#cd0000" d="M88,-67.83C88,-56.58 88,-45.06 88,-36.04"/>
<polygon fill="#cd0000" stroke="#cd0000" points="84.5,-68 88,-78 91.5,-68 84.5,-68"/>
</g>
<!-- node_7 -->
<g id="node7" class="node">
<title>node_7</title>
<text text-anchor="start" x="173.5" y="-98.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_6&#45;&gt;node_7 -->
<g id="edge6" class="edge">
<title>node_6:0,1&#45;&gt;node_7</title>
<path fill="none" stroke="#cd0000" d="M164.39,-161.97C165.54,-146.53 169,-130.64 172.01,-119.1"/>
<polygon fill="#cd0000" stroke="#cd0000" points="160.89,-161.87 164,-172 167.89,-162.14 160.89,-161.87"/>
</g>
</g>
</svg>