alexander/configotron
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Build Statemachine Creationg for lower bound number

Browse Source
This commit is contained in:
AlexanderHD27
2025-06-07 03:01:00 +02:00
parent 1a74f6a735
commit 1f399905a6
18 changed files with 2278 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
tests/ref/state_elimitiation_after.svg Normal file
View File

@@ -0,0 +1,76 @@
<?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="347pt" height="164pt"
viewBox="0.00 0.00 346.69 163.90" 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 159.9)">
<title>root</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-159.9 342.69,-159.9 342.69,4 -4,4"/>
<!-- z0 -->
<g id="node1" class="node">
<title>z0</title>
<ellipse fill="none" stroke="black" cx="25.45" cy="-59.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="25.45" cy="-59.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="25.45" y="-55.75" font-family="Times,serif" font-size="14.00">z0</text>
</g>
<!-- z1 -->
<g id="node2" class="node">
<title>z1</title>
<ellipse fill="none" stroke="black" cx="149.34" cy="-59.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="149.34" cy="-59.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="149.34" y="-55.75" font-family="Times,serif" font-size="14.00">z1</text>
</g>
<!-- z0&#45;&gt;z1 -->
<g id="edge1" class="edge">
<title>z0&#45;&gt;z1</title>
<path fill="none" stroke="black" d="M51.12,-59.45C69.04,-59.45 93.55,-59.45 113.48,-59.45"/>
<polygon fill="black" stroke="black" points="113.71,-62.95 123.71,-59.45 113.71,-55.95 113.71,-62.95"/>
<text text-anchor="middle" x="87.4" y="-63.25" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
<!-- z2 -->
<g id="node3" class="node">
<title>z2</title>
<ellipse fill="none" stroke="black" cx="313.24" cy="-97.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="313.24" cy="-97.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="313.24" y="-93.75" font-family="Times,serif" font-size="14.00">z2</text>
</g>
<!-- z1&#45;&gt;z2 -->
<g id="edge2" class="edge">
<title>z1&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M174.03,-67.12C180.12,-68.97 186.67,-70.87 192.79,-72.45 221.21,-79.76 253.84,-86.48 277.81,-91.1"/>
<polygon fill="black" stroke="black" points="277.36,-94.58 287.84,-93.01 278.67,-87.7 277.36,-94.58"/>
<text text-anchor="middle" x="231.29" y="-93.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;`&#39;,&#39;{&#39;&#45;7f</text>
</g>
<!-- z3 -->
<g id="node4" class="node">
<title>z3</title>
<ellipse fill="none" stroke="black" cx="313.24" cy="-25.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="313.24" cy="-25.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="313.24" y="-21.75" font-family="Times,serif" font-size="14.00">z3</text>
</g>
<!-- z1&#45;&gt;z3 -->
<g id="edge3" class="edge">
<title>z1&#45;&gt;z3</title>
<path fill="none" stroke="black" d="M174.73,-55.64C198.97,-51.7 237.14,-45.05 269.79,-37.45 272.75,-36.76 275.82,-35.99 278.88,-35.19"/>
<polygon fill="black" stroke="black" points="279.81,-38.57 288.54,-32.57 277.98,-31.81 279.81,-38.57"/>
<text text-anchor="middle" x="231.29" y="-57.25" font-family="Times,serif" font-size="14.00">&#39;a&#39;&#45;&#39;z&#39;</text>
</g>
<!-- z2&#45;&gt;z2 -->
<g id="edge4" class="edge">
<title>z2&#45;&gt;z2</title>
<path fill="none" stroke="black" d="M298.86,-118.91C296.42,-130.41 301.21,-140.9 313.24,-140.9 321.51,-140.9 326.36,-135.94 327.79,-129.11"/>
<polygon fill="black" stroke="black" points="331.29,-128.85 327.62,-118.91 324.29,-128.97 331.29,-128.85"/>
<text text-anchor="middle" x="313.24" y="-144.7" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
<!-- z3&#45;&gt;z1 -->
<g id="edge5" class="edge">
<title>z3&#45;&gt;z1</title>
<path fill="none" stroke="black" d="M288.37,-18.21C263.54,-11.99 223.99,-5.84 192.79,-18.45 185.31,-21.47 178.42,-26.51 172.45,-32.05"/>
<polygon fill="black" stroke="black" points="169.94,-29.62 165.43,-39.21 174.93,-34.52 169.94,-29.62"/>
<text text-anchor="middle" x="231.29" y="-22.25" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 4.0 KiB