learning_tla/learn_tla/topics/StateChart.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 12.2.1 (20241206.2353)
 -->
<!-- Title: DiskGraph Pages: 1 -->
<svg width="536pt" height="342pt"
 viewBox="0.00 0.00 535.87 341.50" 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 337.5)">
<title>DiskGraph</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-337.5 531.87,-337.5 531.87,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_graph</title>
<polygon fill="none" stroke="white" points="8,-8 8,-325.5 510,-325.5 510,-8 8,-8"/>
</g>
<!-- &#45;4289259265570925633 -->
<g id="node1" class="node">
<title>&#45;4289259265570925633</title>
<ellipse fill="lightgrey" stroke="black" cx="339" cy="-299.5" rx="75.41" ry="18"/>
<text text-anchor="middle" x="339" y="-294.45" font-family="Times,serif" font-size="14.00">state = &quot;LogOut&quot;</text>
</g>
<!-- 8952736835041495855 -->
<g id="node2" class="node">
<title>8952736835041495855</title>
<ellipse fill="none" stroke="black" cx="278" cy="-211" rx="66.71" ry="18"/>
<text text-anchor="middle" x="278" y="-205.95" font-family="Times,serif" font-size="14.00">state = &quot;Main&quot;</text>
</g>
<!-- &#45;4289259265570925633&#45;&gt;8952736835041495855 -->
<g id="edge1" class="edge">
<title>&#45;4289259265570925633&#45;&gt;8952736835041495855</title>
<path fill="none" stroke="#1f78b4" d="M330.53,-281.21C325.18,-270.92 317.82,-257.8 310,-247 307.66,-243.77 305.06,-240.51 302.38,-237.34"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="305.04,-235.06 295.78,-229.91 299.8,-239.71 305.04,-235.06"/>
<text text-anchor="middle" x="335.99" y="-250.2" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 8952736835041495855&#45;&gt;&#45;4289259265570925633 -->
<g id="edge3" class="edge">
<title>8952736835041495855&#45;&gt;&#45;4289259265570925633</title>
<path fill="none" stroke="#1f78b4" d="M271.44,-229.39C268.6,-239.96 267.15,-253.34 273.25,-263.5 276.7,-269.25 281.46,-274.11 286.85,-278.2"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="284.83,-281.06 295.12,-283.56 288.63,-275.19 284.83,-281.06"/>
<text text-anchor="middle" x="288.62" y="-250.2" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 1210785213068802333 -->
<g id="node3" class="node">
<title>1210785213068802333</title>
<ellipse fill="none" stroke="black" cx="399" cy="-122.5" rx="76.43" ry="18"/>
<text text-anchor="middle" x="399" y="-117.45" font-family="Times,serif" font-size="14.00">state = &quot;Settings&quot;</text>
</g>
<!-- 8952736835041495855&#45;&gt;1210785213068802333 -->
<g id="edge2" class="edge">
<title>8952736835041495855&#45;&gt;1210785213068802333</title>
<path fill="none" stroke="#1f78b4" d="M288.9,-192.94C296.6,-181.97 307.74,-168.03 320.25,-158.5 328.21,-152.44 337.38,-147.16 346.58,-142.66"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="347.92,-145.9 355.56,-138.55 345.01,-139.53 347.92,-145.9"/>
<text text-anchor="middle" x="335.62" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 19344368829915133 -->
<g id="node4" class="node">
<title>19344368829915133</title>
<ellipse fill="none" stroke="black" cx="92" cy="-122.5" rx="76.43" ry="18"/>
<text text-anchor="middle" x="92" y="-117.45" font-family="Times,serif" font-size="14.00">state = &quot;Report1&quot;</text>
</g>
<!-- 8952736835041495855&#45;&gt;19344368829915133 -->
<g id="edge4" class="edge">
<title>8952736835041495855&#45;&gt;19344368829915133</title>
<path fill="none" stroke="#1f78b4" d="M223.42,-200.27C200.56,-194.83 174.25,-186.72 152.25,-175 139.16,-168.03 126.4,-157.79 116.03,-148.28"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="118.67,-145.96 109.01,-141.59 113.84,-151.03 118.67,-145.96"/>
<text text-anchor="middle" x="167.62" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 1210785213068802333&#45;&gt;&#45;4289259265570925633 -->
<g id="edge6" class="edge">
<title>1210785213068802333&#45;&gt;&#45;4289259265570925633</title>
<path fill="none" stroke="#1f78b4" d="M405.7,-140.82C408.68,-150.88 410.93,-163.76 408,-175 398.53,-211.35 375.75,-248.34 358.95,-272.24"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="356.28,-269.95 353.27,-280.11 361.96,-274.04 356.28,-269.95"/>
<text text-anchor="middle" x="417.59" y="-205.95" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 1210785213068802333&#45;&gt;8952736835041495855 -->
<g id="edge5" class="edge">
<title>1210785213068802333&#45;&gt;8952736835041495855</title>
<path fill="none" stroke="#1f78b4" d="M386.78,-140.43C378.25,-151.35 366.09,-165.27 353,-175 344.87,-181.04 335.54,-186.41 326.27,-191.02"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="324.84,-187.82 317.28,-195.24 327.82,-194.16 324.84,-187.82"/>
<text text-anchor="middle" x="386.61" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 1210785213068802333&#45;&gt;19344368829915133 -->
<g id="edge7" class="edge">
<title>1210785213068802333&#45;&gt;19344368829915133</title>
<path fill="none" stroke="#1f78b4" d="M368.03,-139.37C347.07,-149.8 318.39,-162.19 291.38,-167.62 237.83,-178.4 176.62,-159.91 136.3,-143.45"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="137.73,-140.25 127.15,-139.59 135,-146.7 137.73,-140.25"/>
<text text-anchor="middle" x="276" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 19344368829915133&#45;&gt;&#45;4289259265570925633 -->
<g id="edge8" class="edge">
<title>19344368829915133&#45;&gt;&#45;4289259265570925633</title>
<path fill="none" stroke="#1f78b4" d="M100.07,-140.71C111.85,-164.02 135.93,-205.44 168.25,-229 201.51,-253.24 244.43,-270.67 278.92,-282.01"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="277.77,-285.31 288.36,-285.01 279.9,-278.64 277.77,-285.31"/>
<text text-anchor="middle" x="183.62" y="-205.95" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 19344368829915133&#45;&gt;8952736835041495855 -->
<g id="edge11" class="edge">
<title>19344368829915133&#45;&gt;8952736835041495855</title>
<path fill="none" stroke="#1f78b4" d="M134.2,-137.91C150.31,-143.79 168.71,-150.97 185,-158.5 195.94,-163.56 219.93,-176.86 240.8,-188.68"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="238.99,-191.67 249.41,-193.57 242.45,-185.59 238.99,-191.67"/>
<text text-anchor="middle" x="229.92" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- 19344368829915133&#45;&gt;19344368829915133 -->
<g id="edge9" class="edge">
<title>19344368829915133&#45;&gt;19344368829915133</title>
<path fill="none" stroke="#1f78b4" d="M160.74,-130.74C179.31,-130.3 193.43,-127.56 193.43,-122.5 193.43,-118.55 184.81,-116.01 172.18,-114.88"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="172.43,-111.39 162.25,-114.35 172.05,-118.38 172.43,-111.39"/>
<text text-anchor="middle" x="208.81" y="-117.45" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- &#45;4540766728437542166 -->
<g id="node5" class="node">
<title>&#45;4540766728437542166</title>
<ellipse fill="none" stroke="black" cx="238" cy="-34" rx="76.43" ry="18"/>
<text text-anchor="middle" x="238" y="-28.95" font-family="Times,serif" font-size="14.00">state = &quot;Report2&quot;</text>
</g>
<!-- 19344368829915133&#45;&gt;&#45;4540766728437542166 -->
<g id="edge10" class="edge">
<title>19344368829915133&#45;&gt;&#45;4540766728437542166</title>
<path fill="none" stroke="#1f78b4" d="M119.46,-105.23C142.51,-91.58 175.63,-71.95 201.01,-56.92"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="202.54,-60.08 209.36,-51.97 198.97,-54.05 202.54,-60.08"/>
<text text-anchor="middle" x="193.45" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- &#45;4540766728437542166&#45;&gt;&#45;4289259265570925633 -->
<g id="edge12" class="edge">
<title>&#45;4540766728437542166&#45;&gt;&#45;4289259265570925633</title>
<path fill="none" stroke="#1f78b4" d="M302.39,-43.98C368.75,-54.71 465.58,-75 488,-104.5 535.61,-167.15 436.25,-240.73 377.73,-276.61"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="376.08,-273.51 369.31,-281.67 379.69,-279.51 376.08,-273.51"/>
<text text-anchor="middle" x="512.49" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- &#45;4540766728437542166&#45;&gt;8952736835041495855 -->
<g id="edge14" class="edge">
<title>&#45;4540766728437542166&#45;&gt;8952736835041495855</title>
<path fill="none" stroke="#1f78b4" d="M238.94,-52.22C240.79,-79.05 246.03,-132.2 260,-175 260.84,-177.58 261.85,-180.19 262.96,-182.78"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="259.75,-184.17 267.24,-191.66 266.06,-181.13 259.75,-184.17"/>
<text text-anchor="middle" x="266.03" y="-117.45" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
<!-- &#45;4540766728437542166&#45;&gt;19344368829915133 -->
<g id="edge13" class="edge">
<title>&#45;4540766728437542166&#45;&gt;19344368829915133</title>
<path fill="none" stroke="#1f78b4" d="M171.37,-43.04C151.53,-48.14 130.93,-56.46 115.25,-70 108.05,-76.22 102.96,-85.12 99.43,-93.78"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="96.21,-92.38 96.23,-102.97 102.82,-94.68 96.21,-92.38"/>
<text text-anchor="middle" x="130.62" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Trans</text>
</g>
</g>
</svg>