|
<?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="713pt" height="249pt" |
|
viewBox="0.00 0.00 712.50 249.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 245)"> |
|
<title>graph</title> |
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-245 708.5,-245 708.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="140.5,-36 86.5,-36 86.5,0 140.5,0 140.5,-36"/> |
|
<text text-anchor="middle" x="113.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="M115.74,-84.72C116.47,-74.95 116.93,-64.01 116.5,-54 116.39,-51.44 116.24,-48.78 116.05,-46.12"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="119.54,-45.76 115.26,-36.07 112.56,-46.32 119.54,-45.76"/> |
|
<text text-anchor="middle" x="151.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">currentKey</text> |
|
</g> |
|
<!-- N6->N5 --> |
|
<g id="edge4" class="edge"> |
|
<title>N6->N5</title> |
|
<path fill="none" stroke="#ff7f00" d="M88.81,-84.85C83.7,-75.18 80.8,-64.27 84.5,-54 85.69,-50.71 87.33,-47.51 89.24,-44.46"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="92.09,-46.5 95.16,-36.36 86.44,-42.37 92.09,-46.5"/> |
|
<text text-anchor="middle" x="98.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">keys</text> |
|
</g> |
|
<!-- N3 --> |
|
<g id="node4" class="node"> |
|
<title>N3</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="431.5,-36 201.5,-36 201.5,0 431.5,0 431.5,-36"/> |
|
<text text-anchor="middle" x="316.5" y="-21.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key1</text> |
|
<text text-anchor="middle" x="316.5" y="-8.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_k, $NoBadEntry_k')</text> |
|
</g> |
|
<!-- N6->N3 --> |
|
<g id="edge5" class="edge"> |
|
<title>N6->N3</title> |
|
<path fill="none" stroke="#ff7f00" d="M174.82,-84.98C205.66,-70.62 242.24,-53.58 270.51,-40.42"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="272.17,-43.51 279.75,-36.11 269.21,-37.16 272.17,-43.51"/> |
|
<text text-anchor="middle" x="253.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">keys</text> |
|
</g> |
|
<!-- N0 --> |
|
<g id="node6" class="node"> |
|
<title>N0</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="559.5,-36 505.5,-36 505.5,0 559.5,0 559.5,-36"/> |
|
<text text-anchor="middle" x="532.5" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key2</text> |
|
</g> |
|
<!-- N6->N0 --> |
|
<g id="edge6" class="edge"> |
|
<title>N6->N0</title> |
|
<path fill="none" stroke="#ff7f00" d="M218.35,-84.87C236.23,-79.34 254.49,-73.29 271.5,-67 284.75,-62.1 286.9,-57.83 300.5,-54 360.88,-36.99 378.52,-45.7 440.5,-36 458.57,-33.17 478.55,-29.54 495.26,-26.36"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="496.03,-29.78 505.19,-24.45 494.71,-22.9 496.03,-29.78"/> |
|
<text text-anchor="middle" x="314.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="473.5,-138.5 243.5,-138.5 243.5,-91.5 473.5,-91.5 473.5,-138.5"/> |
|
<text text-anchor="middle" x="358.5" y="-124.9" font-family="Times,serif" font-size="12.00" fill="#000000">Guest0</text> |
|
<text text-anchor="middle" x="358.5" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_g, $NoBadEntry_g')</text> |
|
<text text-anchor="middle" x="358.5" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key1</text> |
|
</g> |
|
<!-- N4->N3 --> |
|
<g id="edge2" class="edge"> |
|
<title>N4->N3</title> |
|
<path fill="none" stroke="#a65628" d="M348.85,-91.44C344,-80.17 337.99,-66.34 332.5,-54 331.24,-51.16 329.9,-48.2 328.57,-45.25"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="331.71,-43.71 324.38,-36.06 325.34,-46.61 331.71,-43.71"/> |
|
<text text-anchor="middle" x="352.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#a65628">keys</text> |
|
</g> |
|
<!-- N1 --> |
|
<g id="node5" class="node"> |
|
<title>N1</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="573,-133 492,-133 492,-97 573,-97 573,-133"/> |
|
<text text-anchor="middle" x="532.5" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">Guest1</text> |
|
<text text-anchor="middle" x="532.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key2</text> |
|
</g> |
|
<!-- N1->N0 --> |
|
<g id="edge3" class="edge"> |
|
<title>N1->N0</title> |
|
<path fill="none" stroke="#a65628" d="M532.5,-96.58C532.5,-82.65 532.5,-62.86 532.5,-46.76"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="536,-46.31 532.5,-36.31 529,-46.31 536,-46.31"/> |
|
<text text-anchor="middle" x="546.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#a65628">keys</text> |
|
</g> |
|
<!-- N2 --> |
|
<g id="node7" class="node"> |
|
<title>N2</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="655.5,-241 485.5,-241 485.5,-194 655.5,-194 655.5,-241"/> |
|
<text text-anchor="middle" x="570.5" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">FrontDesk</text> |
|
<text text-anchor="middle" x="570.5" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">lastKey: Room->Key2</text> |
|
<text text-anchor="middle" x="570.5" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">occupant: Room->Guest1</text> |
|
</g> |
|
<!-- N2->N1 --> |
|
<g id="edge8" class="edge"> |
|
<title>N2->N1</title> |
|
<path fill="none" stroke="#377eb8" d="M527.41,-193.85C521.41,-188.8 516.08,-182.86 512.5,-176 506.96,-165.38 509.77,-152.92 514.82,-142.12"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="518,-143.6 519.68,-133.13 511.85,-140.26 518,-143.6"/> |
|
<text text-anchor="middle" x="564.5" y="-166.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">occupant [Room]</text> |
|
</g> |
|
<!-- N2->N0 --> |
|
<g id="edge7" class="edge"> |
|
<title>N2->N0</title> |
|
<path fill="none" stroke="#4daf4a" d="M603.67,-193.72C608.88,-188.54 613.52,-182.59 616.5,-176 618.88,-170.73 617.68,-168.66 616.5,-163 605.55,-110.45 596.27,-97.26 564.5,-54 561.98,-50.57 559.17,-47.09 556.29,-43.73"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="558.82,-41.31 549.55,-36.17 553.59,-45.96 558.82,-41.31"/> |
|
<text text-anchor="middle" x="658" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#4daf4a">lastKey [Room]</text> |
|
</g> |
|
</g> |
|
</svg> |