diff options
Diffstat (limited to 'docs/chapter10/lattice.svg')
| -rw-r--r-- | docs/chapter10/lattice.svg | 498 |
1 files changed, 498 insertions, 0 deletions
diff --git a/docs/chapter10/lattice.svg b/docs/chapter10/lattice.svg new file mode 100644 index 00000000..2fe05bbf --- /dev/null +++ b/docs/chapter10/lattice.svg @@ -0,0 +1,498 @@ +<?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: Lattice Pages: 1 --> +<svg width="1694pt" height="771pt" + viewBox="0.00 0.00 1694.09 771.25" 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 767.25)"> +<title>Lattice</title> +<polygon fill="white" stroke="transparent" points="-4,4 -4,-767.25 1690.09,-767.25 1690.09,4 -4,4"/> +<!-- TOP --> +<g id="node1" class="node"> +<title>TOP</title> +<ellipse fill="lightblue" stroke="black" cx="582.4" cy="-743.75" rx="19.5" ry="19.5"/> +<text text-anchor="middle" x="582.4" y="-740.05" font-family="Times,serif" font-size="14.00">⊤</text> +</g> +<!-- XCTRL --> +<g id="node3" class="node"> +<title>XCTRL</title> +<ellipse fill="lightblue" stroke="black" cx="36.4" cy="-624.56" rx="36.29" ry="36.29"/> +<text text-anchor="middle" x="36.4" y="-620.86" font-family="Times,serif" font-size="14.00">~Ctrl</text> +</g> +<!-- TOP->XCTRL --> +<g id="edge1" class="edge"> +<title>TOP->XCTRL</title> +<path fill="none" stroke="black" d="M563.28,-738.65C483.63,-721.55 177.35,-655.81 72.13,-633.23"/> +</g> +<!-- INT_TOP --> +<g id="node5" class="node"> +<title>INT_TOP</title> +<ellipse fill="lightblue" stroke="black" cx="270.4" cy="-624.56" rx="40.09" ry="40.09"/> +<text text-anchor="middle" x="270.4" y="-620.86" font-family="Times,serif" font-size="14.00">IntTop</text> +</g> +<!-- TOP->INT_TOP --> +<g id="edge4" class="edge"> +<title>TOP->INT_TOP</title> +<path fill="none" stroke="black" d="M564.27,-735.95C514.59,-717.28 375.46,-665.02 308,-639.69"/> +</g> +<!-- TUPLE --> +<g id="node12" class="node"> +<title>TUPLE</title> +<ellipse fill="lightblue" stroke="black" cx="520.4" cy="-386.83" rx="43.59" ry="43.59"/> +<text text-anchor="middle" x="520.4" y="-383.13" font-family="Times,serif" font-size="14.00">TUPLE</text> +</g> +<!-- TOP->TUPLE --> +<g id="edge20" class="edge"> +<title>TOP->TUPLE</title> +<path fill="none" stroke="black" d="M579.02,-724.31C569.35,-668.67 541.41,-507.81 527.9,-429.99"/> +</g> +<!-- STRUCT_TOP --> +<g id="node13" class="node"> +<title>STRUCT_TOP</title> +<ellipse fill="lightblue" stroke="black" cx="676.4" cy="-624.56" rx="36.29" ry="36.29"/> +<text text-anchor="middle" x="676.4" y="-620.86" font-family="Times,serif" font-size="14.00">$TOP</text> +</g> +<!-- TOP->STRUCT_TOP --> +<g id="edge22" class="edge"> +<title>TOP->STRUCT_TOP</title> +<path fill="none" stroke="black" d="M594.3,-727.91C609.22,-709.31 635.1,-677.04 653.82,-653.7"/> +</g> +<!-- PTR_TOP --> +<g id="node18" class="node"> +<title>PTR_TOP</title> +<ellipse fill="lightblue" stroke="black" cx="1045.4" cy="-624.56" rx="40.09" ry="40.09"/> +<text text-anchor="middle" x="1045.4" y="-620.86" font-family="Times,serif" font-size="14.00">*$TOP</text> +</g> +<!-- TOP->PTR_TOP --> +<g id="edge32" class="edge"> +<title>TOP->PTR_TOP</title> +<path fill="none" stroke="black" d="M601.12,-738.01C670.15,-720.54 911.28,-659.51 1006.4,-635.43"/> +</g> +<!-- MEM_TOP --> +<g id="node28" class="node"> +<title>MEM_TOP</title> +<ellipse fill="lightblue" stroke="black" cx="1471.4" cy="-624.56" rx="63.89" ry="63.89"/> +<text text-anchor="middle" x="1471.4" y="-620.86" font-family="Times,serif" font-size="14.00">MEM#TOP</text> +</g> +<!-- TOP->MEM_TOP --> +<g id="edge57" class="edge"> +<title>TOP->MEM_TOP</title> +<path fill="none" stroke="black" d="M601.79,-740.2C708.57,-726.12 1226.52,-657.84 1408.23,-633.89"/> +</g> +<!-- BOT --> +<g id="node2" class="node"> +<title>BOT</title> +<ellipse fill="lightblue" stroke="black" cx="607.4" cy="-19.5" rx="19.5" ry="19.5"/> +<text text-anchor="middle" x="607.4" y="-15.8" font-family="Times,serif" font-size="14.00">⊥</text> +</g> +<!-- CTRL --> +<g id="node4" class="node"> +<title>CTRL</title> +<ellipse fill="lightblue" stroke="black" cx="41.4" cy="-138.69" rx="28.7" ry="28.7"/> +<text text-anchor="middle" x="41.4" y="-134.99" font-family="Times,serif" font-size="14.00">Ctrl</text> +</g> +<!-- XCTRL->CTRL --> +<g id="edge2" class="edge"> +<title>XCTRL->CTRL</title> +<path fill="none" stroke="black" d="M36.77,-588.04C37.73,-495.13 40.24,-251.2 41.1,-167.42"/> +</g> +<!-- CTRL->BOT --> +<g id="edge3" class="edge"> +<title>CTRL->BOT</title> +<path fill="none" stroke="black" d="M69.46,-131.88C169.17,-111.23 504.8,-41.74 588.41,-24.43"/> +</g> +<!-- INT_MIN --> +<g id="node7" class="node"> +<title>INT_MIN</title> +<ellipse fill="lightblue" stroke="black" cx="49.4" cy="-386.83" rx="19.5" ry="19.5"/> +<text text-anchor="middle" x="49.4" y="-383.13" font-family="Times,serif" font-size="14.00">-n</text> +</g> +<!-- INT_TOP->INT_MIN --> +<g id="edge5" class="edge"> +<title>INT_TOP->INT_MIN</title> +<path fill="none" stroke="black" d="M242.85,-594.93C194.95,-543.4 98.03,-439.14 62.68,-401.12"/> +</g> +<!-- INT_MINDOTS --> +<g id="node8" class="node"> +<title>INT_MINDOTS</title> +<text text-anchor="middle" x="138.4" y="-383.13" font-family="Times,serif" font-size="14.00">...</text> +</g> +<!-- INT_TOP->INT_MINDOTS --> +<g id="edge6" class="edge"> +<title>INT_TOP->INT_MINDOTS</title> +<path fill="none" stroke="black" d="M250.78,-589.23C222.27,-537.88 170.4,-444.47 148.54,-405.1"/> +</g> +<!-- INT_ZERO --> +<g id="node9" class="node"> +<title>INT_ZERO</title> +<ellipse fill="lightblue" stroke="black" cx="226.4" cy="-386.83" rx="18" ry="18"/> +<text text-anchor="middle" x="226.4" y="-383.13" font-family="Times,serif" font-size="14.00">0</text> +</g> +<!-- INT_TOP->INT_ZERO --> +<g id="edge7" class="edge"> +<title>INT_TOP->INT_ZERO</title> +<path fill="none" stroke="black" d="M263.03,-584.77C253.34,-532.42 236.73,-442.64 229.69,-404.64"/> +</g> +<!-- INT_MAXDOTS --> +<g id="node10" class="node"> +<title>INT_MAXDOTS</title> +<text text-anchor="middle" x="314.4" y="-383.13" font-family="Times,serif" font-size="14.00">...</text> +</g> +<!-- INT_TOP->INT_MAXDOTS --> +<g id="edge8" class="edge"> +<title>INT_TOP->INT_MAXDOTS</title> +<path fill="none" stroke="black" d="M277.76,-584.77C287.42,-532.56 303.98,-443.09 311.05,-404.93"/> +</g> +<!-- INT_MAX --> +<g id="node11" class="node"> +<title>INT_MAX</title> +<ellipse fill="lightblue" stroke="black" cx="409.4" cy="-386.83" rx="24.9" ry="24.9"/> +<text text-anchor="middle" x="409.4" y="-383.13" font-family="Times,serif" font-size="14.00">+n</text> +</g> +<!-- INT_TOP->INT_MAX --> +<g id="edge9" class="edge"> +<title>INT_TOP->INT_MAX</title> +<path fill="none" stroke="black" d="M290.76,-589.74C319.94,-539.83 372.79,-449.44 396.85,-408.28"/> +</g> +<!-- INT_BOT --> +<g id="node6" class="node"> +<title>INT_BOT</title> +<ellipse fill="lightblue" stroke="black" cx="271.4" cy="-138.69" rx="40.09" ry="40.09"/> +<text text-anchor="middle" x="271.4" y="-134.99" font-family="Times,serif" font-size="14.00">IntBot</text> +</g> +<!-- INT_BOT->BOT --> +<g id="edge15" class="edge"> +<title>INT_BOT->BOT</title> +<path fill="none" stroke="black" d="M309.29,-124.48C381.37,-99.33 535.79,-45.47 588.96,-26.93"/> +</g> +<!-- INT_MIN->INT_BOT --> +<g id="edge10" class="edge"> +<title>INT_MIN->INT_BOT</title> +<path fill="none" stroke="black" d="M62.62,-372.05C98.18,-332.3 196.43,-222.49 244.37,-168.9"/> +</g> +<!-- INT_MIN->INT_MINDOTS --> +<!-- INT_MINDOTS->INT_BOT --> +<g id="edge11" class="edge"> +<title>INT_MINDOTS->INT_BOT</title> +<path fill="none" stroke="black" d="M148.18,-368.58C170.07,-327.73 223.37,-228.29 252.17,-174.56"/> +</g> +<!-- INT_MINDOTS->INT_ZERO --> +<!-- INT_ZERO->INT_BOT --> +<g id="edge12" class="edge"> +<title>INT_ZERO->INT_BOT</title> +<path fill="none" stroke="black" d="M229.63,-368.98C236.81,-329.42 254.2,-233.54 264.13,-178.78"/> +</g> +<!-- INT_ZERO->INT_MAXDOTS --> +<!-- INT_MAXDOTS->INT_BOT --> +<g id="edge13" class="edge"> +<title>INT_MAXDOTS->INT_BOT</title> +<path fill="none" stroke="black" d="M311.23,-368.58C304.33,-328.74 287.77,-233.16 278.32,-178.61"/> +</g> +<!-- INT_MAXDOTS->INT_MAX --> +<!-- INT_MAX->INT_BOT --> +<g id="edge14" class="edge"> +<title>INT_MAX->INT_BOT</title> +<path fill="none" stroke="black" d="M397.39,-365.24C373.59,-322.44 320.2,-226.45 291.15,-174.21"/> +</g> +<!-- TUPLE->BOT --> +<g id="edge21" class="edge"> +<title>TUPLE->BOT</title> +<path fill="none" stroke="black" d="M530.46,-344.33C549.34,-264.63 589.36,-95.64 602.85,-38.69"/> +</g> +<!-- STRUCT_S1 --> +<g id="node14" class="node"> +<title>STRUCT_S1</title> +<ellipse fill="lightblue" stroke="black" cx="629.4" cy="-386.83" rx="23" ry="23"/> +<text text-anchor="middle" x="629.4" y="-383.13" font-family="Times,serif" font-size="14.00">S1</text> +</g> +<!-- STRUCT_TOP->STRUCT_S1 --> +<g id="edge23" class="edge"> +<title>STRUCT_TOP->STRUCT_S1</title> +<path fill="none" stroke="black" d="M669.31,-588.71C659.49,-539.03 642.03,-450.71 633.85,-409.35"/> +</g> +<!-- STRUCT_DOTS --> +<g id="node15" class="node"> +<title>STRUCT_DOTS</title> +<text text-anchor="middle" x="722.4" y="-383.13" font-family="Times,serif" font-size="14.00">...</text> +</g> +<!-- STRUCT_TOP->STRUCT_DOTS --> +<g id="edge24" class="edge"> +<title>STRUCT_TOP->STRUCT_DOTS</title> +<path fill="none" stroke="black" d="M683.33,-588.71C693.3,-537.22 711.3,-444.2 718.88,-405.01"/> +</g> +<!-- STRUCT_SN --> +<g id="node16" class="node"> +<title>STRUCT_SN</title> +<ellipse fill="lightblue" stroke="black" cx="815.4" cy="-386.83" rx="23" ry="23"/> +<text text-anchor="middle" x="815.4" y="-383.13" font-family="Times,serif" font-size="14.00">Sn</text> +</g> +<!-- STRUCT_TOP->STRUCT_SN --> +<g id="edge25" class="edge"> +<title>STRUCT_TOP->STRUCT_SN</title> +<path fill="none" stroke="black" d="M694.85,-592.99C723.95,-543.23 779.65,-447.97 803.78,-406.7"/> +</g> +<!-- STRUCT_S1->STRUCT_DOTS --> +<!-- STRUCT_BOT --> +<g id="node17" class="node"> +<title>STRUCT_BOT</title> +<ellipse fill="lightblue" stroke="black" cx="673.4" cy="-138.69" rx="36.29" ry="36.29"/> +<text text-anchor="middle" x="673.4" y="-134.99" font-family="Times,serif" font-size="14.00">$BOT</text> +</g> +<!-- STRUCT_S1->STRUCT_BOT --> +<g id="edge26" class="edge"> +<title>STRUCT_S1->STRUCT_BOT</title> +<path fill="none" stroke="black" d="M633.38,-364.37C641.02,-321.3 657.78,-226.77 667,-174.76"/> +</g> +<!-- STRUCT_DOTS->STRUCT_SN --> +<!-- STRUCT_DOTS->STRUCT_BOT --> +<g id="edge27" class="edge"> +<title>STRUCT_DOTS->STRUCT_BOT</title> +<path fill="none" stroke="black" d="M718.79,-368.58C710.73,-327.73 691.09,-228.29 680.48,-174.56"/> +</g> +<!-- STRUCT_SN->STRUCT_BOT --> +<g id="edge28" class="edge"> +<title>STRUCT_SN->STRUCT_BOT</title> +<path fill="none" stroke="black" d="M804.02,-366.94C779.47,-324.04 721.36,-222.51 691.62,-170.54"/> +</g> +<!-- STRUCT_BOT->BOT --> +<g id="edge29" class="edge"> +<title>STRUCT_BOT->BOT</title> +<path fill="none" stroke="black" d="M655.88,-106.59C643.28,-84.22 626.78,-54.92 616.64,-36.92"/> +</g> +<!-- PTR_NULL --> +<g id="node19" class="node"> +<title>PTR_NULL</title> +<ellipse fill="lightblue" stroke="black" cx="997.4" cy="-386.83" rx="28.7" ry="28.7"/> +<text text-anchor="middle" x="997.4" y="-383.13" font-family="Times,serif" font-size="14.00">null</text> +</g> +<!-- PTR_TOP->PTR_NULL --> +<g id="edge36" class="edge"> +<title>PTR_TOP->PTR_NULL</title> +<path fill="none" stroke="black" d="M1037.42,-585.04C1027.71,-536.98 1011.58,-457.07 1003.06,-414.89"/> +</g> +<!-- PTR_VOIDPTR --> +<g id="node20" class="node"> +<title>PTR_VOIDPTR</title> +<ellipse fill="lightblue" stroke="black" cx="1190.4" cy="-386.83" rx="34.39" ry="34.39"/> +<text text-anchor="middle" x="1190.4" y="-383.13" font-family="Times,serif" font-size="14.00">*void</text> +</g> +<!-- PTR_TOP->PTR_VOIDPTR --> +<g id="edge37" class="edge"> +<title>PTR_TOP->PTR_VOIDPTR</title> +<path fill="none" stroke="black" d="M1066.48,-589.99C1094.99,-543.24 1145.36,-460.66 1172.27,-416.55"/> +</g> +<!-- PTR_S1 --> +<g id="node21" class="node"> +<title>PTR_S1</title> +<ellipse fill="lightblue" stroke="black" cx="907.4" cy="-495.62" rx="27.1" ry="27.1"/> +<text text-anchor="middle" x="907.4" y="-491.92" font-family="Times,serif" font-size="14.00">*S1</text> +</g> +<!-- PTR_TOP->PTR_S1 --> +<g id="edge33" class="edge"> +<title>PTR_TOP->PTR_S1</title> +<path fill="none" stroke="black" d="M1016.13,-596.64C989.39,-572.04 950.57,-536.33 927.27,-514.9"/> +</g> +<!-- PTR_SDOTS --> +<g id="node22" class="node"> +<title>PTR_SDOTS</title> +<text text-anchor="middle" x="1091.4" y="-491.92" font-family="Times,serif" font-size="14.00">...</text> +</g> +<!-- PTR_TOP->PTR_SDOTS --> +<g id="edge34" class="edge"> +<title>PTR_TOP->PTR_SDOTS</title> +<path fill="none" stroke="black" d="M1058.83,-586.5C1067.52,-562.5 1078.44,-532.36 1085.17,-513.8"/> +</g> +<!-- PTR_SN --> +<g id="node23" class="node"> +<title>PTR_SN</title> +<ellipse fill="lightblue" stroke="black" cx="1277.4" cy="-495.62" rx="29.5" ry="29.5"/> +<text text-anchor="middle" x="1277.4" y="-491.92" font-family="Times,serif" font-size="14.00">*SN</text> +</g> +<!-- PTR_TOP->PTR_SN --> +<g id="edge35" class="edge"> +<title>PTR_TOP->PTR_SN</title> +<path fill="none" stroke="black" d="M1080.38,-604.42C1127.6,-578.58 1210.58,-533.18 1252.16,-510.43"/> +</g> +<!-- PTR_S1OPT --> +<g id="node24" class="node"> +<title>PTR_S1OPT</title> +<ellipse fill="lightblue" stroke="black" cx="900.4" cy="-272.83" rx="32.49" ry="32.49"/> +<text text-anchor="middle" x="900.4" y="-269.13" font-family="Times,serif" font-size="14.00">*S1?</text> +</g> +<!-- PTR_NULL->PTR_S1OPT --> +<g id="edge39" class="edge"> +<title>PTR_NULL->PTR_S1OPT</title> +<path fill="none" stroke="black" d="M979.15,-364.76C962.69,-345.75 938.48,-317.8 921.25,-297.91"/> +</g> +<!-- PTR_SOPTDOTS --> +<g id="node25" class="node"> +<title>PTR_SOPTDOTS</title> +<text text-anchor="middle" x="1089.4" y="-269.13" font-family="Times,serif" font-size="14.00">...</text> +</g> +<!-- PTR_NULL->PTR_SOPTDOTS --> +<g id="edge40" class="edge"> +<title>PTR_NULL->PTR_SOPTDOTS</title> +<path fill="none" stroke="black" d="M1015.14,-364.23C1032.68,-342.87 1059.18,-310.62 1075.32,-290.96"/> +</g> +<!-- PTR_SNOPT --> +<g id="node26" class="node"> +<title>PTR_SNOPT</title> +<ellipse fill="lightblue" stroke="black" cx="1193.4" cy="-272.83" rx="34.39" ry="34.39"/> +<text text-anchor="middle" x="1193.4" y="-269.13" font-family="Times,serif" font-size="14.00">*SN?</text> +</g> +<!-- PTR_NULL->PTR_SNOPT --> +<g id="edge41" class="edge"> +<title>PTR_NULL->PTR_SNOPT</title> +<path fill="none" stroke="black" d="M1021.82,-371.87C1057.84,-351.29 1125.11,-312.85 1163.86,-290.71"/> +</g> +<!-- PTR_BOT --> +<g id="node27" class="node"> +<title>PTR_BOT</title> +<ellipse fill="lightblue" stroke="black" cx="1043.4" cy="-138.69" rx="46.29" ry="46.29"/> +<text text-anchor="middle" x="1043.4" y="-134.99" font-family="Times,serif" font-size="14.00">*$BOT?</text> +</g> +<!-- PTR_NULL->PTR_BOT --> +<g id="edge38" class="edge"> +<title>PTR_NULL->PTR_BOT</title> +<path fill="none" stroke="black" d="M1002.67,-358.36C1010.56,-315.84 1025.48,-235.32 1034.91,-184.46"/> +</g> +<!-- PTR_VOIDPTR->PTR_BOT --> +<g id="edge48" class="edge"> +<title>PTR_VOIDPTR->PTR_BOT</title> +<path fill="none" stroke="black" d="M1172.67,-356.89C1146.24,-312.3 1096.5,-228.33 1067.02,-178.56"/> +</g> +<!-- PTR_S1->PTR_VOIDPTR --> +<g id="edge43" class="edge"> +<title>PTR_S1->PTR_VOIDPTR</title> +<path fill="none" stroke="black" d="M933.01,-484.95C984.71,-465.44 1101.45,-421.39 1158.2,-399.97"/> +</g> +<!-- PTR_S1->PTR_SDOTS --> +<!-- PTR_S1->PTR_S1OPT --> +<g id="edge42" class="edge"> +<title>PTR_S1->PTR_S1OPT</title> +<path fill="none" stroke="black" d="M906.54,-468.3C905.25,-427.17 902.8,-349.47 901.42,-305.44"/> +</g> +<!-- PTR_SDOTS->PTR_VOIDPTR --> +<g id="edge45" class="edge"> +<title>PTR_SDOTS->PTR_VOIDPTR</title> +<path fill="none" stroke="black" d="M1107.3,-477.46C1123.48,-460.01 1148.73,-432.78 1167.15,-412.91"/> +</g> +<!-- PTR_SDOTS->PTR_SN --> +<!-- PTR_SDOTS->PTR_SOPTDOTS --> +<g id="edge44" class="edge"> +<title>PTR_SDOTS->PTR_SOPTDOTS</title> +<path fill="none" stroke="black" d="M1091.23,-477.39C1090.86,-435.51 1089.94,-332.83 1089.56,-291"/> +</g> +<!-- PTR_SN->PTR_VOIDPTR --> +<g id="edge47" class="edge"> +<title>PTR_SN->PTR_VOIDPTR</title> +<path fill="none" stroke="black" d="M1259.37,-472.49C1245.53,-455.51 1226.39,-432.01 1211.78,-414.07"/> +</g> +<!-- PTR_SN->PTR_SNOPT --> +<g id="edge46" class="edge"> +<title>PTR_SN->PTR_SNOPT</title> +<path fill="none" stroke="black" d="M1266.93,-467.85C1251.36,-426.56 1222.17,-349.14 1205.63,-305.29"/> +</g> +<!-- PTR_S1OPT->PTR_SOPTDOTS --> +<!-- PTR_S1OPT->PTR_BOT --> +<g id="edge49" class="edge"> +<title>PTR_S1OPT->PTR_BOT</title> +<path fill="none" stroke="black" d="M924.01,-250.01C947.41,-228.39 983.48,-195.06 1009.85,-170.69"/> +</g> +<!-- PTR_SOPTDOTS->PTR_SNOPT --> +<!-- PTR_SOPTDOTS->PTR_BOT --> +<g id="edge50" class="edge"> +<title>PTR_SOPTDOTS->PTR_BOT</title> +<path fill="none" stroke="black" d="M1083.48,-254.83C1077.14,-236.63 1066.85,-207.07 1058.28,-182.46"/> +</g> +<!-- PTR_SNOPT->PTR_BOT --> +<g id="edge51" class="edge"> +<title>PTR_SNOPT->PTR_BOT</title> +<path fill="none" stroke="black" d="M1167.95,-249.42C1143.13,-227.55 1105.19,-194.13 1077.71,-169.92"/> +</g> +<!-- PTR_BOT->BOT --> +<g id="edge52" class="edge"> +<title>PTR_BOT->BOT</title> +<path fill="none" stroke="black" d="M998.79,-125.7C905.03,-100.5 690.85,-42.93 626.21,-25.56"/> +</g> +<!-- MEM_ALIAS1 --> +<g id="node29" class="node"> +<title>MEM_ALIAS1</title> +<ellipse fill="lightblue" stroke="black" cx="1379.4" cy="-386.83" rx="24.9" ry="24.9"/> +<text text-anchor="middle" x="1379.4" y="-383.13" font-family="Times,serif" font-size="14.00">#1</text> +</g> +<!-- MEM_TOP->MEM_ALIAS1 --> +<g id="edge58" class="edge"> +<title>MEM_TOP->MEM_ALIAS1</title> +<path fill="none" stroke="black" d="M1448.3,-564.88C1428.87,-514.67 1402.13,-445.56 1388.37,-410.01"/> +</g> +<!-- MEM_ALIAS2 --> +<g id="node30" class="node"> +<title>MEM_ALIAS2</title> +<ellipse fill="lightblue" stroke="black" cx="1471.4" cy="-386.83" rx="24.9" ry="24.9"/> +<text text-anchor="middle" x="1471.4" y="-383.13" font-family="Times,serif" font-size="14.00">#2</text> +</g> +<!-- MEM_TOP->MEM_ALIAS2 --> +<g id="edge59" class="edge"> +<title>MEM_TOP->MEM_ALIAS2</title> +<path fill="none" stroke="black" d="M1471.4,-560.85C1471.4,-511.89 1471.4,-446.88 1471.4,-411.81"/> +</g> +<!-- MEM_ALIASDOTS --> +<g id="node31" class="node"> +<title>MEM_ALIASDOTS</title> +<text text-anchor="middle" x="1566.4" y="-383.13" font-family="Times,serif" font-size="14.00">...</text> +</g> +<!-- MEM_TOP->MEM_ALIASDOTS --> +<g id="edge60" class="edge"> +<title>MEM_TOP->MEM_ALIASDOTS</title> +<path fill="none" stroke="black" d="M1495.12,-565.18C1516.17,-512.51 1545.61,-438.84 1559.11,-405.06"/> +</g> +<!-- MEM_ALIASN --> +<g id="node32" class="node"> +<title>MEM_ALIASN</title> +<ellipse fill="lightblue" stroke="black" cx="1661.4" cy="-386.83" rx="24.9" ry="24.9"/> +<text text-anchor="middle" x="1661.4" y="-383.13" font-family="Times,serif" font-size="14.00">#n</text> +</g> +<!-- MEM_TOP->MEM_ALIASN --> +<g id="edge61" class="edge"> +<title>MEM_TOP->MEM_ALIASN</title> +<path fill="none" stroke="black" d="M1511.23,-574.72C1553.01,-522.44 1616.59,-442.89 1645.77,-406.38"/> +</g> +<!-- MEM_ALIAS1->MEM_ALIAS2 --> +<!-- MEM_BOT --> +<g id="node33" class="node"> +<title>MEM_BOT</title> +<ellipse fill="lightblue" stroke="black" cx="1471.4" cy="-138.69" rx="63.89" ry="63.89"/> +<text text-anchor="middle" x="1471.4" y="-134.99" font-family="Times,serif" font-size="14.00">MEM#BOT</text> +</g> +<!-- MEM_ALIAS1->MEM_BOT --> +<g id="edge62" class="edge"> +<title>MEM_ALIAS1->MEM_BOT</title> +<path fill="none" stroke="black" d="M1388.05,-363.48C1401.92,-326.08 1429.55,-251.56 1449.19,-198.59"/> +</g> +<!-- MEM_ALIAS2->MEM_ALIASDOTS --> +<!-- MEM_ALIAS2->MEM_BOT --> +<g id="edge63" class="edge"> +<title>MEM_ALIAS2->MEM_BOT</title> +<path fill="none" stroke="black" d="M1471.4,-362.13C1471.4,-325.23 1471.4,-254.49 1471.4,-202.46"/> +</g> +<!-- MEM_ALIASDOTS->MEM_ALIASN --> +<!-- MEM_ALIASDOTS->MEM_BOT --> +<g id="edge64" class="edge"> +<title>MEM_ALIASDOTS->MEM_BOT</title> +<path fill="none" stroke="black" d="M1559.41,-368.58C1545.87,-333.21 1515.52,-253.93 1494.26,-198.42"/> +</g> +<!-- MEM_ALIASN->MEM_BOT --> +<g id="edge65" class="edge"> +<title>MEM_ALIASN->MEM_BOT</title> +<path fill="none" stroke="black" d="M1646.17,-366.94C1616.93,-328.76 1552.13,-244.12 1510.17,-189.33"/> +</g> +<!-- MEM_BOT->BOT --> +<g id="edge66" class="edge"> +<title>MEM_BOT->BOT</title> +<path fill="none" stroke="black" d="M1408.21,-129.12C1230.24,-104.98 730.92,-37.25 626.64,-23.11"/> +</g> +</g> +</svg> |
