examples/odd.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.40.1 (20161225.0304)
 -->
<!-- Title: A Pages: 1 -->
<svg width="408pt" height="182pt"
 viewBox="0.00 0.00 408.00 181.52" 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 177.5182)">
<title>A</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-177.5182 404,-177.5182 404,4 -4,4"/>
<!-- start -->
<!-- n0 -->
<g id="node2" class="node">
<title>n0</title>
<ellipse fill="none" stroke="#000000" cx="91" cy="-20.5182" rx="18" ry="18"/>
</g>
<!-- start&#45;&gt;n0 -->
<g id="edge1" class="edge">
<title>start&#45;&gt;n0</title>
<path fill="none" stroke="#000000" d="M36.0449,-20.5182C44.1172,-20.5182 53.8236,-20.5182 62.8183,-20.5182"/>
<polygon fill="#000000" stroke="#000000" points="62.9097,-24.0183 72.9096,-20.5182 62.9096,-17.0183 62.9097,-24.0183"/>
</g>
<!-- n2 -->
<g id="node3" class="node">
<title>n2</title>
<ellipse fill="none" stroke="#000000" cx="177" cy="-20.5182" rx="18" ry="18"/>
</g>
<!-- n0&#45;&gt;n2 -->
<g id="edge2" class="edge">
<title>n0&#45;&gt;n2</title>
<path fill="none" stroke="#000000" d="M109.2384,-20.5182C120.6403,-20.5182 135.5658,-20.5182 148.506,-20.5182"/>
<polygon fill="#000000" stroke="#000000" points="148.7879,-24.0183 158.7879,-20.5182 148.7879,-17.0183 148.7879,-24.0183"/>
<text text-anchor="middle" x="134" y="-24.3182" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
</g>
<!-- n0&#45;&gt;n2 -->
<g id="edge3" class="edge">
<title>n0&#45;&gt;n2</title>
<path fill="none" stroke="#000000" d="M105.5786,-9.9061C115.3961,-4.0339 128.7413,1.5182 141,-1.5182 144.9765,-2.5032 148.9981,-4.0163 152.8403,-5.7679"/>
<polygon fill="#000000" stroke="#000000" points="151.4038,-8.9653 161.8943,-10.4482 154.6182,-2.7469 151.4038,-8.9653"/>
<text text-anchor="middle" x="134" y="-5.3182" font-family="Times,serif" font-size="14.00" fill="#000000">[&#45;]</text>
</g>
<!-- n6 -->
<g id="node4" class="node">
<title>n6</title>
<ellipse fill="none" stroke="#000000" cx="259" cy="-75.5182" rx="18" ry="18"/>
</g>
<!-- n2&#45;&gt;n6 -->
<g id="edge4" class="edge">
<title>n2&#45;&gt;n6</title>
<path fill="none" stroke="#000000" d="M192.0401,-30.6061C204.1011,-38.6958 221.2537,-50.2006 235.1788,-59.5406"/>
<polygon fill="#000000" stroke="#000000" points="233.523,-62.6444 243.7776,-65.3081 237.4223,-56.831 233.523,-62.6444"/>
<text text-anchor="middle" x="218" y="-54.3182" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
</g>
<!-- n4 -->
<g id="node5" class="node">
<title>n4</title>
<ellipse fill="none" stroke="#000000" cx="378" cy="-56.5182" rx="18" ry="18"/>
</g>
<!-- n2&#45;&gt;n4 -->
<g id="edge5" class="edge">
<title>n2&#45;&gt;n4</title>
<path fill="none" stroke="#000000" d="M195.3008,-19.9409C225.6318,-19.4845 287.9384,-20.6787 338,-35.5182 343.224,-37.0667 348.5583,-39.3212 353.5583,-41.7845"/>
<polygon fill="#000000" stroke="#000000" points="352.1765,-45.0147 362.6447,-46.648 355.4799,-38.8431 352.1765,-45.0147"/>
<text text-anchor="middle" x="259" y="-27.3182" font-family="Times,serif" font-size="14.00" fill="#000000">[1&#45;9]</text>
</g>
<!-- n6&#45;&gt;n4 -->
<g id="edge9" class="edge">
<title>n6&#45;&gt;n4</title>
<path fill="none" stroke="#000000" d="M275.7502,-82.5669C292.0294,-88.3796 317.2615,-94.6137 338,-87.5182 345.0373,-85.1105 351.7944,-80.9052 357.6872,-76.3545"/>
<polygon fill="#000000" stroke="#000000" points="360.2751,-78.7487 365.6342,-69.6091 355.7453,-73.4119 360.2751,-78.7487"/>
<text text-anchor="middle" x="316.5" y="-94.3182" font-family="Times,serif" font-size="14.00" fill="#000000">rep *</text>
</g>
<!-- n7 -->
<g id="node6" class="node">
<title>n7</title>
<ellipse fill="none" stroke="#000000" cx="378" cy="-151.5182" rx="18" ry="18"/>
<ellipse fill="none" stroke="#000000" cx="378" cy="-151.5182" rx="22" ry="22"/>
</g>
<!-- n6&#45;&gt;n7 -->
<g id="edge8" class="edge">
<title>n6&#45;&gt;n7</title>
<path fill="none" stroke="#000000" d="M271.2117,-88.7554C277.8411,-95.4827 286.4194,-103.4872 295,-109.5182 311.6776,-121.2403 332.0877,-131.6138 348.4948,-139.1187"/>
<polygon fill="#000000" stroke="#000000" points="347.0755,-142.318 357.634,-143.1945 349.9266,-135.9249 347.0755,-142.318"/>
<text text-anchor="middle" x="316.5" y="-137.3182" font-family="Times,serif" font-size="14.00" fill="#000000">[13579]</text>
</g>
<!-- n4&#45;&gt;n6 -->
<g id="edge6" class="edge">
<title>n4&#45;&gt;n6</title>
<path fill="none" stroke="#000000" d="M360.0627,-59.3822C340.6464,-62.4822 309.4322,-67.466 286.8268,-71.0753"/>
<polygon fill="#000000" stroke="#000000" points="286.1386,-67.6408 276.8155,-72.6737 287.2423,-74.5532 286.1386,-67.6408"/>
<text text-anchor="middle" x="316.5" y="-72.3182" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
</g>
<!-- n4&#45;&gt;n6 -->
<g id="edge7" class="edge">
<title>n4&#45;&gt;n6</title>
<path fill="none" stroke="#000000" d="M361.2613,-49.0285C344.1191,-42.4663 316.9496,-35.173 295,-43.5182 288.742,-45.8975 282.8772,-49.9185 277.7718,-54.3215"/>
<polygon fill="#000000" stroke="#000000" points="275.2158,-51.9235 270.4265,-61.3741 280.0639,-56.9728 275.2158,-51.9235"/>
<text text-anchor="middle" x="316.5" y="-47.3182" font-family="Times,serif" font-size="14.00" fill="#000000">[0&#45;9]</text>
</g>
</g>
</svg>