blob: 152377272b00f5d1a37b1f1fb8d85fd98c23763c [file] [log] [blame]
<?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">
<!---
Licensed to the Apache Software Foundation (ASF) under one
or more contributor license agreements. See the NOTICE file
distributed with this work for additional information
regarding copyright ownership. The ASF licenses this file
to you under the Apache License, Version 2.0 (the
"License"); you may not use this file except in compliance
with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
-->
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
# http://www.graphviz.org/content/cluster
strict digraph G {
// "0x139" [color=grey,fontcolor=grey];
"0x13B" -> "contentArray[0]" [label=" A"];
"0x13A" -> "0x13B" [label=" H"];
// "0x139" -> "0x13A" [label=" C"];
// "0x139" -> "0x13A" [label=" C",color="grey",fontcolor="grey"];
// "0x25E" -> "0x238" [label=" A"];
// "0x25E" -> "0x13A" [label=" C"];
// "0x25E" -> "0x33B" [label=" 5"];
// "0x25E" -> "0x35C" [label=" B"];
// "0x25E" -> "0x37A" [label=" P"];
// "0x25E" -> "0x41B" [label=" 3"];
subgraph cluster_51F {
label = "Node 0x51F"
"0x51F" [label="Prefix 0x51F\ncontentArray[1]"]
"0x51F" -> "0x51C" [label="ε"];
subgraph cluster_51C {
label= "Split node 0x51C";
ranksep=1
color=grey;
node [style=dashed] "0x53C", "0x55C", "0x57C", "0x59C", "0x5BC";
"0x51C" -> "0x53C" [label=" 00"];
"0x51C" -> "0x57C" [label=" 01"];
"0x53C" -> "0x55C" [label=" 110"];
"0x57C" -> "0x59C" [label=" 000"];
"0x57C" -> "0x5BC" [label=" 010"];
}
}
"0x55C" -> "0x41B" [label=" 011",minlen=2];
"0x55C" -> "0x33B" [label=" 101",minlen=2];
"0x59C" -> "0x238" [label=" 001",minlen=2];
"0x59C" -> "0x35C" [label=" 010",minlen=2];
"0x59C" -> "0x13A" [label=" 011",minlen=2];
"0x5BC" -> "0x37A" [label=" 000",minlen=2];
"0x5BC" -> "0x455" [label=" 001",minlen=2];
{ rank=same "0x238" -> "0x35C" -> "0x13A" [style=invis,constrain=false]}
}
-->
<!-- Title: G Pages: 1 -->
<svg width="663pt" height="739pt"
viewBox="0.00 0.00 662.97 739.23" 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 735.2313)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-735.2313 658.9695,-735.2313 658.9695,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_51F</title>
<polygon fill="none" stroke="#000000" points="186.7906,-231.4 186.7906,-723.2313 469.7906,-723.2313 469.7906,-231.4 186.7906,-231.4"/>
<text text-anchor="middle" x="328.2906" y="-706.6313" font-family="Times,serif" font-size="14.00" fill="#000000">Node 0x51F</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_51C</title>
<polygon fill="none" stroke="#c0c0c0" points="194.7906,-239.4 194.7906,-577.8 461.7906,-577.8 461.7906,-239.4 194.7906,-239.4"/>
<text text-anchor="middle" x="328.2906" y="-561.2" font-family="Times,serif" font-size="14.00" fill="#000000">Split node 0x51C</text>
</g>
<!-- 0x13B -->
<g id="node1" class="node">
<title>0x13B</title>
<ellipse fill="none" stroke="#000000" cx="435.7906" cy="-88.8" rx="36.5824" ry="18"/>
<text text-anchor="middle" x="435.7906" y="-84.6" font-family="Times,serif" font-size="14.00" fill="#000000">0x13B</text>
</g>
<!-- contentArray[0] -->
<g id="node2" class="node">
<title>contentArray[0]</title>
<ellipse fill="none" stroke="#000000" cx="435.7906" cy="-18" rx="73.4745" ry="18"/>
<text text-anchor="middle" x="435.7906" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">contentArray[0]</text>
</g>
<!-- 0x13B&#45;&gt;contentArray[0] -->
<g id="edge1" class="edge">
<title>0x13B&#45;&gt;contentArray[0]</title>
<path fill="none" stroke="#000000" d="M435.7906,-70.5672C435.7906,-63.2743 435.7906,-54.6987 435.7906,-46.6137"/>
<polygon fill="#000000" stroke="#000000" points="439.2907,-46.417 435.7906,-36.417 432.2907,-46.4171 439.2907,-46.417"/>
<text text-anchor="middle" x="444.3439" y="-49.2" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;A</text>
</g>
<!-- 0x13A -->
<g id="node3" class="node">
<title>0x13A</title>
<ellipse fill="none" stroke="#000000" cx="435.7906" cy="-159.6" rx="37.1443" ry="18"/>
<text text-anchor="middle" x="435.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x13A</text>
</g>
<!-- 0x13A&#45;&gt;0x13B -->
<g id="edge2" class="edge">
<title>0x13A&#45;&gt;0x13B</title>
<path fill="none" stroke="#000000" d="M435.7906,-141.3672C435.7906,-134.0743 435.7906,-125.4987 435.7906,-117.4137"/>
<polygon fill="#000000" stroke="#000000" points="439.2907,-117.217 435.7906,-107.217 432.2907,-117.2171 439.2907,-117.217"/>
<text text-anchor="middle" x="444.3439" y="-120" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;H</text>
</g>
<!-- 0x51F -->
<g id="node4" class="node">
<title>0x51F</title>
<ellipse fill="none" stroke="#000000" cx="318.7906" cy="-661.0156" rx="117.2629" ry="29.3315"/>
<text text-anchor="middle" x="318.7906" y="-665.2156" font-family="Times,serif" font-size="14.00" fill="#000000">Prefix 0x51F</text>
<text text-anchor="middle" x="318.7906" y="-648.4156" font-family="Times,serif" font-size="14.00" fill="#000000">contentArray[1]</text>
</g>
<!-- 0x51C -->
<g id="node5" class="node">
<title>0x51C</title>
<ellipse fill="none" stroke="#000000" cx="318.7906" cy="-527" rx="36.5824" ry="18"/>
<text text-anchor="middle" x="318.7906" y="-522.8" font-family="Times,serif" font-size="14.00" fill="#000000">0x51C</text>
</g>
<!-- 0x51F&#45;&gt;0x51C -->
<g id="edge3" class="edge">
<title>0x51F&#45;&gt;0x51C</title>
<path fill="none" stroke="#000000" d="M318.7906,-631.2732C318.7906,-608.6091 318.7906,-577.6052 318.7906,-555.3044"/>
<polygon fill="#000000" stroke="#000000" points="322.2907,-555.1305 318.7906,-545.1306 315.2907,-555.1306 322.2907,-555.1305"/>
<text text-anchor="middle" x="322.8709" y="-600" font-family="Times,serif" font-size="14.00" fill="#000000">ε</text>
</g>
<!-- 0x53C -->
<g id="node6" class="node">
<title>0x53C</title>
<ellipse fill="none" stroke="#000000" stroke-dasharray="5,2" cx="237.7906" cy="-396.2" rx="35.3587" ry="18"/>
<text text-anchor="middle" x="237.7906" y="-392" font-family="Times,serif" font-size="14.00" fill="#000000">0x53C</text>
</g>
<!-- 0x51C&#45;&gt;0x53C -->
<g id="edge4" class="edge">
<title>0x51C&#45;&gt;0x53C</title>
<path fill="none" stroke="#000000" d="M284.1131,-520.6804C267.7647,-515.4937 251.7906,-506.1624 251.7906,-489.5 251.7906,-489.5 251.7906,-489.5 251.7906,-433.7 251.7906,-430.2948 251.2777,-426.8193 250.4482,-423.4252"/>
<polygon fill="#000000" stroke="#000000" points="253.6734,-422.0307 247.2065,-413.6385 247.0285,-424.2318 253.6734,-422.0307"/>
<text text-anchor="middle" x="262.2906" y="-457.4" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;00</text>
</g>
<!-- 0x57C -->
<g id="node8" class="node">
<title>0x57C</title>
<ellipse fill="none" stroke="#000000" stroke-dasharray="5,2" cx="325.7906" cy="-396.2" rx="35.3587" ry="18"/>
<text text-anchor="middle" x="325.7906" y="-392" font-family="Times,serif" font-size="14.00" fill="#000000">0x57C</text>
</g>
<!-- 0x51C&#45;&gt;0x57C -->
<g id="edge5" class="edge">
<title>0x51C&#45;&gt;0x57C</title>
<path fill="none" stroke="#000000" d="M320.8414,-508.7129C321.3687,-502.6109 321.7906,-495.77 321.7906,-489.5 321.7906,-489.5 321.7906,-489.5 321.7906,-433.7 321.7906,-430.7537 321.9142,-427.6845 322.118,-424.6266"/>
<polygon fill="#000000" stroke="#000000" points="325.6215,-424.7486 323.0562,-414.469 318.6512,-424.1046 325.6215,-424.7486"/>
<text text-anchor="middle" x="332.2906" y="-457.4" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;01</text>
</g>
<!-- 0x55C -->
<g id="node7" class="node">
<title>0x55C</title>
<ellipse fill="none" stroke="#000000" stroke-dasharray="5,2" cx="237.7906" cy="-265.4" rx="35.3587" ry="18"/>
<text text-anchor="middle" x="237.7906" y="-261.2" font-family="Times,serif" font-size="14.00" fill="#000000">0x55C</text>
</g>
<!-- 0x53C&#45;&gt;0x55C -->
<g id="edge6" class="edge">
<title>0x53C&#45;&gt;0x55C</title>
<path fill="none" stroke="#000000" d="M237.7906,-377.8895C237.7906,-371.7859 237.7906,-364.95 237.7906,-358.7 237.7906,-358.7 237.7906,-358.7 237.7906,-302.9 237.7906,-299.9703 237.7906,-296.9119 237.7906,-293.8605"/>
<polygon fill="#000000" stroke="#000000" points="241.2907,-293.7105 237.7906,-283.7105 234.2907,-293.7106 241.2907,-293.7105"/>
<text text-anchor="middle" x="251.7906" y="-326.6" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;110</text>
</g>
<!-- 0x41B -->
<g id="node11" class="node">
<title>0x41B</title>
<ellipse fill="none" stroke="#000000" cx="36.7906" cy="-159.6" rx="36.5824" ry="18"/>
<text text-anchor="middle" x="36.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x41B</text>
</g>
<!-- 0x55C&#45;&gt;0x41B -->
<g id="edge9" class="edge">
<title>0x55C&#45;&gt;0x41B</title>
<path fill="none" stroke="#000000" d="M212.5449,-252.7617C191.8449,-242.3434 161.8208,-227.105 135.7906,-213.4 113.9245,-201.8874 89.5312,-188.6361 70.4296,-178.1656"/>
<polygon fill="#000000" stroke="#000000" points="71.9619,-175.014 61.5118,-173.2686 68.5926,-181.1498 71.9619,-175.014"/>
<text text-anchor="middle" x="149.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;011</text>
</g>
<!-- 0x33B -->
<g id="node12" class="node">
<title>0x33B</title>
<ellipse fill="none" stroke="#000000" cx="128.7906" cy="-159.6" rx="36.5824" ry="18"/>
<text text-anchor="middle" x="128.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x33B</text>
</g>
<!-- 0x55C&#45;&gt;0x33B -->
<g id="edge10" class="edge">
<title>0x55C&#45;&gt;0x33B</title>
<path fill="none" stroke="#000000" d="M221.2359,-249.3313C202.9895,-231.6206 173.4782,-202.9757 152.7171,-182.824"/>
<polygon fill="#000000" stroke="#000000" points="155.1145,-180.2735 145.5012,-175.82 150.2391,-185.2964 155.1145,-180.2735"/>
<text text-anchor="middle" x="197.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;101</text>
</g>
<!-- 0x59C -->
<g id="node9" class="node">
<title>0x59C</title>
<ellipse fill="none" stroke="#000000" stroke-dasharray="5,2" cx="325.7906" cy="-265.4" rx="35.3587" ry="18"/>
<text text-anchor="middle" x="325.7906" y="-261.2" font-family="Times,serif" font-size="14.00" fill="#000000">0x59C</text>
</g>
<!-- 0x57C&#45;&gt;0x59C -->
<g id="edge7" class="edge">
<title>0x57C&#45;&gt;0x59C</title>
<path fill="none" stroke="#000000" d="M325.7906,-377.8895C325.7906,-371.7859 325.7906,-364.95 325.7906,-358.7 325.7906,-358.7 325.7906,-358.7 325.7906,-302.9 325.7906,-299.9703 325.7906,-296.9119 325.7906,-293.8605"/>
<polygon fill="#000000" stroke="#000000" points="329.2907,-293.7105 325.7906,-283.7105 322.2907,-293.7106 329.2907,-293.7105"/>
<text text-anchor="middle" x="339.7906" y="-326.6" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;000</text>
</g>
<!-- 0x5BC -->
<g id="node10" class="node">
<title>0x5BC</title>
<ellipse fill="none" stroke="#000000" stroke-dasharray="5,2" cx="416.7906" cy="-265.4" rx="37.1443" ry="18"/>
<text text-anchor="middle" x="416.7906" y="-261.2" font-family="Times,serif" font-size="14.00" fill="#000000">0x5BC</text>
</g>
<!-- 0x57C&#45;&gt;0x5BC -->
<g id="edge8" class="edge">
<title>0x57C&#45;&gt;0x5BC</title>
<path fill="none" stroke="#000000" d="M356.6658,-387.2435C378.0878,-380.079 402.7906,-369.4801 402.7906,-358.7 402.7906,-358.7 402.7906,-358.7 402.7906,-302.9 402.7906,-299.4948 403.3035,-296.0193 404.133,-292.6252"/>
<polygon fill="#000000" stroke="#000000" points="407.5528,-293.4318 407.3747,-282.8385 400.9078,-291.2307 407.5528,-293.4318"/>
<text text-anchor="middle" x="416.7906" y="-326.6" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;010</text>
</g>
<!-- 0x59C&#45;&gt;0x13A -->
<g id="edge13" class="edge">
<title>0x59C&#45;&gt;0x13A</title>
<path fill="none" stroke="#000000" d="M342.4972,-249.3313C360.911,-231.6206 390.693,-202.9757 411.6447,-182.824"/>
<polygon fill="#000000" stroke="#000000" points="414.1457,-185.2747 418.9268,-175.82 409.2931,-180.2296 414.1457,-185.2747"/>
<text text-anchor="middle" x="410.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;011</text>
</g>
<!-- 0x238 -->
<g id="node13" class="node">
<title>0x238</title>
<ellipse fill="none" stroke="#000000" cx="218.7906" cy="-159.6" rx="35.3587" ry="18"/>
<text text-anchor="middle" x="218.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x238</text>
</g>
<!-- 0x59C&#45;&gt;0x238 -->
<g id="edge11" class="edge">
<title>0x59C&#45;&gt;0x238</title>
<path fill="none" stroke="#000000" d="M309.5396,-249.3313C291.7067,-231.6983 262.9122,-203.2267 242.5467,-183.0897"/>
<polygon fill="#000000" stroke="#000000" points="244.7663,-180.3623 235.1945,-175.82 239.8445,-185.3399 244.7663,-180.3623"/>
<text text-anchor="middle" x="286.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;001</text>
</g>
<!-- 0x35C -->
<g id="node14" class="node">
<title>0x35C</title>
<ellipse fill="none" stroke="#000000" cx="325.7906" cy="-159.6" rx="36.5824" ry="18"/>
<text text-anchor="middle" x="325.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x35C</text>
</g>
<!-- 0x59C&#45;&gt;0x35C -->
<g id="edge12" class="edge">
<title>0x59C&#45;&gt;0x35C</title>
<path fill="none" stroke="#000000" d="M325.7906,-246.971C325.7906,-230.6622 325.7906,-206.6111 325.7906,-187.8698"/>
<polygon fill="#000000" stroke="#000000" points="329.2907,-187.8177 325.7906,-177.8178 322.2907,-187.8178 329.2907,-187.8177"/>
<text text-anchor="middle" x="339.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;010</text>
</g>
<!-- 0x37A -->
<g id="node15" class="node">
<title>0x37A</title>
<ellipse fill="none" stroke="#000000" cx="528.7906" cy="-159.6" rx="37.1443" ry="18"/>
<text text-anchor="middle" x="528.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x37A</text>
</g>
<!-- 0x5BC&#45;&gt;0x37A -->
<g id="edge14" class="edge">
<title>0x5BC&#45;&gt;0x37A</title>
<path fill="none" stroke="#000000" d="M433.801,-249.3313C452.5495,-231.6206 482.8731,-202.9757 504.2057,-182.824"/>
<polygon fill="#000000" stroke="#000000" points="506.7542,-185.2313 511.6201,-175.82 501.9472,-180.1427 506.7542,-185.2313"/>
<text text-anchor="middle" x="502.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;000</text>
</g>
<!-- 0x455 -->
<g id="node16" class="node">
<title>0x455</title>
<ellipse fill="none" stroke="#000000" cx="619.7906" cy="-159.6" rx="35.3587" ry="18"/>
<text text-anchor="middle" x="619.7906" y="-155.4" font-family="Times,serif" font-size="14.00" fill="#000000">0x455</text>
</g>
<!-- 0x5BC&#45;&gt;0x455 -->
<g id="edge15" class="edge">
<title>0x5BC&#45;&gt;0x455</title>
<path fill="none" stroke="#000000" d="M443.4197,-252.397C464.5065,-242.0254 494.6583,-227.0286 520.7906,-213.4 542.9996,-201.8175 567.7596,-188.3619 586.9624,-177.8047"/>
<polygon fill="#000000" stroke="#000000" points="588.838,-180.7674 595.9072,-172.8758 585.4597,-174.6365 588.838,-180.7674"/>
<text text-anchor="middle" x="564.7906" y="-200.8" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;001</text>
</g>
<!-- 0x238&#45;&gt;0x35C -->
<!-- 0x35C&#45;&gt;0x13A -->
</g>
</svg>