|
<?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: graph Pages: 1 --> |
|
<svg width="682pt" height="153pt" |
|
viewBox="0.00 0.00 681.50 153.00" 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 149)"> |
|
<title>graph</title> |
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-149 677.5,-149 677.5,4 -4,4"/> |
|
<!-- N6 --> |
|
<g id="node1" class="node"> |
|
<title>N6</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="225,-145 0,-145 0,-85 225,-85 225,-145"/> |
|
<text text-anchor="middle" x="112.5" y="-131.4" font-family="Times,serif" font-size="12.00" fill="#000000">Room</text> |
|
<text text-anchor="middle" x="112.5" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_r, $NoBadEntry_r')</text> |
|
<text text-anchor="middle" x="112.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">currentKey: Key0</text> |
|
<text text-anchor="middle" x="112.5" y="-92.4" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key0, Key1, Key2</text> |
|
</g> |
|
<!-- N5 --> |
|
<g id="node2" class="node"> |
|
<title>N5</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="66.5,-36 12.5,-36 12.5,0 66.5,0 66.5,-36"/> |
|
<text text-anchor="middle" x="39.5" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key0</text> |
|
</g> |
|
<!-- N6->N5 --> |
|
<g id="edge1" class="edge"> |
|
<title>N6->N5</title> |
|
<path fill="none" stroke="#e41a1c" d="M38.24,-84.67C32.06,-79.64 26.61,-73.78 22.5,-67 18.53,-60.45 19.2,-52.84 21.81,-45.63"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="25.17,-46.72 26.34,-36.19 18.86,-43.7 25.17,-46.72"/> |
|
<text text-anchor="middle" x="56.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">currentKey</text> |
|
</g> |
|
<!-- N6->N5 --> |
|
<g id="edge3" class="edge"> |
|
<title>N6->N5</title> |
|
<path fill="none" stroke="#ff7f00" d="M105.83,-84.99C102.44,-74.5 97.51,-63.03 90.5,-54 86.21,-48.47 80.79,-43.49 75.11,-39.14"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="76.88,-36.1 66.69,-33.21 72.85,-41.83 76.88,-36.1"/> |
|
<text text-anchor="middle" x="112.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">keys</text> |
|
</g> |
|
<!-- N2 --> |
|
<g id="node4" class="node"> |
|
<title>N2</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="368,-36 243,-36 243,0 368,0 368,-36"/> |
|
<text text-anchor="middle" x="305.5" y="-21.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key1</text> |
|
<text text-anchor="middle" x="305.5" y="-8.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_k')</text> |
|
</g> |
|
<!-- N6->N2 --> |
|
<g id="edge4" class="edge"> |
|
<title>N6->N2</title> |
|
<path fill="none" stroke="#ff7f00" d="M171.46,-84.98C200.51,-70.68 234.94,-53.73 261.64,-40.59"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="263.31,-43.67 270.73,-36.11 260.22,-37.39 263.31,-43.67"/> |
|
<text text-anchor="middle" x="246.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">keys</text> |
|
</g> |
|
<!-- N1 --> |
|
<g id="node5" class="node"> |
|
<title>N1</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="224.5,-36 102.5,-36 102.5,0 224.5,0 224.5,-36"/> |
|
<text text-anchor="middle" x="163.5" y="-21.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key2</text> |
|
<text text-anchor="middle" x="163.5" y="-8.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_k)</text> |
|
</g> |
|
<!-- N6->N1 --> |
|
<g id="edge5" class="edge"> |
|
<title>N6->N1</title> |
|
<path fill="none" stroke="#ff7f00" d="M131.17,-84.99C134.73,-79.11 138.33,-72.92 141.5,-67 145.19,-60.11 148.86,-52.49 152.11,-45.38"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="155.36,-46.69 156.26,-36.13 148.98,-43.82 155.36,-46.69"/> |
|
<text text-anchor="middle" x="162.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">keys</text> |
|
</g> |
|
<!-- N4 --> |
|
<g id="node3" class="node"> |
|
<title>N4</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="368,-138.5 243,-138.5 243,-91.5 368,-91.5 368,-138.5"/> |
|
<text text-anchor="middle" x="305.5" y="-124.9" font-family="Times,serif" font-size="12.00" fill="#000000">Guest0</text> |
|
<text text-anchor="middle" x="305.5" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_g')</text> |
|
<text text-anchor="middle" x="305.5" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key1</text> |
|
</g> |
|
<!-- N4->N2 --> |
|
<g id="edge2" class="edge"> |
|
<title>N4->N2</title> |
|
<path fill="none" stroke="#a65628" d="M305.5,-91.49C305.5,-77.93 305.5,-60.58 305.5,-46.26"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="309,-46 305.5,-36 302,-46 309,-46"/> |
|
<text text-anchor="middle" x="319.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#a65628">keys</text> |
|
</g> |
|
<!-- N3 --> |
|
<g id="node6" class="node"> |
|
<title>N3</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="533,-133 386,-133 386,-97 533,-97 533,-133"/> |
|
<text text-anchor="middle" x="459.5" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">FrontDesk</text> |
|
<text text-anchor="middle" x="459.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">lastKey: Room->Key1</text> |
|
</g> |
|
<!-- N3->N2 --> |
|
<g id="edge6" class="edge"> |
|
<title>N3->N2</title> |
|
<path fill="none" stroke="#4daf4a" d="M431.61,-96.8C406.43,-81.26 369.21,-58.3 341.73,-41.35"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="343.53,-38.35 333.18,-36.08 339.85,-44.3 343.53,-38.35"/> |
|
<text text-anchor="middle" x="429" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">lastKey [Room]</text> |
|
</g> |
|
<!-- N0 --> |
|
<g id="node7" class="node"> |
|
<title>N0</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="673.5,-133 551.5,-133 551.5,-97 673.5,-97 673.5,-133"/> |
|
<text text-anchor="middle" x="612.5" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">Guest1</text> |
|
<text text-anchor="middle" x="612.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_g)</text> |
|
</g> |
|
</g> |
|
</svg> |