test/Figs/test_dag_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="111pt" height="342pt"
 viewBox="0.00 0.00 110.50 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.75</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-338 106.5,-338 106.5,4 -4,4"/>
<!-- node_1 -->
<g id="node1" class="node">
<title>node_1</title>
<polygon fill="none" stroke="black" points="21,-307 21,-334 94,-334 94,-307 21,-307"/>
<text text-anchor="start" x="48.5" y="-317.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">3/4</text>
<polygon fill="none" stroke="black" points="21,-276 21,-307 63,-307 63,-276 21,-276"/>
<text text-anchor="start" x="29" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="33" y="-288.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1/2</text>
<text text-anchor="start" x="51" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="63,-276 63,-307 94,-307 94,-276 63,-276"/>
<text text-anchor="start" x="71" y="-288.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="75" y="-288.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="82" 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="0,-213 0,-240 62,-240 62,-213 0,-213"/>
<text text-anchor="start" x="22" y="-223.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1/2</text>
<polygon fill="none" stroke="black" points="0,-182 0,-213 31,-213 31,-182 0,-182"/>
<text text-anchor="start" x="8" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="12" y="-194.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="19" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="31,-182 31,-213 62,-213 62,-182 31,-182"/>
<text text-anchor="start" x="39" y="-194.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="43" y="-194.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="50" y="-194.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="M42,-282C42,-271.57 40.79,-260.38 39.18,-250.07"/>
<polygon fill="#cd0000" stroke="#cd0000" points="42.61,-249.37 37.46,-240.11 35.72,-250.56 42.61,-249.37"/>
</g>
<!-- node_4 -->
<g id="node4" class="node">
<title>node_4</title>
<polygon fill="none" stroke="black" points="44,-119 44,-146 103,-146 103,-119 44,-119"/>
<text text-anchor="start" x="70" y="-129.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="44,-88 44,-119 75,-119 75,-88 44,-88"/>
<text text-anchor="start" x="52" y="-100.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="56" y="-100.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="63" y="-100.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="75,-88 75,-119 103,-119 103,-88 75,-88"/>
<text text-anchor="start" x="80" y="-99.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_1&#45;&gt;node_4 -->
<g id="edge5" class="edge">
<title>node_1:1,1&#45;&gt;node_4</title>
<path fill="none" stroke="#0000cd" d="M79,-282C79,-238.94 76.91,-189.56 75.2,-156.33"/>
<polygon fill="#0000cd" stroke="#0000cd" points="78.68,-155.94 74.66,-146.14 71.69,-156.31 78.68,-155.94"/>
</g>
<!-- node_3 -->
<g id="node3" class="node">
<title>node_3</title>
<polygon fill="none" stroke="black" points="9,-25 9,-52 65,-52 65,-25 9,-25"/>
<text text-anchor="start" x="33.5" y="-35.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="9,0 9,-25 37,-25 37,0 9,0"/>
<text text-anchor="start" x="14" y="-8.8" font-family="Times,serif" font-size="14.00"> Ø </text>
<polygon fill="none" stroke="black" points="37,0 37,-25 65,-25 65,0 37,0"/>
<text text-anchor="start" x="42" y="-8.8" font-family="Times,serif" font-size="14.00"> Ø </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="M15,-188C15,-144.34 23.04,-94.63 29.4,-62.14"/>
<polygon fill="#cd0000" stroke="#cd0000" points="32.85,-62.72 31.39,-52.23 25.99,-61.34 32.85,-62.72"/>
</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="M47,-188C47,-177.1 49.81,-165.8 53.58,-155.55"/>
<polygon fill="#0000cd" stroke="#0000cd" points="56.9,-156.66 57.43,-146.08 50.42,-154.03 56.9,-156.66"/>
</g>
<!-- node_4&#45;&gt;node_3 -->
<g id="edge4" class="edge">
<title>node_4:0,1&#45;&gt;node_3</title>
<path fill="none" stroke="#cd0000" d="M59,-94C59,-83.14 56.36,-71.77 52.91,-61.54"/>
<polygon fill="#cd0000" stroke="#cd0000" points="56.18,-60.29 49.41,-52.14 49.62,-62.73 56.18,-60.29"/>
</g>
</g>
</svg>