imgs/readme/depgraph.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 10.0.1 (0)
 -->
<!-- Pages: 1 -->
<svg width="415pt" height="404pt"
 viewBox="0.00 0.00 414.58 404.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 400)">
<polygon fill="white" stroke="none" points="-4,4 -4,-400 410.58,-400 410.58,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" points="192.88,-108 71.88,-108 71.88,-72 192.88,-72 192.88,-108"/>
<text text-anchor="middle" x="132.38" y="-85.33" font-family="Times,serif" font-size="14.00">pa&#45;affine&#45;types</text>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<ellipse fill="none" stroke="black" cx="196.38" cy="-18" rx="53.84" ry="18"/>
<text text-anchor="middle" x="196.38" y="-13.32" font-family="Times,serif" font-size="14.00">pa&#45;types</text>
</g>
<!-- 0&#45;&gt;10 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;10</title>
<path fill="none" stroke="black" d="M148.2,-71.7C155.83,-63.35 165.12,-53.18 173.5,-44.02"/>
<polygon fill="black" stroke="black" points="175.99,-46.48 180.16,-36.74 170.83,-41.76 175.99,-46.48"/>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" points="311.75,-108 211,-108 211,-72 311.75,-72 311.75,-108"/>
<text text-anchor="middle" x="261.38" y="-85.33" font-family="Times,serif" font-size="14.00">pa&#45;heuristic</text>
</g>
<!-- 1&#45;&gt;10 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;10</title>
<path fill="none" stroke="black" d="M245.31,-71.7C237.56,-63.35 228.12,-53.18 219.6,-44.02"/>
<polygon fill="black" stroke="black" points="222.21,-41.68 212.84,-36.73 217.08,-46.44 222.21,-41.68"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" points="199.38,-180 141.38,-180 141.38,-144 199.38,-144 199.38,-180"/>
<text text-anchor="middle" x="170.38" y="-157.32" font-family="Times,serif" font-size="14.00">pa&#45;vis</text>
</g>
<!-- 2&#45;&gt;0 -->
<g id="edge3" class="edge">
<title>2&#45;&gt;0</title>
<path fill="none" stroke="black" d="M160.98,-143.7C156.79,-135.98 151.76,-126.71 147.09,-118.11"/>
<polygon fill="black" stroke="black" points="150.23,-116.55 142.38,-109.43 144.08,-119.89 150.23,-116.55"/>
</g>
<!-- 2&#45;&gt;1 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;1</title>
<path fill="none" stroke="black" d="M192.87,-143.7C204.03,-135.11 217.69,-124.61 229.87,-115.24"/>
<polygon fill="black" stroke="black" points="231.83,-118.14 237.62,-109.27 227.56,-112.59 231.83,-118.14"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="298.38,-252 228.38,-252 228.38,-216 298.38,-216 298.38,-252"/>
<text text-anchor="middle" x="263.38" y="-229.32" font-family="Times,serif" font-size="14.00">astarpa</text>
</g>
<!-- 3&#45;&gt;2 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;2</title>
<path fill="none" stroke="black" d="M240.39,-215.7C228.98,-207.11 215.02,-196.61 202.58,-187.24"/>
<polygon fill="black" stroke="black" points="204.73,-184.47 194.63,-181.26 200.52,-190.07 204.73,-184.47"/>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="212.38,-324 130.38,-324 130.38,-288 212.38,-288 212.38,-324"/>
<text text-anchor="middle" x="171.38" y="-301.32" font-family="Times,serif" font-size="14.00">astarpa&#45;c</text>
</g>
<!-- 4&#45;&gt;3 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;3</title>
<path fill="none" stroke="black" d="M194.12,-287.7C205.4,-279.11 219.21,-268.61 231.52,-259.24"/>
<polygon fill="black" stroke="black" points="233.53,-262.1 239.37,-253.26 229.29,-256.53 233.53,-262.1"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="209.88,-252 130.88,-252 130.88,-216 209.88,-216 209.88,-252"/>
<text text-anchor="middle" x="170.38" y="-229.32" font-family="Times,serif" font-size="14.00">astarpa2</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge7" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M171.13,-287.7C171.02,-280.41 170.9,-271.73 170.78,-263.54"/>
<polygon fill="black" stroke="black" points="174.28,-263.57 170.64,-253.62 167.28,-263.67 174.28,-263.57"/>
</g>
<!-- 5&#45;&gt;2 -->
<g id="edge9" class="edge">
<title>5&#45;&gt;2</title>
<path fill="none" stroke="black" d="M170.38,-215.7C170.38,-208.41 170.38,-199.73 170.38,-191.54"/>
<polygon fill="black" stroke="black" points="173.88,-191.62 170.38,-181.62 166.88,-191.62 173.88,-191.62"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="black" points="112.75,-180 0,-180 0,-144 112.75,-144 112.75,-180"/>
<text text-anchor="middle" x="56.38" y="-157.32" font-family="Times,serif" font-size="14.00">pa&#45;bitpacking</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge8" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M141.9,-215.52C127.37,-206.6 109.52,-195.63 93.88,-186.03"/>
<polygon fill="black" stroke="black" points="96.13,-183.3 85.77,-181.05 92.47,-189.27 96.13,-183.3"/>
</g>
<!-- 6&#45;&gt;10 -->
<g id="edge10" class="edge">
<title>6&#45;&gt;10</title>
<path fill="none" stroke="black" d="M52.52,-143.78C49.22,-124.4 47.12,-92.89 62.38,-72 79.62,-48.38 109.06,-35.28 135.95,-28.02"/>
<polygon fill="black" stroke="black" points="136.54,-31.48 145.42,-25.7 134.87,-24.68 136.54,-31.48"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="none" stroke="black" points="292.5,-324 232.25,-324 232.25,-288 292.5,-288 292.5,-324"/>
<text text-anchor="middle" x="262.38" y="-301.32" font-family="Times,serif" font-size="14.00">pa&#45;bin</text>
</g>
<!-- 7&#45;&gt;3 -->
<g id="edge11" class="edge">
<title>7&#45;&gt;3</title>
<path fill="none" stroke="black" d="M262.62,-287.7C262.73,-280.41 262.85,-271.73 262.97,-263.54"/>
<polygon fill="black" stroke="black" points="266.47,-263.67 263.11,-253.62 259.47,-263.57 266.47,-263.67"/>
</g>
<!-- 7&#45;&gt;5 -->
<g id="edge12" class="edge">
<title>7&#45;&gt;5</title>
<path fill="none" stroke="black" d="M239.63,-287.7C228.35,-279.11 214.54,-268.61 202.23,-259.24"/>
<polygon fill="black" stroke="black" points="204.46,-256.53 194.38,-253.26 200.22,-262.1 204.46,-256.53"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<ellipse fill="none" stroke="black" cx="335.38" cy="-162" rx="71.2" ry="18"/>
<text text-anchor="middle" x="335.38" y="-157.32" font-family="Times,serif" font-size="14.00">pa&#45;generate</text>
</g>
<!-- 7&#45;&gt;11 -->
<g id="edge13" class="edge">
<title>7&#45;&gt;11</title>
<path fill="none" stroke="black" d="M280.16,-287.71C289.36,-277.95 300.14,-265.1 307.38,-252 317.91,-232.92 325.1,-209.32 329.56,-191.21"/>
<polygon fill="black" stroke="black" points="332.92,-192.22 331.76,-181.69 326.1,-190.64 332.92,-192.22"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="none" stroke="black" points="112.75,-252 0,-252 0,-216 112.75,-216 112.75,-252"/>
<text text-anchor="middle" x="56.38" y="-229.32" font-family="Times,serif" font-size="14.00">pa&#45;base&#45;algos</text>
</g>
<!-- 8&#45;&gt;2 -->
<g id="edge15" class="edge">
<title>8&#45;&gt;2</title>
<path fill="none" stroke="black" d="M84.85,-215.52C99.38,-206.6 117.23,-195.63 132.87,-186.03"/>
<polygon fill="black" stroke="black" points="134.28,-189.27 140.98,-181.05 130.62,-183.3 134.28,-189.27"/>
</g>
<!-- 8&#45;&gt;6 -->
<g id="edge14" class="edge">
<title>8&#45;&gt;6</title>
<path fill="none" stroke="black" d="M56.38,-215.7C56.38,-208.41 56.38,-199.73 56.38,-191.54"/>
<polygon fill="black" stroke="black" points="59.88,-191.62 56.38,-181.62 52.88,-191.62 59.88,-191.62"/>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<polygon fill="none" stroke="black" points="212.38,-396 106.38,-396 106.38,-360 212.38,-360 212.38,-396"/>
<text text-anchor="middle" x="159.38" y="-373.32" font-family="Times,serif" font-size="14.00">astarpa&#45;next</text>
</g>
<!-- 9&#45;&gt;7 -->
<g id="edge17" class="edge">
<title>9&#45;&gt;7</title>
<path fill="none" stroke="black" d="M185.1,-359.52C197.98,-350.76 213.75,-340.04 227.69,-330.58"/>
<polygon fill="black" stroke="black" points="229.42,-333.63 235.73,-325.11 225.49,-327.84 229.42,-333.63"/>
</g>
<!-- 9&#45;&gt;8 -->
<g id="edge16" class="edge">
<title>9&#45;&gt;8</title>
<path fill="none" stroke="black" d="M146.75,-359.59C128.89,-334.97 96.12,-289.8 75.34,-261.14"/>
<polygon fill="black" stroke="black" points="78.38,-259.38 69.68,-253.34 72.71,-263.49 78.38,-259.38"/>
</g>
<!-- 11&#45;&gt;10 -->
<g id="edge18" class="edge">
<title>11&#45;&gt;10</title>
<path fill="none" stroke="black" d="M337.07,-143.66C338.01,-124.17 336.56,-92.56 320.38,-72 303.99,-51.18 277.86,-38.41 253.8,-30.64"/>
<polygon fill="black" stroke="black" points="254.97,-27.34 244.38,-27.85 252.97,-34.05 254.97,-27.34"/>
</g>
</g>
</svg>