|
<?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="901pt" height="262pt" |
|
viewBox="0.00 0.00 901.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 897,-258 897,4 -4,4"/> |
|
<!-- N9 --> |
|
<g id="node1" class="node"> |
|
<title>N9</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="639,-132 483,-132 483,-85 639,-85 639,-132"/> |
|
<text text-anchor="middle" x="561" y="-118.4" font-family="Times,serif" font-size="12.00" fill="#000000">Room</text> |
|
<text text-anchor="middle" x="561" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#000000">currentKey: Key0</text> |
|
<text text-anchor="middle" x="561" 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="552,-36 498,-36 498,0 552,0 552,-36"/> |
|
<text text-anchor="middle" x="525" 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="M507.45,-84.95C500.89,-79.99 495.07,-74.05 491,-67 486.5,-59.2 489.13,-51.09 494.51,-43.79"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="497.19,-46.05 501.22,-36.26 491.96,-41.4 497.19,-46.05"/> |
|
<text text-anchor="middle" x="525" 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="M563.7,-84.85C563.99,-75.01 563.09,-63.57 559,-54 557.51,-50.52 555.51,-47.2 553.22,-44.07"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="555.77,-41.67 546.63,-36.31 550.43,-46.2 555.77,-41.67"/> |
|
<text text-anchor="middle" x="577" 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="304,-36 250,-36 250,0 304,0 304,-36"/> |
|
<text text-anchor="middle" x="277" 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="M504.73,-84.95C478.33,-74.79 446.3,-63.07 417,-54 382.47,-43.31 342.39,-33.55 313.99,-27.07"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="314.61,-23.62 304.08,-24.83 313.07,-30.45 314.61,-23.62"/> |
|
<text text-anchor="middle" x="467" 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="680,-36 626,-36 626,0 680,0 680,-36"/> |
|
<text text-anchor="middle" x="653" 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="M584.69,-84.71C597.87,-72.04 614.26,-56.27 627.69,-43.35"/> |
|
<polygon fill="#377eb8" stroke="#377eb8" points="630.42,-45.58 635.2,-36.12 625.57,-40.53 630.42,-45.58"/> |
|
<text text-anchor="middle" x="630" 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="98,-247.5 0,-247.5 0,-187.5 98,-187.5 98,-247.5"/> |
|
<text text-anchor="middle" x="49" y="-233.9" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin0</text> |
|
<text text-anchor="middle" x="49" y="-220.9" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="49" y="-207.9" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="49" y="-194.9" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N12->N9 --> |
|
<g id="edge14" class="edge"> |
|
<title>N12->N9</title> |
|
<path fill="none" stroke="#e41a1c" d="M92.38,-187.36C97.18,-184.93 102.1,-182.74 107,-181 126.33,-174.14 452.86,-135.91 473,-132 473.1,-131.98 473.2,-131.96 473.3,-131.94"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="473.8,-135.41 482.9,-129.98 472.4,-128.55 473.8,-135.41"/> |
|
<text text-anchor="middle" x="347.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">room</text> |
|
</g> |
|
<!-- N5 --> |
|
<g id="node4" class="node"> |
|
<title>N5</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="199.5,-126.5 118.5,-126.5 118.5,-90.5 199.5,-90.5 199.5,-126.5"/> |
|
<text text-anchor="middle" x="159" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">Guest0</text> |
|
<text text-anchor="middle" x="159" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">keys: Key1</text> |
|
</g> |
|
<!-- N12->N5 --> |
|
<g id="edge2" class="edge"> |
|
<title>N12->N5</title> |
|
<path fill="none" stroke="#a65628" d="M69.54,-187.17C78.76,-175.01 90.2,-161.16 102,-150 108.46,-143.88 115.9,-137.95 123.22,-132.59"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="125.56,-135.23 131.7,-126.6 121.51,-129.51 125.56,-135.23"/> |
|
<text text-anchor="middle" x="118.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="M49.92,-187.36C52.38,-157.89 60.59,-112.85 87,-85 127.51,-42.28 197.07,-27.2 239.85,-21.89"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="240.31,-25.36 249.85,-20.76 239.52,-18.4 240.31,-25.36"/> |
|
<text text-anchor="middle" x="98" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N5->N3 --> |
|
<g id="edge9" class="edge"> |
|
<title>N5->N3</title> |
|
<path fill="none" stroke="#4daf4a" d="M181.75,-90.44C200.03,-76.72 225.9,-57.32 246.06,-42.2"/> |
|
<polygon fill="#4daf4a" stroke="#4daf4a" points="248.42,-44.81 254.32,-36.01 244.22,-39.21 248.42,-44.81"/> |
|
<text text-anchor="middle" x="243" 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="749.5,-254 600.5,-254 600.5,-181 749.5,-181 749.5,-254"/> |
|
<text text-anchor="middle" x="675" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Checkin1</text> |
|
<text text-anchor="middle" x="675" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e, pre)</text> |
|
<text text-anchor="middle" x="675" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest1</text> |
|
<text text-anchor="middle" x="675" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key4</text> |
|
<text text-anchor="middle" x="675" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N11->N9 --> |
|
<g id="edge15" class="edge"> |
|
<title>N11->N9</title> |
|
<path fill="none" stroke="#e41a1c" d="M637.04,-180.87C622.61,-167.33 606.35,-152.06 592.57,-139.13"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="594.89,-136.51 585.2,-132.22 590.1,-141.61 594.89,-136.51"/> |
|
<text text-anchor="middle" x="634.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">room</text> |
|
</g> |
|
<!-- N7 --> |
|
<g id="node6" class="node"> |
|
<title>N7</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="774.5,-126.5 715.5,-126.5 715.5,-90.5 774.5,-90.5 774.5,-126.5"/> |
|
<text text-anchor="middle" x="745" 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="M698.31,-180.87C708.1,-165.91 719.26,-148.84 728.22,-135.15"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="731.21,-136.98 733.75,-126.7 725.35,-133.15 731.21,-136.98"/> |
|
<text text-anchor="middle" x="734.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="M671.02,-180.73C666.71,-142.05 659.93,-81.24 656.03,-46.24"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="659.51,-45.82 654.92,-36.27 652.55,-46.59 659.51,-45.82"/> |
|
<text text-anchor="middle" x="676" 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="214,-241 116,-241 116,-194 214,-194 214,-241"/> |
|
<text text-anchor="middle" x="165" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">Checkout</text> |
|
<text text-anchor="middle" x="165" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">(post)</text> |
|
<text text-anchor="middle" x="165" y="-201.4" 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="M151.21,-193.91C146.33,-184.67 141.45,-173.67 139,-163 136.93,-154.01 139.01,-144.5 142.49,-136.02"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="145.66,-137.5 146.87,-126.97 139.36,-134.45 145.66,-137.5"/> |
|
<text text-anchor="middle" x="155.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="360.5,-254 235.5,-254 235.5,-181 360.5,-181 360.5,-254"/> |
|
<text text-anchor="middle" x="298" y="-240.4" font-family="Times,serif" font-size="12.00" fill="#000000">Entry</text> |
|
<text text-anchor="middle" x="298" y="-227.4" font-family="Times,serif" font-size="12.00" fill="#000000">($NoBadEntry_e')</text> |
|
<text text-anchor="middle" x="298" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">guest: Guest0</text> |
|
<text text-anchor="middle" x="298" y="-201.4" font-family="Times,serif" font-size="12.00" fill="#000000">key: Key1</text> |
|
<text text-anchor="middle" x="298" y="-188.4" font-family="Times,serif" font-size="12.00" fill="#000000">room: Room</text> |
|
</g> |
|
<!-- N10->N9 --> |
|
<g id="edge16" class="edge"> |
|
<title>N10->N9</title> |
|
<path fill="none" stroke="#e41a1c" d="M360.66,-191.01C401.54,-174.38 454.77,-152.72 496.09,-135.91"/> |
|
<polygon fill="#e41a1c" stroke="#e41a1c" points="497.58,-139.08 505.52,-132.07 494.94,-132.6 497.58,-139.08"/> |
|
<text text-anchor="middle" x="477.5" y="-153.4" font-family="Times,serif" font-size="12.00" fill="#e41a1c">room</text> |
|
</g> |
|
<!-- N10->N5 --> |
|
<g id="edge5" class="edge"> |
|
<title>N10->N5</title> |
|
<path fill="none" stroke="#a65628" d="M235.5,-187.2C218.17,-178.38 202.14,-169.37 195,-163 186.27,-155.2 178.66,-144.85 172.72,-135.33"/> |
|
<polygon fill="#a65628" stroke="#a65628" points="175.64,-133.4 167.55,-126.56 169.62,-136.96 175.64,-133.4"/> |
|
<text text-anchor="middle" x="211.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="M292.43,-180.79C290.22,-165.75 287.78,-148.05 286,-132 282.77,-102.79 280.24,-69.2 278.7,-46.29"/> |
|
<polygon fill="#ff7f00" stroke="#ff7f00" points="282.19,-46.01 278.04,-36.26 275.21,-46.47 282.19,-46.01"/> |
|
<text text-anchor="middle" x="297" y="-105.4" font-family="Times,serif" font-size="12.00" fill="#ff7f00">key</text> |
|
</g> |
|
<!-- N4 --> |
|
<g id="node11" class="node"> |
|
<title>N4</title> |
|
<polygon fill="#ffd700" stroke="#ffd700" points="464.5,-126.5 317.5,-126.5 317.5,-90.5 464.5,-90.5 464.5,-126.5"/> |
|
<text text-anchor="middle" x="391" y="-111.9" font-family="Times,serif" font-size="12.00" fill="#000000">FrontDesk</text> |
|
<text text-anchor="middle" x="391" y="-98.9" font-family="Times,serif" font-size="12.00" fill="#000000">lastKey: Room->Key1</text> |
|
</g> |
|
<!-- N4->N3 --> |
|
<g id="edge13" class="edge"> |
|
<title>N4->N3</title> |
|
<path fill="none" stroke="#984ea3" d="M358.89,-90.31C347.46,-83.62 334.76,-75.52 324,-67 315.22,-60.05 306.42,-51.56 298.84,-43.67"/> |
|
<polygon fill="#984ea3" stroke="#984ea3" points="301.11,-40.96 291.72,-36.05 295.99,-45.74 301.11,-40.96"/> |
|
<text text-anchor="middle" x="370.5" y="-57.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="821,-235.5 767,-235.5 767,-199.5 821,-199.5 821,-235.5"/> |
|
<text text-anchor="middle" x="794" 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="893,-235.5 839,-235.5 839,-199.5 893,-199.5 893,-235.5"/> |
|
<text text-anchor="middle" x="866" y="-214.4" font-family="Times,serif" font-size="12.00" fill="#000000">Key2</text> |
|
</g> |
|
</g> |
|
</svg> |