diff options
Diffstat (limited to 'chapter10b/docs/example2b.svg')
| -rw-r--r-- | chapter10b/docs/example2b.svg | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/chapter10b/docs/example2b.svg b/chapter10b/docs/example2b.svg index 67d74ea8..4e0616f1 100644 --- a/chapter10b/docs/example2b.svg +++ b/chapter10b/docs/example2b.svg @@ -12,90 +12,90 @@ <!-- P --> <g id="node1" class="node"> <title>P</title> -<polygon fill="none" stroke="black" points="278.38,-67 198.62,-67 198.62,-31 278.38,-31 278.38,-67"/> -<text text-anchor="middle" x="238.5" y="-43.95" font-family="Times New Roman,serif" font-size="14.00">MemPhi(x)</text> +<polygon fill="none" stroke="black" points="249.12,-67 169.38,-67 169.38,-31 249.12,-31 249.12,-67"/> +<text text-anchor="middle" x="209.25" y="-43.95" font-family="Times New Roman,serif" font-size="14.00">MemPhi(x)</text> </g> <!-- Left --> <g id="node3" class="node"> <title>Left</title> -<polygon fill="none" stroke="black" points="447.25,-102 393.25,-102 393.25,-66 447.25,-66 447.25,-102"/> -<text text-anchor="middle" x="420.25" y="-78.95" font-family="Times New Roman,serif" font-size="14.00">Left</text> +<polygon fill="none" stroke="black" points="54.5,-102 0.5,-102 0.5,-66 54.5,-66 54.5,-102"/> +<text text-anchor="middle" x="27.5" y="-78.95" font-family="Times New Roman,serif" font-size="14.00">Left</text> </g> <!-- P->Left --> <g id="edge1" class="edge"> <title>P->Left</title> -<path fill="none" stroke="blue" d="M278.66,-45.11C306.2,-43.68 343.56,-44.4 374.75,-54.5 378.99,-55.87 383.21,-57.77 387.27,-59.95"/> -<polygon fill="blue" stroke="blue" points="385.27,-62.84 395.64,-65.02 388.9,-56.85 385.27,-62.84"/> -<text text-anchor="middle" x="357.12" y="-57.7" font-family="Times New Roman,serif" font-size="14.00">slice x</text> +<path fill="none" stroke="blue" d="M169.09,-45.11C141.55,-43.68 104.19,-44.4 73,-54.5 68.76,-55.87 64.54,-57.77 60.48,-59.95"/> +<polygon fill="blue" stroke="blue" points="58.85,-56.85 52.11,-65.02 62.48,-62.84 58.85,-56.85"/> +<text text-anchor="middle" x="90.62" y="-57.7" font-family="Times New Roman,serif" font-size="14.00">slice x</text> </g> <!-- Right --> <g id="node4" class="node"> <title>Right</title> -<polygon fill="none" stroke="black" points="447.25,-162 393.25,-162 393.25,-126 447.25,-126 447.25,-162"/> -<text text-anchor="middle" x="420.25" y="-138.95" font-family="Times New Roman,serif" font-size="14.00">Right</text> +<polygon fill="none" stroke="black" points="54.5,-162 0.5,-162 0.5,-126 54.5,-126 54.5,-162"/> +<text text-anchor="middle" x="27.5" y="-138.95" font-family="Times New Roman,serif" font-size="14.00">Right</text> </g> <!-- P->Right --> <g id="edge2" class="edge"> <title>P->Right</title> -<path fill="none" stroke="blue" d="M278.82,-64.2C306.43,-75.51 343.81,-92.12 374.75,-110.5 379.08,-113.07 383.48,-115.98 387.76,-118.98"/> -<polygon fill="blue" stroke="blue" points="385.46,-121.64 395.6,-124.72 389.6,-115.99 385.46,-121.64"/> -<text text-anchor="middle" x="357.12" y="-113.7" font-family="Times New Roman,serif" font-size="14.00">slice x</text> +<path fill="none" stroke="blue" d="M168.93,-64.2C141.32,-75.51 103.94,-92.12 73,-110.5 68.67,-113.07 64.27,-115.98 59.99,-118.98"/> +<polygon fill="blue" stroke="blue" points="58.15,-115.99 52.15,-124.72 62.29,-121.64 58.15,-115.99"/> +<text text-anchor="middle" x="90.62" y="-113.7" font-family="Times New Roman,serif" font-size="14.00">slice x</text> </g> <!-- Region --> <g id="node5" class="node"> <title>Region</title> -<polygon fill="none" stroke="black" points="447.75,-36 392.75,-36 392.75,0 447.75,0 447.75,-36"/> -<text text-anchor="middle" x="420.25" y="-12.95" font-family="Times New Roman,serif" font-size="14.00">Region</text> +<polygon fill="none" stroke="black" points="55,-36 0,-36 0,0 55,0 55,-36"/> +<text text-anchor="middle" x="27.5" y="-12.95" font-family="Times New Roman,serif" font-size="14.00">Region</text> </g> <!-- P->Region --> <g id="edge5" class="edge"> <title>P->Region</title> -<path fill="none" stroke="black" stroke-dasharray="5,2" d="M275.99,-30.51C294.51,-22.15 317.65,-13.21 339.5,-9 353.05,-6.39 368.04,-7.15 381.34,-9.05"/> -<polygon fill="black" stroke="black" points="380.57,-12.47 391.02,-10.71 381.75,-5.57 380.57,-12.47"/> +<path fill="none" stroke="black" stroke-dasharray="5,2" d="M171.76,-30.51C153.24,-22.15 130.1,-13.21 108.25,-9 94.7,-6.39 79.71,-7.15 66.41,-9.05"/> +<polygon fill="black" stroke="black" points="66,-5.57 56.73,-10.71 67.18,-12.47 66,-5.57"/> </g> <!-- B --> <g id="node2" class="node"> <title>B</title> -<polygon fill="none" stroke="black" points="321.5,-132 155.5,-132 155.5,-96 321.5,-96 321.5,-132"/> -<text text-anchor="middle" x="238.5" y="-108.95" font-family="Times New Roman,serif" font-size="14.00">BulkMemPhi(All except x)</text> +<polygon fill="none" stroke="black" points="292.25,-132 126.25,-132 126.25,-96 292.25,-96 292.25,-132"/> +<text text-anchor="middle" x="209.25" y="-108.95" font-family="Times New Roman,serif" font-size="14.00">BulkMemPhi(All except x)</text> </g> <!-- B->Left --> <g id="edge3" class="edge"> <title>B->Left</title> -<path fill="none" stroke="black" d="M321.72,-119C339.48,-118.2 357.95,-115.9 374.75,-111 377.84,-110.1 380.93,-108.93 383.97,-107.57"/> -<polygon fill="black" stroke="black" points="385.33,-110.81 392.62,-103.12 382.13,-104.58 385.33,-110.81"/> +<path fill="none" stroke="black" d="M126.03,-119C108.27,-118.2 89.8,-115.9 73,-111 69.91,-110.1 66.82,-108.93 63.78,-107.57"/> +<polygon fill="black" stroke="black" points="65.62,-104.58 55.13,-103.12 62.42,-110.81 65.62,-104.58"/> </g> <!-- B->Right --> <g id="edge4" class="edge"> <title>B->Right</title> -<path fill="none" stroke="black" d="M321.75,-127.73C342.83,-131.25 364.47,-134.86 382,-137.78"/> -<polygon fill="black" stroke="black" points="380.94,-141.15 391.38,-139.35 382.09,-134.25 380.94,-141.15"/> +<path fill="none" stroke="black" d="M126,-127.73C104.92,-131.25 83.28,-134.86 65.75,-137.78"/> +<polygon fill="black" stroke="black" points="65.66,-134.25 56.37,-139.35 66.81,-141.15 65.66,-134.25"/> </g> <!-- B->Region --> <g id="edge6" class="edge"> <title>B->Region</title> -<path fill="none" stroke="black" stroke-dasharray="5,2" d="M280.68,-95.69C293.83,-89.64 308.37,-82.73 321.5,-76 345.68,-63.61 351.41,-59.9 374.75,-46 377.38,-44.43 380.08,-42.8 382.8,-41.14"/> -<polygon fill="black" stroke="black" points="384.61,-44.13 391.27,-35.89 380.92,-38.18 384.61,-44.13"/> +<path fill="none" stroke="black" stroke-dasharray="5,2" d="M167.07,-95.69C153.92,-89.64 139.38,-82.73 126.25,-76 102.07,-63.61 96.34,-59.9 73,-46 70.37,-44.43 67.67,-42.8 64.95,-41.14"/> +<polygon fill="black" stroke="black" points="66.83,-38.18 56.48,-35.89 63.14,-44.13 66.83,-38.18"/> </g> <!-- MemMerge --> <g id="node6" class="node"> <title>MemMerge</title> -<polygon fill="none" stroke="black" points="82,-94 0,-94 0,-58 82,-58 82,-94"/> -<text text-anchor="middle" x="41" y="-70.95" font-family="Times New Roman,serif" font-size="14.00">MemMerge</text> +<polygon fill="none" stroke="black" points="447.75,-94 365.75,-94 365.75,-58 447.75,-58 447.75,-94"/> +<text text-anchor="middle" x="406.75" y="-70.95" font-family="Times New Roman,serif" font-size="14.00">MemMerge</text> </g> <!-- MemMerge->P --> <g id="edge7" class="edge"> <title>MemMerge->P</title> -<path fill="none" stroke="blue" d="M82.36,-64.23C88.24,-62.81 94.25,-61.5 100,-60.5 128.58,-55.53 160.88,-52.69 186.99,-51.07"/> -<polygon fill="blue" stroke="blue" points="186.85,-54.59 196.64,-50.52 186.45,-47.6 186.85,-54.59"/> -<text text-anchor="middle" x="118.75" y="-63.7" font-family="Times New Roman,serif" font-size="14.00">x</text> +<path fill="none" stroke="blue" d="M365.39,-64.23C359.51,-62.81 353.5,-61.5 347.75,-60.5 319.17,-55.53 286.87,-52.69 260.76,-51.07"/> +<polygon fill="blue" stroke="blue" points="261.3,-47.6 251.11,-50.52 260.9,-54.59 261.3,-47.6"/> +<text text-anchor="middle" x="329" y="-63.7" font-family="Times New Roman,serif" font-size="14.00">x</text> </g> <!-- MemMerge->B --> <g id="edge8" class="edge"> <title>MemMerge->B</title> -<path fill="none" stroke="black" d="M82.03,-83.78C100.1,-87.29 122.25,-91.6 144.12,-95.85"/> -<polygon fill="black" stroke="black" points="143.19,-99.23 153.67,-97.71 144.52,-92.36 143.19,-99.23"/> -<text text-anchor="middle" x="118.75" y="-97.06" font-family="Times New Roman,serif" font-size="14.00">default</text> +<path fill="none" stroke="black" d="M365.72,-83.78C347.65,-87.29 325.5,-91.6 303.63,-95.85"/> +<polygon fill="black" stroke="black" points="303.23,-92.36 294.08,-97.71 304.56,-99.23 303.23,-92.36"/> +<text text-anchor="middle" x="329" y="-97.06" font-family="Times New Roman,serif" font-size="14.00">default</text> </g> </g> </svg> |
