Files
configotron/tests/ref/debug-simle_fsm_building.svg
2025-06-07 03:01:00 +02:00

102 lines
5.4 KiB
XML

<?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: root Pages: 1 -->
<svg width="490pt" height="171pt"
viewBox="0.00 0.00 489.69 171.45" 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 167.45)">
<title>root</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-167.45 485.69,-167.45 485.69,4 -4,4"/>
<!-- z0 -->
<g id="node1" class="node">
<title>z0</title>
<ellipse fill="none" stroke="black" cx="21.45" cy="-111.45" rx="21.4" ry="21.4"/>
<text text-anchor="middle" x="21.45" y="-107.75" font-family="Times,serif" font-size="14.00">z0</text>
</g>
<!-- z2 -->
<g id="node2" class="node">
<title>z2</title>
<ellipse fill="none" stroke="black" cx="287.79" cy="-73.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="287.79" cy="-73.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="287.79" y="-69.75" font-family="Times,serif" font-size="14.00">z2</text>
</g>
<!-- z0&#45;&gt;z2 -->
<g id="edge1" class="edge">
<title>z0&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M42.75,-108.53C87.73,-102.06 196.19,-86.47 252.13,-78.43"/>
<polygon fill="black" stroke="black" points="252.86,-81.86 262.26,-76.97 251.86,-74.93 252.86,-81.86"/>
<text text-anchor="middle" x="116.34" y="-104.25" font-family="Times,serif" font-size="14.00">&#39;b&#39;</text>
</g>
<!-- z3 -->
<g id="node3" class="node">
<title>z3</title>
<ellipse fill="none" stroke="black" cx="460.24" cy="-73.45" rx="21.4" ry="21.4"/>
<text text-anchor="middle" x="460.24" y="-69.75" font-family="Times,serif" font-size="14.00">z3</text>
</g>
<!-- z0&#45;&gt;z3 -->
<g id="edge2" class="edge">
<title>z0&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M42.27,-117.74C91.14,-132.3 221.03,-165.27 325.79,-140.45 365.96,-130.93 407.79,-107.33 433.67,-90.85"/>
<polygon fill="black" stroke="black" points="435.65,-93.74 442.13,-85.35 431.84,-87.87 435.65,-93.74"/>
<text text-anchor="middle" x="193.79" y="-152.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;c&#39;&#45;7f</text>
</g>
<!-- z1 -->
<g id="node4" class="node">
<title>z1</title>
<ellipse fill="none" stroke="black" cx="116.34" cy="-21.45" rx="21.4" ry="21.4"/>
<text text-anchor="middle" x="116.34" y="-17.75" font-family="Times,serif" font-size="14.00">z1</text>
</g>
<!-- z0&#45;&gt;z1 -->
<g id="edge3" class="edge">
<title>z0&#45;&gt;z1</title>
<path fill="none" stroke="black" d="M37.37,-96.99C52.41,-82.42 75.78,-59.78 93.02,-43.08"/>
<polygon fill="black" stroke="black" points="95.71,-45.34 100.46,-35.87 90.84,-40.32 95.71,-45.34"/>
<text text-anchor="middle" x="68.9" y="-75.25" font-family="Times,serif" font-size="14.00">&#39;a&#39;</text>
</g>
<!-- z2&#45;&gt;z2 -->
<g id="edge7" class="edge">
<title>z2&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M271.62,-93.56C268.03,-105.58 273.42,-116.9 287.79,-116.9 298.01,-116.9 303.69,-111.18 304.83,-103.55"/>
<polygon fill="black" stroke="black" points="308.31,-103.22 303.96,-93.56 301.34,-103.82 308.31,-103.22"/>
<text text-anchor="middle" x="287.79" y="-120.7" font-family="Times,serif" font-size="14.00">&#39;a&#39;</text>
</g>
<!-- z2&#45;&gt;z3 -->
<g id="edge8" class="edge">
<title>z2&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M313.58,-73.45C343.94,-73.45 395.38,-73.45 428.31,-73.45"/>
<polygon fill="black" stroke="black" points="428.71,-76.95 438.71,-73.45 428.71,-69.95 428.71,-76.95"/>
<text text-anchor="middle" x="382.29" y="-77.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;b&#39;&#45;7f</text>
</g>
<!-- z3&#45;&gt;z3 -->
<g id="edge9" class="edge">
<title>z3&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M447.12,-90.89C443.69,-102.1 448.07,-112.9 460.24,-112.9 468.61,-112.9 473.29,-107.79 474.29,-100.96"/>
<polygon fill="black" stroke="black" points="477.76,-100.53 473.36,-90.89 470.79,-101.17 477.76,-100.53"/>
<text text-anchor="middle" x="460.24" y="-116.7" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
<!-- z1&#45;&gt;z2 -->
<g id="edge6" class="edge">
<title>z1&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M137.11,-27.51C165.72,-36.29 219.01,-52.65 253.68,-63.29"/>
<polygon fill="black" stroke="black" points="252.77,-66.67 263.36,-66.26 254.83,-59.98 252.77,-66.67"/>
<text text-anchor="middle" x="193.79" y="-58.25" font-family="Times,serif" font-size="14.00">&#39;b&#39;</text>
</g>
<!-- z1&#45;&gt;z3 -->
<g id="edge4" class="edge">
<title>z1&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M137.98,-19.47C175.67,-16.36 258,-11.89 325.79,-24.45 363.45,-31.42 404.49,-47.95 430.97,-59.88"/>
<polygon fill="black" stroke="black" points="429.82,-63.2 440.37,-64.2 432.74,-56.84 429.82,-63.2"/>
<text text-anchor="middle" x="287.79" y="-28.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;c&#39;&#45;7f</text>
</g>
<!-- z1&#45;&gt;z1 -->
<g id="edge5" class="edge">
<title>z1&#45;&gt;z1</title>
<path fill="none" stroke="black" d="M108.02,-41.34C106.74,-51.62 109.52,-60.9 116.34,-60.9 120.72,-60.9 123.43,-57.09 124.48,-51.65"/>
<polygon fill="black" stroke="black" points="127.98,-51.4 124.67,-41.34 120.98,-51.27 127.98,-51.4"/>
<text text-anchor="middle" x="116.34" y="-64.7" font-family="Times,serif" font-size="14.00">&#39;a&#39;</text>
</g>
</g>
</svg>