states.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.49.1 (20210923.0004)
 -->
<!-- Title: states Pages: 1 -->
<svg width="216pt" height="54pt"
 viewBox="0.00 0.00 216.00 53.92" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(0.43 0.43) rotate(0) translate(4 121)">
<title>states</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-121 496.78,-121 496.78,4 -4,4"/>
<!-- empty -->
<g id="node1" class="node">
<title>empty</title>
<ellipse fill="none" stroke="black" cx="35.1" cy="-18" rx="35.19" ry="18"/>
<text text-anchor="middle" x="35.1" y="-14.3" font-family="Times,serif" font-size="14.00">Empty</text>
</g>
<!-- stolen -->
<g id="node2" class="node">
<title>stolen</title>
<ellipse fill="none" stroke="black" cx="186.99" cy="-48" rx="33.6" ry="18"/>
<text text-anchor="middle" x="186.99" y="-44.3" font-family="Times,serif" font-size="14.00">Stolen</text>
</g>
<!-- empty&#45;&gt;stolen -->
<g id="edge2" class="edge">
<title>empty&#45;&gt;stolen</title>
<path fill="none" stroke="black" d="M68.25,-24.44C90.76,-28.94 121.01,-34.99 145.21,-39.84"/>
<polygon fill="black" stroke="black" points="144.68,-43.3 155.17,-41.83 146.05,-36.44 144.68,-43.3"/>
<text text-anchor="middle" x="111.69" y="-40.8" font-family="Times,serif" font-size="14.00">dispatch</text>
</g>
<!-- full -->
<g id="node4" class="node">
<title>full</title>
<ellipse fill="none" stroke="black" cx="465.78" cy="-48" rx="27" ry="18"/>
<text text-anchor="middle" x="465.78" y="-44.3" font-family="Times,serif" font-size="14.00">Full</text>
</g>
<!-- empty&#45;&gt;full -->
<g id="edge1" class="edge">
<title>empty&#45;&gt;full</title>
<path fill="none" stroke="black" d="M70.51,-17.59C107.64,-17.38 168.46,-17.69 220.79,-21 295.13,-25.71 381.69,-36.57 429.14,-42.99"/>
<polygon fill="black" stroke="black" points="428.82,-46.48 439.21,-44.37 429.77,-39.55 428.82,-46.48"/>
<text text-anchor="middle" x="255.79" y="-27.8" font-family="Times,serif" font-size="14.00">return</text>
</g>
<!-- waiting -->
<g id="node3" class="node">
<title>waiting</title>
<ellipse fill="none" stroke="black" cx="329.78" cy="-99" rx="38.99" ry="18"/>
<text text-anchor="middle" x="329.78" y="-95.3" font-family="Times,serif" font-size="14.00">Waiting</text>
</g>
<!-- stolen&#45;&gt;waiting -->
<g id="edge4" class="edge">
<title>stolen&#45;&gt;waiting</title>
<path fill="none" stroke="black" d="M215.47,-57.95C236.34,-65.51 265.34,-76.02 288.78,-84.51"/>
<polygon fill="black" stroke="black" points="287.85,-87.89 298.44,-88.01 290.23,-81.31 287.85,-87.89"/>
<text text-anchor="middle" x="255.79" y="-81.8" font-family="Times,serif" font-size="14.00">touch</text>
</g>
<!-- stolen&#45;&gt;full -->
<g id="edge3" class="edge">
<title>stolen&#45;&gt;full</title>
<path fill="none" stroke="black" d="M220.83,-48C272.92,-48 374.13,-48 428.37,-48"/>
<polygon fill="black" stroke="black" points="428.56,-51.5 438.56,-48 428.56,-44.5 428.56,-51.5"/>
<text text-anchor="middle" x="329.78" y="-51.8" font-family="Times,serif" font-size="14.00">return</text>
</g>
<!-- waiting&#45;&gt;full -->
<g id="edge5" class="edge">
<title>waiting&#45;&gt;full</title>
<path fill="none" stroke="black" d="M360.52,-87.68C381.78,-79.59 410.39,-68.7 432.26,-60.38"/>
<polygon fill="black" stroke="black" points="433.68,-63.58 441.78,-56.75 431.19,-57.04 433.68,-63.58"/>
<text text-anchor="middle" x="403.78" y="-79.8" font-family="Times,serif" font-size="14.00">return</text>
</g>
</g>
</svg>