images/list-step-2-unbounded-string.dot.svg

<?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.40.1 (20161225.0304)
 -->
<!-- Title: G Pages: 1 -->
<svg width="312pt" height="142pt"
 viewBox="0.00 0.00 312.00 142.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 138)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-138 308,-138 308,4 -4,4"/>
<!-- list -->
<g id="node1" class="node">
<title>list</title>
<polygon fill="#ffffff" stroke="transparent" points="304,-55 0,-55 0,0 304,0 304,-55"/>
<polygon fill="#ffff00" stroke="transparent" points="8,-3.5 8,-50.5 40,-50.5 40,-3.5 8,-3.5"/>
<polygon fill="none" stroke="#000000" points="8,-3.5 8,-50.5 40,-50.5 40,-3.5 8,-3.5"/>
<text text-anchor="start" x="14" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">a</text>
<polygon fill="none" stroke="#000000" points="40,-3.5 40,-50.5 72,-50.5 72,-3.5 40,-3.5"/>
<text text-anchor="start" x="46" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">b</text>
<polygon fill="#ffff00" stroke="transparent" points="72,-3.5 72,-50.5 104,-50.5 104,-3.5 72,-3.5"/>
<polygon fill="none" stroke="#000000" points="72,-3.5 72,-50.5 104,-50.5 104,-3.5 72,-3.5"/>
<text text-anchor="start" x="78" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">c</text>
<polygon fill="none" stroke="#000000" points="104,-3.5 104,-50.5 136,-50.5 136,-3.5 104,-3.5"/>
<text text-anchor="start" x="110" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">d</text>
<polygon fill="#ffff00" stroke="transparent" points="136,-3.5 136,-50.5 168,-50.5 168,-3.5 136,-3.5"/>
<polygon fill="none" stroke="#000000" points="136,-3.5 136,-50.5 168,-50.5 168,-3.5 136,-3.5"/>
<text text-anchor="start" x="142" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">e</text>
<polygon fill="none" stroke="#000000" points="168,-3.5 168,-50.5 200,-50.5 200,-3.5 168,-3.5"/>
<text text-anchor="start" x="174" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">f</text>
<polygon fill="#ffff00" stroke="transparent" points="200,-3.5 200,-50.5 232,-50.5 232,-3.5 200,-3.5"/>
<polygon fill="none" stroke="#000000" points="200,-3.5 200,-50.5 232,-50.5 232,-3.5 200,-3.5"/>
<text text-anchor="start" x="206" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">g</text>
<polygon fill="none" stroke="#000000" points="232,-3.5 232,-50.5 264,-50.5 264,-3.5 232,-3.5"/>
<text text-anchor="start" x="238" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">h</text>
<polygon fill="#ffff00" stroke="transparent" points="264,-3.5 264,-50.5 296,-50.5 296,-3.5 264,-3.5"/>
<polygon fill="none" stroke="#000000" points="264,-3.5 264,-50.5 296,-50.5 296,-3.5 264,-3.5"/>
<text text-anchor="start" x="270" y="-18.9" font-family="PT Mono" font-size="32.00" fill="#000000">i</text>
</g>
<!-- include -->
<g id="node2" class="node">
<title>include</title>
<polygon fill="#ffff00" stroke="#000000" points="189.5,-134 114.5,-134 114.5,-91 189.5,-91 189.5,-134"/>
<text text-anchor="middle" x="152" y="-104.4" font-family="PT Mono" font-size="32.00" fill="#000000">::2</text>
</g>
<!-- include&#45;&gt;list -->
<g id="edge1" class="edge">
<title>include&#45;&gt;list:p0</title>
<path fill="none" stroke="#000000" d="M114.2881,-102.0781C82.4308,-92.3071 40.0553,-76.7198 27.5908,-59.9253"/>
<polygon fill="#000000" stroke="#000000" points="30.8309,-58.5988 24,-50.5 24.2895,-61.0909 30.8309,-58.5988"/>
</g>
<!-- include&#45;&gt;list -->
<g id="edge2" class="edge">
<title>include&#45;&gt;list:p2</title>
<path fill="none" stroke="#000000" d="M114.4007,-92.4394C103.2995,-84.2078 93.1261,-73.564 89.4512,-60.7338"/>
<polygon fill="#000000" stroke="#000000" points="92.8694,-59.9095 88,-50.5 85.9388,-60.8924 92.8694,-59.9095"/>
</g>
<!-- include&#45;&gt;list -->
<g id="edge3" class="edge">
<title>include&#45;&gt;list:p4</title>
<path fill="none" stroke="#000000" d="M152,-90.9801C152,-82.0341 152,-71.3054 152,-60.8239"/>
<polygon fill="#000000" stroke="#000000" points="155.5001,-60.5 152,-50.5 148.5001,-60.5 155.5001,-60.5"/>
</g>
<!-- include&#45;&gt;list -->
<g id="edge4" class="edge">
<title>include&#45;&gt;list:p6</title>
<path fill="none" stroke="#000000" d="M189.5993,-92.4394C200.7005,-84.2078 210.8739,-73.564 214.5488,-60.7338"/>
<polygon fill="#000000" stroke="#000000" points="218.0612,-60.8924 216,-50.5 211.1306,-59.9095 218.0612,-60.8924"/>
</g>
<!-- include&#45;&gt;list -->
<g id="edge5" class="edge">
<title>include&#45;&gt;list:p8</title>
<path fill="none" stroke="#000000" d="M189.7119,-102.0781C221.5692,-92.3071 263.9447,-76.7198 276.4092,-59.9253"/>
<polygon fill="#000000" stroke="#000000" points="279.7105,-61.0909 280,-50.5 273.1691,-58.5988 279.7105,-61.0909"/>
</g>
</g>
</svg>