|
<?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="938pt" height="262pt" |
|
viewBox="0.00 0.00 938.00 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 934,-258 934,4 -4,4"/> |
|
<!-- N9 --> |
|
<g id="node1" class="node"> |
|
<title>N9</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="664,-132 508,-132 508,-85 664,-85 664,-132"/> |
|
<text text-anchor="middle" x="586" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">Room</text> |
|
<text text-anchor="middle" x="586" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">currentKey: Key0</text> |
|
<text text-anchor="middle" x="586" y="-92.4" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key0, Key1, Key4</text> |
|
</g> |
|
<!-- N8 --> |
|
<g id="node2" class="node"> |
|
<title>N8</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="614,-36 560,-36 560,0 614,0 614,-36"/> |
|
<text text-anchor="middle" x="587" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key0</text> |
|
</g> |
|
<!-- N9->N8 --> |
|
<g id="edge1" class="edge"> |
|
<title>N9->N8</title> |
|
<path fill="none" stroke="#e41a1c" d="M560.81,-84.96C553.56,-75.73 548.65,-64.72 553,-54 554.42,-50.5 556.38,-47.15 558.65,-44.02"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="561.43,-46.14 565.2,-36.24 556.08,-41.63 561.43,-46.14"/> |
|
<text text-anchor="middle" x="587" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">currentKey</text> |
|
</g> |
|
<!-- N9->N8 --> |
|
<g id="edge10" class="edge"> |
|
<title>N9->N8</title> |
|
<path fill="none" stroke="#377eb8" d="M610.28,-84.97C614.66,-79.55 618.6,-73.44 621,-67 623.97,-59.02 621.4,-51.15 616.58,-44.16"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="619.19,-41.83 610.09,-36.4 613.83,-46.32 619.19,-41.83"/> |
|
<text text-anchor="middle" x="637" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">keys</text> |
|
</g> |
|
<!-- N3 --> |
|
<g id="node9" class="node"> |
|
<title>N3</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="398,-36 344,-36 344,0 398,0 398,-36"/> |
|
<text text-anchor="middle" x="371" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key1</text> |
|
</g> |
|
<!-- N9->N3 --> |
|
<g id="edge11" class="edge"> |
|
<title>N9->N3</title> |
|
<path fill="none" stroke="#377eb8" d="M544.49,-84.92C524.94,-74.76 501.1,-63.05 479,-54 455.8,-44.5 428.99,-35.8 407.89,-29.45"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="408.61,-26.02 398.03,-26.53 406.63,-32.73 408.61,-26.02"/> |
|
<text text-anchor="middle" x="521" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">keys</text> |
|
</g> |
|
<!-- N2 --> |
|
<g id="node10" class="node"> |
|
<title>N2</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="742,-36 688,-36 688,0 742,0 742,-36"/> |
|
<text text-anchor="middle" x="715" y="-14.9" font-family="Times,serif" font-size="12.00" fill="#000000">Key4</text> |
|
</g> |
|
<!-- N9->N2 --> |
|
<g id="edge12" class="edge"> |
|
<title>N9->N2</title> |
|
<path fill="none" stroke="#377eb8" d="M626.74,-84.9C636.18,-79.3 646.07,-73.14 655,-67 665.82,-59.56 677.19,-50.74 687.08,-42.71"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="689.51,-45.25 695.01,-36.19 685.06,-39.84 689.51,-45.25"/> |
|
<text text-anchor="middle" x="686" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#377eb8">keys</text> |
|
</g> |
|
<!-- N12 --> |
|
<g id="node3" class="node"> |
|
<title>N12</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="453,-254 355,-254 355,-181 453,-181 453,-254"/> |
|
<text text-anchor="middle" x="404" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin0</text> |
|
<text text-anchor="middle" x="404" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">(post)</text> |
|
<text text-anchor="middle" x="404" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="404" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="404" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N12->N9 --> |
|
<g id="edge15" class="edge"> |
|
<title>N12->N9</title> |
|
<path fill="none" stroke="#a65628" d="M396.37,-180.69C396.05,-169.77 397.99,-158.44 405,-150 430.79,-118.96 454.61,-140.8 494,-132 495.26,-131.72 496.54,-131.43 497.82,-131.14"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="498.79,-134.51 507.75,-128.86 497.22,-127.69 498.79,-134.51"/> |
|
<text text-anchor="middle" x="421.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">room</text> |
|
</g> |
|
<!-- N4 --> |
|
<g id="node4" class="node"> |
|
<title>N4</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="334.5,-126.5 253.5,-126.5 253.5,-90.5 334.5,-90.5 334.5,-126.5"/> |
|
<text text-anchor="middle" x="294" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">Guest0</text> |
|
<text text-anchor="middle" x="294" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key1</text> |
|
</g> |
|
<!-- N12->N4 --> |
|
<g id="edge2" class="edge"> |
|
<title>N12->N4</title> |
|
<path fill="none" stroke="#a65628" d="M354.84,-186.27C341.53,-177.51 329.33,-168.77 324,-163 316.7,-155.11 310.5,-145.12 305.65,-135.92"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="308.68,-134.15 301.11,-126.74 302.41,-137.25 308.68,-134.15"/> |
|
<text text-anchor="middle" x="340.5" 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="M397.99,-180.82C396.99,-174.87 395.96,-168.76 395,-163 388.21,-122.44 380.38,-75.44 375.56,-46.46"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="378.97,-45.58 373.87,-36.29 372.06,-46.73 378.97,-45.58"/> |
|
<text text-anchor="middle" x="401" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N4->N3 --> |
|
<g id="edge9" class="edge"> |
|
<title>N4->N3</title> |
|
<path fill="none" stroke="#4daf4a" d="M303.53,-90.2C309.98,-79.24 319.11,-65.11 329,-54 332.46,-50.11 336.37,-46.29 340.37,-42.67"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="342.8,-45.2 348.09,-36.02 338.23,-39.89 342.8,-45.2"/> |
|
<text text-anchor="middle" x="343" y="-57.4" font-family="Times,serif" font-size="12.00" fill="#4daf4a">keys</text> |
|
</g> |
|
<!-- N11 --> |
|
<g id="node5" class="node"> |
|
<title>N11</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="786,-247.5 688,-247.5 688,-187.5 786,-187.5 786,-247.5"/> |
|
<text text-anchor="middle" x="737" y="-233.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin1</text> |
|
<text text-anchor="middle" x="737" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest1</text> |
|
<text text-anchor="middle" x="737" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key4</text> |
|
<text text-anchor="middle" x="737" y="-194.9" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N11->N9 --> |
|
<g id="edge16" class="edge"> |
|
<title>N11->N9</title> |
|
<path fill="none" stroke="#a65628" d="M695.74,-187.26C674.15,-171.97 647.83,-153.32 626.38,-138.11"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="628.3,-135.18 618.12,-132.26 624.25,-140.89 628.3,-135.18"/> |
|
<text text-anchor="middle" x="677.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">room</text> |
|
</g> |
|
<!-- N7 --> |
|
<g id="node6" class="node"> |
|
<title>N7</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="836.5,-126.5 777.5,-126.5 777.5,-90.5 836.5,-90.5 836.5,-126.5"/> |
|
<text text-anchor="middle" x="807" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">Guest1</text> |
|
</g> |
|
<!-- N11->N7 --> |
|
<g id="edge3" class="edge"> |
|
<title>N11->N7</title> |
|
<path fill="none" stroke="#a65628" d="M756.13,-187.26C766.75,-171.02 779.85,-150.99 790.1,-135.33"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="793.22,-136.96 795.76,-126.68 787.36,-133.13 793.22,-136.96"/> |
|
<text text-anchor="middle" x="796.5" 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="M733.75,-187.36C729.52,-149.37 722.18,-83.41 718.04,-46.34"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="721.51,-45.8 716.92,-36.25 714.55,-46.58 721.51,-45.8"/> |
|
<text text-anchor="middle" x="738" 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="337.5,-241 188.5,-241 188.5,-194 337.5,-194 337.5,-241"/> |
|
<text text-anchor="middle" x="263" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">Checkout</text> |
|
<text text-anchor="middle" x="263" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e, pre)</text> |
|
<text text-anchor="middle" x="263" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
</g> |
|
<!-- N6->N4 --> |
|
<g id="edge4" class="edge"> |
|
<title>N6->N4</title> |
|
<path fill="none" stroke="#a65628" d="M260.96,-193.76C260.53,-180.64 261.28,-164.02 266,-150 267.7,-144.96 270.22,-139.99 273.07,-135.34"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="276.1,-137.11 278.82,-126.86 270.3,-133.18 276.1,-137.11"/> |
|
<text text-anchor="middle" x="282.5" 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="596.5,-254 471.5,-254 471.5,-181 596.5,-181 596.5,-254"/> |
|
<text text-anchor="middle" x="534" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Entry</text> |
|
<text text-anchor="middle" x="534" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e')</text> |
|
<text text-anchor="middle" x="534" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="534" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="534" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N10->N9 --> |
|
<g id="edge17" class="edge"> |
|
<title>N10->N9</title> |
|
<path fill="none" stroke="#a65628" d="M551.32,-180.87C557.53,-168.08 564.49,-153.75 570.54,-141.31"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="573.74,-142.74 574.96,-132.22 567.44,-139.68 573.74,-142.74"/> |
|
<text text-anchor="middle" x="583.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#a65628">room</text> |
|
</g> |
|
<!-- N10->N4 --> |
|
<g id="edge5" class="edge"> |
|
<title>N10->N4</title> |
|
<path fill="none" stroke="#a65628" d="M486.46,-180.91C467.78,-167.5 448.35,-154.41 438,-150 400.87,-134.18 387.63,-143.69 349,-132 346.87,-131.36 344.72,-130.66 342.55,-129.93"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="343.63,-126.6 333.03,-126.52 341.26,-133.19 343.63,-126.6"/> |
|
<text text-anchor="middle" x="476.5" 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="M514.4,-180.72C508.29,-170.5 501.25,-159.55 494,-150 487.35,-141.23 484.54,-140.01 477,-132 448.47,-101.69 415.7,-66.73 394.24,-43.82"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="396.53,-41.15 387.14,-36.25 391.43,-45.94 396.53,-41.15"/> |
|
<text text-anchor="middle" x="488" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N5 --> |
|
<g id="node11" class="node"> |
|
<title>N5</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="170,-241 0,-241 0,-194 170,-194 170,-241"/> |
|
<text text-anchor="middle" x="85" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">FrontDesk</text> |
|
<text text-anchor="middle" x="85" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">lastKey: Room->Key1</text> |
|
<text text-anchor="middle" x="85" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">occupant: Room->Guest0</text> |
|
</g> |
|
<!-- N5->N4 --> |
|
<g id="edge14" class="edge"> |
|
<title>N5->N4</title> |
|
<path fill="none" stroke="#e41a1c" d="M103.69,-193.85C116.71,-179.42 135.23,-161.36 155,-150 182.27,-134.33 216.09,-124.3 243.54,-118.14"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="244.3,-121.56 253.35,-116.05 242.84,-114.72 244.3,-121.56"/> |
|
<text text-anchor="middle" x="207" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">occupant [Room]</text> |
|
</g> |
|
<!-- N5->N3 --> |
|
<g id="edge13" class="edge"> |
|
<title>N5->N3</title> |
|
<path fill="none" stroke="#984ea3" d="M90.36,-193.97C98.5,-164.64 116.77,-113.75 151,-85 203.95,-40.54 286.09,-26.03 333.6,-21.29"/> |
|
<polygon fill="#984ea3" stroke="#984ea3" points="334.11,-24.76 343.75,-20.38 333.48,-17.79 334.11,-24.76"/> |
|
<text text-anchor="middle" x="197.5" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#984ea3">lastKey [Room]</text> |
|
</g> |
|
<!-- N0 --> |
|
<g id="node12" class="node"> |
|
<title>N0</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="858,-235.5 804,-235.5 804,-199.5 858,-199.5 858,-235.5"/> |
|
<text text-anchor="middle" x="831" 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="930,-235.5 876,-235.5 876,-199.5 930,-199.5 930,-235.5"/> |
|
<text text-anchor="middle" x="903" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key2</text> |
|
</g> |
|
</g> |
|
</svg> |