|
<?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="802pt" height="262pt" |
|
viewBox="0.00 0.00 801.50 262.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 258)"> |
|
<title>graph</title> |
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-258 797.5,-258 797.5,4 -4,4"/> |
|
<!-- N9 --> |
|
<g id="node1" class="node"> |
|
<title>N9</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="475.5,-132 319.5,-132 319.5,-85 475.5,-85 475.5,-132"/> |
|
<text text-anchor="middle" x="397.5" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">Room</text> |
|
<text text-anchor="middle" x="397.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">currentKey: Key0</text> |
|
<text text-anchor="middle" x="397.5" y="-92.4" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key0, Key1, Key4</text> |
|
</g> |
|
<!-- N7 --> |
|
<g id="node2" class="node"> |
|
<title>N7</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="263.5,-36 209.5,-36 209.5,0 263.5,0 263.5,-36"/> |
|
<text text-anchor="middle" x="236.5" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key0</text> |
|
</g> |
|
<!-- N9->N7 --> |
|
<g id="edge1" class="edge"> |
|
<title>N9->N7</title> |
|
<path fill="none" stroke="#e41a1c" d="M356.46,-84.94C330.57,-70.71 297.45,-52.5 272.57,-38.83"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="274.26,-35.76 263.81,-34.01 270.88,-41.89 274.26,-35.76"/> |
|
<text text-anchor="middle" x="356.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">currentKey</text> |
|
</g> |
|
<!-- N9->N7 --> |
|
<g id="edge9" class="edge"> |
|
<title>N9->N7</title> |
|
<path fill="none" stroke="#4daf4a" d="M319.17,-86.56C298.75,-80.16 280.07,-73.19 271.5,-67 263.4,-61.14 256.41,-52.84 250.86,-44.78"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="253.75,-42.8 245.41,-36.26 247.85,-46.57 253.75,-42.8"/> |
|
<text text-anchor="middle" x="285.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">keys</text> |
|
</g> |
|
<!-- N3 --> |
|
<g id="node9" class="node"> |
|
<title>N3</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="430.5,-36 376.5,-36 376.5,0 430.5,0 430.5,-36"/> |
|
<text text-anchor="middle" x="403.5" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key1</text> |
|
</g> |
|
<!-- N9->N3 --> |
|
<g id="edge10" class="edge"> |
|
<title>N9->N3</title> |
|
<path fill="none" stroke="#4daf4a" d="M399.05,-84.71C399.84,-72.98 400.81,-58.61 401.65,-46.29"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="405.15,-46.34 402.34,-36.12 398.17,-45.86 405.15,-46.34"/> |
|
<text text-anchor="middle" x="415.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">keys</text> |
|
</g> |
|
<!-- N2 --> |
|
<g id="node10" class="node"> |
|
<title>N2</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="593.5,-36 539.5,-36 539.5,0 593.5,0 593.5,-36"/> |
|
<text text-anchor="middle" x="566.5" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key4</text> |
|
</g> |
|
<!-- N9->N2 --> |
|
<g id="edge11" class="edge"> |
|
<title>N9->N2</title> |
|
<path fill="none" stroke="#4daf4a" d="M440.58,-84.94C468.4,-70.37 504.18,-51.64 530.48,-37.86"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="532.13,-40.95 539.36,-33.21 528.88,-34.75 532.13,-40.95"/> |
|
<text text-anchor="middle" x="510.5" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">keys</text> |
|
</g> |
|
<!-- N12 --> |
|
<g id="node3" class="node"> |
|
<title>N12</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="494,-254 345,-254 345,-181 494,-181 494,-254"/> |
|
<text text-anchor="middle" x="419.5" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin0</text> |
|
<text text-anchor="middle" x="419.5" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e, pre)</text> |
|
<text text-anchor="middle" x="419.5" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="419.5" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="419.5" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N12->N9 --> |
|
<g id="edge13" class="edge"> |
|
<title>N12->N9</title> |
|
<path fill="none" stroke="#984ea3" d="M412.17,-180.87C409.6,-168.33 406.71,-154.31 404.19,-142.04"/> |
|
<polygon fill="#984ea3" stroke="#984ea3" points="407.61,-141.31 402.17,-132.22 400.76,-142.72 407.61,-141.31"/> |
|
<text text-anchor="middle" x="425" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#984ea3">room</text> |
|
</g> |
|
<!-- N5 --> |
|
<g id="node4" class="node"> |
|
<title>N5</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="224,-126.5 165,-126.5 165,-90.5 224,-90.5 224,-126.5"/> |
|
<text text-anchor="middle" x="194.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">Guest0</text> |
|
</g> |
|
<!-- N12->N5 --> |
|
<g id="edge2" class="edge"> |
|
<title>N12->N5</title> |
|
<path fill="none" stroke="#a65628" d="M344.79,-184.83C321.28,-174.81 299.98,-165.63 294.5,-163 274,-153.15 251.65,-141.3 233.28,-131.26"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="234.79,-128.1 224.34,-126.34 231.42,-134.23 234.79,-128.1"/> |
|
<text text-anchor="middle" x="311" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N12->N3 --> |
|
<g id="edge6" class="edge"> |
|
<title>N12->N3</title> |
|
<path fill="none" stroke="#ff7f00" d="M457.75,-180.82C489.62,-146.66 525.62,-94.48 497.5,-54 484.75,-35.65 461.16,-26.9 440.81,-22.74"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="441.29,-19.27 430.84,-21 440.09,-26.17 441.29,-19.27"/> |
|
<text text-anchor="middle" x="518.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N11 --> |
|
<g id="node5" class="node"> |
|
<title>N11</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="649.5,-247.5 551.5,-247.5 551.5,-187.5 649.5,-187.5 649.5,-247.5"/> |
|
<text text-anchor="middle" x="600.5" y="-233.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin1</text> |
|
<text text-anchor="middle" x="600.5" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest1</text> |
|
<text text-anchor="middle" x="600.5" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key4</text> |
|
<text text-anchor="middle" x="600.5" y="-194.9" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N11->N9 --> |
|
<g id="edge14" class="edge"> |
|
<title>N11->N9</title> |
|
<path fill="none" stroke="#984ea3" d="M551.36,-190.6C520.49,-174.33 480.73,-153.37 449.37,-136.84"/> |
|
<polygon fill="#984ea3" stroke="#984ea3" points="450.82,-133.65 440.34,-132.08 447.55,-139.84 450.82,-133.65"/> |
|
<text text-anchor="middle" x="515" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#984ea3">room</text> |
|
</g> |
|
<!-- N4 --> |
|
<g id="node6" class="node"> |
|
<title>N4</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="621,-126.5 562,-126.5 562,-90.5 621,-90.5 621,-126.5"/> |
|
<text text-anchor="middle" x="591.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">Guest1</text> |
|
</g> |
|
<!-- N11->N4 --> |
|
<g id="edge3" class="edge"> |
|
<title>N11->N4</title> |
|
<path fill="none" stroke="#a65628" d="M598.04,-187.26C596.71,-171.48 595.08,-152.11 593.78,-136.66"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="597.27,-136.35 592.94,-126.68 590.3,-136.93 597.27,-136.35"/> |
|
<text text-anchor="middle" x="612" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N11->N2 --> |
|
<g id="edge7" class="edge"> |
|
<title>N11->N2</title> |
|
<path fill="none" stroke="#ff7f00" d="M621.81,-187.24C626.21,-179.7 630.19,-171.35 632.5,-163 637.36,-145.39 651.99,-135.77 630.5,-85 623.6,-68.69 610.65,-54.12 598.2,-42.84"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="600.43,-40.14 590.57,-36.26 595.86,-45.44 600.43,-40.14"/> |
|
<text text-anchor="middle" x="652.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N6 --> |
|
<g id="node7" class="node"> |
|
<title>N6</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="168.5,-235.5 70.5,-235.5 70.5,-199.5 168.5,-199.5 168.5,-235.5"/> |
|
<text text-anchor="middle" x="119.5" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkout</text> |
|
<text text-anchor="middle" x="119.5" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
</g> |
|
<!-- N6->N5 --> |
|
<g id="edge4" class="edge"> |
|
<title>N6->N5</title> |
|
<path fill="none" stroke="#a65628" d="M120.93,-199.31C122.82,-185.02 127.24,-164.72 137.5,-150 140.72,-145.38 149.1,-138.78 158.47,-132.26"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="160.53,-135.09 166.86,-126.59 156.61,-129.29 160.53,-135.09"/> |
|
<text text-anchor="middle" x="154" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N10 --> |
|
<g id="node8" class="node"> |
|
<title>N10</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="327,-254 202,-254 202,-181 327,-181 327,-254"/> |
|
<text text-anchor="middle" x="264.5" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Entry</text> |
|
<text text-anchor="middle" x="264.5" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e')</text> |
|
<text text-anchor="middle" x="264.5" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="264.5" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="264.5" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N10->N9 --> |
|
<g id="edge15" class="edge"> |
|
<title>N10->N9</title> |
|
<path fill="none" stroke="#984ea3" d="M308.79,-180.87C325.78,-167.2 344.95,-151.78 361.11,-138.77"/> |
|
<polygon fill="#984ea3" stroke="#984ea3" points="363.67,-141.21 369.26,-132.22 359.28,-135.76 363.67,-141.21"/> |
|
<text text-anchor="middle" x="364" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#984ea3">room</text> |
|
</g> |
|
<!-- N10->N5 --> |
|
<g id="edge5" class="edge"> |
|
<title>N10->N5</title> |
|
<path fill="none" stroke="#a65628" d="M201.91,-189.78C191.73,-182.6 182.55,-173.75 176.5,-163 171.72,-154.5 173.37,-144.54 177.18,-135.52"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="180.32,-137.07 181.75,-126.57 174.08,-133.89 180.32,-137.07"/> |
|
<text text-anchor="middle" x="193" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">guest</text> |
|
</g> |
|
<!-- N10->N3 --> |
|
<g id="edge8" class="edge"> |
|
<title>N10->N3</title> |
|
<path fill="none" stroke="#ff7f00" d="M267.66,-180.75C272.15,-138.39 281.86,-71.35 299.5,-54 317.32,-36.47 344.2,-27.71 366.16,-23.34"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="366.93,-26.76 376.17,-21.58 365.72,-19.87 366.93,-26.76"/> |
|
<text text-anchor="middle" x="295.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N8 --> |
|
<g id="node11" class="node"> |
|
<title>N8</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="147,-126.5 0,-126.5 0,-90.5 147,-90.5 147,-126.5"/> |
|
<text text-anchor="middle" x="73.5" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">FrontDesk</text> |
|
<text text-anchor="middle" x="73.5" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">lastKey: Room->Key0</text> |
|
</g> |
|
<!-- N8->N7 --> |
|
<g id="edge12" class="edge"> |
|
<title>N8->N7</title> |
|
<path fill="none" stroke="#377eb8" d="M100.36,-90.4C117.82,-79.53 141.2,-65.4 162.5,-54 174.56,-47.54 188.02,-40.99 200.11,-35.33"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="201.86,-38.38 209.46,-31 198.92,-32.03 201.86,-38.38"/> |
|
<text text-anchor="middle" x="209" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">lastKey [Room]</text> |
|
</g> |
|
<!-- N0 --> |
|
<g id="node12" class="node"> |
|
<title>N0</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="721.5,-235.5 667.5,-235.5 667.5,-199.5 721.5,-199.5 721.5,-235.5"/> |
|
<text text-anchor="middle" x="694.5" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key3</text> |
|
</g> |
|
<!-- N1 --> |
|
<g id="node13" class="node"> |
|
<title>N1</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="793.5,-235.5 739.5,-235.5 739.5,-199.5 793.5,-199.5 793.5,-235.5"/> |
|
<text text-anchor="middle" x="766.5" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key2</text> |
|
</g> |
|
</g> |
|
</svg> |