test/Figs/test_dag_x5.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.5 Pages: 1 -->
<svg width="225pt" height="342pt"
 viewBox="0.00 0.00 224.54 342.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 338)">
<title>0.5</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-338 220.54,-338 220.54,4 -4,4"/>
<!-- node_1 -->
<g id="node1" class="node">
<title>node_1</title>
<polygon fill="none" stroke="black" points="33.04,-307 33.04,-334 153.04,-334 153.04,-307 33.04,-307"/>
<text text-anchor="start" x="84.04" y="-316.8" font-family="Times,serif" font-size="14.00">1/2</text>
<polygon fill="none" stroke="black" points="33.04,-276 33.04,-307 122.04,-307 122.04,-276 33.04,-276"/>
<text text-anchor="start" x="41.04" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="45.04" y="-288.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<text text-anchor="start" x="57.04" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="65.04" y="-287.8" font-family="Times,serif" font-size="14.00"> &#45;1/2 </text>
<text text-anchor="start" x="99.04" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="103.04" y="-288.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="110.04" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="122.04,-276 122.04,-307 153.04,-307 153.04,-276 122.04,-276"/>
<text text-anchor="start" x="130.04" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="134.04" y="-288.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="141.04" y="-288.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="4.04,-119 4.04,-146 63.04,-146 63.04,-119 4.04,-119"/>
<text text-anchor="start" x="27.54" y="-129.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<polygon fill="none" stroke="black" points="4.04,-88 4.04,-119 32.04,-119 32.04,-88 4.04,-88"/>
<text text-anchor="start" x="9.04" y="-99.8" font-family="Times,serif" font-size="14.00"> Ø </text>
<polygon fill="none" stroke="black" points="32.04,-88 32.04,-119 63.04,-119 63.04,-88 32.04,-88"/>
<text text-anchor="start" x="40.04" y="-100.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="44.04" y="-100.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="51.04" y="-100.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:&#45;1,1&#45;&gt;node_2</title>
<path fill="none" stroke="#cd0000" d="M51.04,-282C51.04,-254.64 16.94,-265.09 6.04,-240 -5.72,-212.95 2.63,-180.22 13.04,-155.48"/>
<polygon fill="#cd0000" stroke="#cd0000" points="16.36,-156.63 17.25,-146.08 9.97,-153.77 16.36,-156.63"/>
</g>
<!-- node_3 -->
<g id="node3" class="node">
<title>node_3</title>
<polygon fill="none" stroke="black" points="82.04,-25 82.04,-52 138.04,-52 138.04,-25 82.04,-25"/>
<text text-anchor="start" x="106.54" y="-35.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="82.04,0 82.04,-25 110.04,-25 110.04,0 82.04,0"/>
<text text-anchor="start" x="87.04" y="-8.8" font-family="Times,serif" font-size="14.00"> Ø </text>
<polygon fill="none" stroke="black" points="110.04,0 110.04,-25 138.04,-25 138.04,0 110.04,0"/>
<text text-anchor="start" x="115.04" y="-8.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_1&#45;&gt;node_3 -->
<g id="edge8" class="edge">
<title>node_1:0,3&#45;&gt;node_3</title>
<path fill="none" stroke="#cd0000" d="M107.04,-282C107.04,-263.29 109.37,-258.7 110.04,-240 112.27,-177.48 111.55,-104.58 110.81,-62.32"/>
<polygon fill="#cd0000" stroke="#cd0000" points="114.3,-62.19 110.62,-52.26 107.31,-62.32 114.3,-62.19"/>
</g>
<!-- node_4 -->
<g id="node4" class="node">
<title>node_4</title>
<polygon fill="none" stroke="black" points="15.04,-213 15.04,-240 101.04,-240 101.04,-213 15.04,-213"/>
<text text-anchor="start" x="47.04" y="-222.8" font-family="Times,serif" font-size="14.00">&#45;1/2</text>
<polygon fill="none" stroke="black" points="15.04,-182 15.04,-213 51.04,-213 51.04,-182 15.04,-182"/>
<text text-anchor="start" x="23.04" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="27.04" y="-194.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<text text-anchor="start" x="39.04" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="51.04,-182 51.04,-213 101.04,-213 101.04,-182 51.04,-182"/>
<text text-anchor="start" x="59.04" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="63.04" y="-194.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="70.04" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="78.04" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="82.04" y="-194.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="89.04" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_1&#45;&gt;node_4 -->
<g id="edge3" class="edge">
<title>node_1:&#45;1/2,2&#45;&gt;node_4</title>
<path fill="none" stroke="#cd0000" d="M80.04,-282C80.04,-271.28 77.66,-260.05 74.47,-249.8"/>
<polygon fill="#cd0000" stroke="#cd0000" points="77.77,-248.64 71.22,-240.32 71.15,-250.92 77.77,-248.64"/>
</g>
<!-- node_5 -->
<g id="node5" class="node">
<title>node_5</title>
<polygon fill="none" stroke="black" points="158.04,-119 158.04,-146 217.04,-146 217.04,-119 158.04,-119"/>
<text text-anchor="start" x="184.04" y="-129.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="158.04,-88 158.04,-119 189.04,-119 189.04,-88 158.04,-88"/>
<text text-anchor="start" x="166.04" y="-100.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="170.04" y="-100.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="177.04" y="-100.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="189.04,-88 189.04,-119 217.04,-119 217.04,-88 189.04,-88"/>
<text text-anchor="start" x="194.04" y="-99.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_1&#45;&gt;node_5 -->
<g id="edge9" class="edge">
<title>node_1:1,1&#45;&gt;node_5</title>
<path fill="none" stroke="#0000cd" d="M138.04,-282C138.04,-257.36 158.6,-195.83 173.08,-155.54"/>
<polygon fill="#0000cd" stroke="#0000cd" points="176.41,-156.63 176.52,-146.04 169.83,-154.25 176.41,-156.63"/>
</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="#0000cd" d="M48.04,-94C48.04,-75.98 60.26,-60.75 73.86,-49.39"/>
<polygon fill="#0000cd" stroke="#0000cd" points="76.16,-52.04 81.94,-43.16 71.88,-46.49 76.16,-52.04"/>
</g>
<!-- node_4&#45;&gt;node_2 -->
<g id="edge4" class="edge">
<title>node_4:&#45;1,1&#45;&gt;node_2</title>
<path fill="none" stroke="#cd0000" d="M33.04,-188C33.04,-177.81 33.04,-166.78 33.04,-156.56"/>
<polygon fill="#cd0000" stroke="#cd0000" points="36.54,-156.27 33.04,-146.27 29.54,-156.27 36.54,-156.27"/>
</g>
<!-- node_4&#45;&gt;node_3 -->
<g id="edge5" class="edge">
<title>node_4:0,1&#45;&gt;node_3</title>
<path fill="none" stroke="#0000cd" d="M67.04,-188C67.04,-163.53 85.81,-101.1 98.55,-61.56"/>
<polygon fill="#0000cd" stroke="#0000cd" points="101.88,-62.63 101.64,-52.04 95.23,-60.47 101.88,-62.63"/>
</g>
<!-- node_4&#45;&gt;node_5 -->
<g id="edge6" class="edge">
<title>node_4:1,2&#45;&gt;node_5</title>
<path fill="none" stroke="#0000cd" d="M95.04,-197C123.47,-197 147.51,-175.01 163.88,-154.23"/>
<polygon fill="#0000cd" stroke="#0000cd" points="166.79,-156.18 169.98,-146.07 161.19,-151.98 166.79,-156.18"/>
</g>
<!-- node_5&#45;&gt;node_3 -->
<g id="edge7" class="edge">
<title>node_5:0,1&#45;&gt;node_3</title>
<path fill="none" stroke="#cd0000" d="M173.04,-94C173.04,-75.71 160.43,-60.38 146.49,-49.02"/>
<polygon fill="#cd0000" stroke="#cd0000" points="148.32,-46.01 138.22,-42.79 144.11,-51.6 148.32,-46.01"/>
</g>
</g>
</svg>