blob: 975b602751fe2c20a43279bd42434cd518c51f68 [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">
<!-- Generated by graphviz version 2.36.0 (20140111.2315)
-->
<!-- Title: MinState Pages: 1 -->
<svg width="117pt" height="182pt"
viewBox="0.00 0.00 117.00 182.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 178)">
<title>MinState</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-178 113,-178 113,4 -4,4"/>
<!-- Node1 -->
<g id="node1" class="node"><title>Node1</title>
<polygon fill="#bfbfbf" stroke="black" points="22,-0.5 22,-57.5 78,-57.5 78,-0.5 22,-0.5"/>
<text text-anchor="middle" x="50" y="-45.5" font-family="Helvetica,sans-Serif" font-size="10.00">MinState</text>
<polyline fill="none" stroke="black" points="22,-38.5 78,-38.5 "/>
<text text-anchor="middle" x="50" y="-26.5" font-family="Helvetica,sans-Serif" font-size="10.00"> </text>
<polyline fill="none" stroke="black" points="22,-19.5 78,-19.5 "/>
<text text-anchor="start" x="30" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">+ Set()</text>
</g>
<!-- Node2 -->
<g id="node2" class="node"><title>Node2</title>
<polygon fill="white" stroke="#bfbfbf" points="-0.5,-116.5 -0.5,-173.5 28.5,-173.5 28.5,-116.5 -0.5,-116.5"/>
<text text-anchor="middle" x="14" y="-161.5" font-family="Helvetica,sans-Serif" font-size="10.00">int</text>
<polyline fill="none" stroke="#bfbfbf" points="-0.5,-154.5 28.5,-154.5 "/>
<text text-anchor="middle" x="14" y="-142.5" font-family="Helvetica,sans-Serif" font-size="10.00"> </text>
<polyline fill="none" stroke="#bfbfbf" points="-0.5,-135.5 28.5,-135.5 "/>
<text text-anchor="middle" x="14" y="-123.5" font-family="Helvetica,sans-Serif" font-size="10.00"> </text>
</g>
<!-- Node2&#45;&gt;Node1 -->
<g id="edge1" class="edge"><title>Node2&#45;&gt;Node1</title>
<path fill="none" stroke="#404040" d="M10.5257,-116.187C9.92691,-103.598 10.6058,-88.7223 15,-76 15.9398,-73.279 17.1085,-70.5901 18.443,-67.9604"/>
<polygon fill="none" stroke="#404040" points="18.5176,-67.8364 18.1811,-60.6331 24.7008,-57.552 25.0373,-64.7553 18.5176,-67.8364"/>
<text text-anchor="middle" x="39.5" y="-90" font-family="Helvetica,sans-Serif" font-size="10.00"> +len</text>
<text text-anchor="middle" x="39.5" y="-79" font-family="Helvetica,sans-Serif" font-size="10.00">+buffer_len</text>
</g>
<!-- Node3 -->
<g id="node3" class="node"><title>Node3</title>
<polygon fill="white" stroke="#bfbfbf" points="63,-116.5 63,-173.5 109,-173.5 109,-116.5 63,-116.5"/>
<text text-anchor="middle" x="86" y="-161.5" font-family="Helvetica,sans-Serif" font-size="10.00">uint8_t</text>
<polyline fill="none" stroke="#bfbfbf" points="63,-154.5 109,-154.5 "/>
<text text-anchor="middle" x="86" y="-142.5" font-family="Helvetica,sans-Serif" font-size="10.00"> </text>
<polyline fill="none" stroke="#bfbfbf" points="63,-135.5 109,-135.5 "/>
<text text-anchor="middle" x="86" y="-123.5" font-family="Helvetica,sans-Serif" font-size="10.00"> </text>
</g>
<!-- Node3&#45;&gt;Node1 -->
<g id="edge2" class="edge"><title>Node3&#45;&gt;Node1</title>
<path fill="none" stroke="#404040" d="M77.2854,-116.404C72.8521,-102.365 67.3839,-85.049 62.5097,-69.614"/>
<polygon fill="none" stroke="#404040" points="62.3728,-69.1802 56.7516,-64.6633 58.7591,-57.7372 64.3803,-62.2542 62.3728,-69.1802"/>
<text text-anchor="middle" x="88.5" y="-84.5" font-family="Helvetica,sans-Serif" font-size="10.00"> +value</text>
</g>
</g>
</svg>