dds/example/dots/examplem7LpTs.svg

165 lines
7.4 KiB
XML
Raw Normal View History

<?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: G Pages: 1 -->
<svg width="999pt" height="655pt"
viewBox="0.00 0.00 999.07 655.40" 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 651.4)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-651.4 995.07,-651.4 995.07,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="588.85" cy="-323.87" rx="75.29" ry="18"/>
<text text-anchor="middle" x="588.85" y="-320.17" font-family="Times-Roman" font-size="14.00">a:#f b:#f c:#f</text>
</g>
<!-- node0&#45;&gt;node0 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M659.31,-330.29C672.75,-329.52 682.25,-327.38 682.25,-323.87 682.25,-320.35 672.75,-318.21 659.31,-317.44"/>
</g>
<!-- node5 -->
<g id="node6" class="node">
<title>node5</title>
<ellipse fill="none" stroke="black" cx="318.29" cy="-629.4" rx="75.29" ry="18"/>
<text text-anchor="middle" x="318.29" y="-625.7" font-family="Times-Roman" font-size="14.00">a:#f b:#f c:#t</text>
</g>
<!-- node0&#45;&gt;node5 -->
<g id="edge2" class="edge">
<title>node0&#45;&gt;node5</title>
<path fill="none" stroke="black" d="M573.14,-341.61C525.32,-395.62 381.93,-557.54 334.05,-611.61"/>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="316.68" cy="-19.4" rx="75.29" ry="18"/>
<text text-anchor="middle" x="316.68" y="-15.7" font-family="Times-Roman" font-size="14.00">a:#f b:#t c:#f</text>
</g>
<!-- node1&#45;&gt;node0 -->
<g id="edge12" class="edge">
<title>node1&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M332.49,-37.08C378.53,-88.58 512.62,-238.59 566.27,-298.61"/>
<polygon fill="black" stroke="black" points="563.73,-301.01 573,-306.13 568.94,-296.34 563.73,-301.01"/>
</g>
<!-- node3 -->
<g id="node4" class="node">
<title>node3</title>
<ellipse fill="none" stroke="black" cx="75.39" cy="-325.17" rx="75.29" ry="18"/>
<text text-anchor="middle" x="75.39" y="-321.47" font-family="Times-Roman" font-size="14.00">a:#f b:#t c:#t</text>
</g>
<!-- node1&#45;&gt;node3 -->
<g id="edge3" class="edge">
<title>node1&#45;&gt;node3</title>
<path fill="none" stroke="black" d="M302.67,-37.16C260.02,-91.2 132.14,-253.25 89.45,-307.36"/>
</g>
<!-- node7 -->
<g id="node8" class="node">
<title>node7</title>
<ellipse fill="none" stroke="black" cx="654.91" cy="-18" rx="75.29" ry="18"/>
<text text-anchor="middle" x="654.91" y="-14.3" font-family="Times-Roman" font-size="14.00">a:#t b:#t c:#f</text>
</g>
<!-- node1&#45;&gt;node7 -->
<g id="edge13" class="edge">
<title>node1&#45;&gt;node7</title>
<path fill="none" stroke="black" d="M392.17,-19.09C444.68,-18.87 514.78,-18.58 569.36,-18.35"/>
<polygon fill="black" stroke="black" points="569.38,-21.85 579.37,-18.31 569.35,-14.85 569.38,-21.85"/>
</g>
<!-- node2 -->
<g id="node3" class="node">
<title>node2</title>
<ellipse fill="none" stroke="black" cx="897.67" cy="-323.12" rx="75.29" ry="18"/>
<text text-anchor="middle" x="897.67" y="-319.42" font-family="Times-Roman" font-size="14.00">a:#t b:#f c:#f</text>
</g>
<!-- node2&#45;&gt;node0 -->
<g id="edge14" class="edge">
<title>node2&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M822.13,-323.31C777.46,-323.41 720.76,-323.55 674.44,-323.66"/>
<polygon fill="black" stroke="black" points="674.41,-320.16 664.42,-323.68 674.43,-327.16 674.41,-320.16"/>
</g>
<!-- node2&#45;&gt;node2 -->
<g id="edge4" class="edge">
<title>node2&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M968.13,-329.55C981.57,-328.78 991.07,-326.64 991.07,-323.12 991.07,-319.61 981.57,-317.47 968.13,-316.7"/>
</g>
<!-- node6 -->
<g id="node7" class="node">
<title>node6</title>
<ellipse fill="none" stroke="black" cx="657.14" cy="-629.29" rx="75.29" ry="18"/>
<text text-anchor="middle" x="657.14" y="-625.59" font-family="Times-Roman" font-size="14.00">a:#t b:#f c:#t</text>
</g>
<!-- node2&#45;&gt;node6 -->
<g id="edge5" class="edge">
<title>node2&#45;&gt;node6</title>
<path fill="none" stroke="black" d="M883.7,-340.91C841.19,-395.02 713.71,-557.28 671.15,-611.46"/>
</g>
<!-- node3&#45;&gt;node3 -->
<g id="edge6" class="edge">
<title>node3&#45;&gt;node3</title>
<path fill="none" stroke="black" d="M145.85,-331.6C159.29,-330.83 168.79,-328.69 168.79,-325.17 168.79,-321.66 159.29,-319.51 145.85,-318.75"/>
</g>
<!-- node4 -->
<g id="node5" class="node">
<title>node4</title>
<ellipse fill="none" stroke="black" cx="384" cy="-324.58" rx="75.29" ry="18"/>
<text text-anchor="middle" x="384" y="-320.88" font-family="Times-Roman" font-size="14.00">a:#t b:#t c:#t</text>
</g>
<!-- node3&#45;&gt;node4 -->
<g id="edge15" class="edge">
<title>node3&#45;&gt;node4</title>
<path fill="none" stroke="black" d="M150.89,-325.03C195.52,-324.94 252.19,-324.83 298.47,-324.74"/>
<polygon fill="black" stroke="black" points="298.49,-328.24 308.48,-324.72 298.48,-321.24 298.49,-328.24"/>
</g>
<!-- node4&#45;&gt;node4 -->
<g id="edge8" class="edge">
<title>node4&#45;&gt;node4</title>
<path fill="none" stroke="black" d="M454.46,-331C467.89,-330.24 477.39,-328.09 477.39,-324.58 477.39,-321.06 467.89,-318.92 454.46,-318.15"/>
</g>
<!-- node4&#45;&gt;node6 -->
<g id="edge16" class="edge">
<title>node4&#45;&gt;node6</title>
<path fill="none" stroke="black" d="M399.86,-342.28C446.07,-393.82 580.63,-543.94 634.48,-604.01"/>
<polygon fill="black" stroke="black" points="631.95,-606.43 641.23,-611.54 637.16,-601.76 631.95,-606.43"/>
</g>
<!-- node4&#45;&gt;node7 -->
<g id="edge7" class="edge">
<title>node4&#45;&gt;node7</title>
<path fill="none" stroke="black" d="M399.74,-306.77C447.62,-252.58 591.19,-90.11 639.13,-35.86"/>
</g>
<!-- node5&#45;&gt;node3 -->
<g id="edge17" class="edge">
<title>node5&#45;&gt;node3</title>
<path fill="none" stroke="black" d="M303.82,-611.28C262.56,-559.6 144.19,-411.34 96.09,-351.1"/>
<polygon fill="black" stroke="black" points="98.76,-348.83 89.78,-343.2 93.29,-353.2 98.76,-348.83"/>
</g>
<!-- node5&#45;&gt;node5 -->
<g id="edge9" class="edge">
<title>node5&#45;&gt;node5</title>
<path fill="none" stroke="black" d="M388.75,-635.83C402.18,-635.06 411.68,-632.92 411.68,-629.4 411.68,-625.89 402.18,-623.75 388.75,-622.98"/>
</g>
<!-- node6&#45;&gt;node5 -->
<g id="edge18" class="edge">
<title>node6&#45;&gt;node5</title>
<path fill="none" stroke="black" d="M581.52,-629.32C528.91,-629.33 458.68,-629.36 404,-629.38"/>
<polygon fill="black" stroke="black" points="403.97,-625.88 393.97,-629.38 403.97,-632.88 403.97,-625.88"/>
</g>
<!-- node6&#45;&gt;node6 -->
<g id="edge10" class="edge">
<title>node6&#45;&gt;node6</title>
<path fill="none" stroke="black" d="M727.6,-635.72C741.03,-634.95 750.53,-632.81 750.53,-629.29 750.53,-625.78 741.03,-623.63 727.6,-622.86"/>
</g>
<!-- node7&#45;&gt;node2 -->
<g id="edge19" class="edge">
<title>node7&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M669.01,-35.72C709.99,-87.23 829.19,-237.05 877.24,-297.44"/>
<polygon fill="black" stroke="black" points="874.57,-299.71 883.53,-305.35 880.05,-295.35 874.57,-299.71"/>
</g>
<!-- node7&#45;&gt;node7 -->
<g id="edge11" class="edge">
<title>node7&#45;&gt;node7</title>
<path fill="none" stroke="black" d="M725.37,-24.43C738.8,-23.66 748.31,-21.52 748.31,-18 748.31,-14.48 738.8,-12.34 725.37,-11.57"/>
</g>
</g>
</svg>