docs(docs): rebuilt

This commit is contained in:
2025-11-06 09:16:40 -05:00
parent ba306523d6
commit d7237e7367
2259 changed files with 279745 additions and 561 deletions

View File

@@ -0,0 +1,51 @@
<?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 13.0.1 (20250615.1724)
-->
<!-- Title: src/python/solver/trampoline Pages: 1 -->
<svg width="102pt" height="118pt"
viewBox="0.00 0.00 102.00 118.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 113.75)">
<title>src/python/solver/trampoline</title>
<g id="clust1" class="cluster">
<title>clusterdir_64012712bac8d4927da7703e58c6c3c3</title>
<g id="a_clust1"><a xlink:href="dir_64012712bac8d4927da7703e58c6c3c3.html" target="_top" xlink:title="solver">
<polygon fill="#edf0f7" stroke="#7f7f7f" stroke-dasharray="5,2" points="8,-47.25 8,-101.75 86,-101.75 86,-47.25 8,-47.25"/>
<text xml:space="preserve" text-anchor="middle" x="47" y="-88.25" font-family="Helvetica,sans-Serif" font-size="10.00">solver</text>
</a>
</g>
</g>
<!-- dir_bfff093b02c380358955f421b7f67de5 -->
<g id="node1" class="node">
<title>dir_bfff093b02c380358955f421b7f67de5</title>
<g id="a_node1"><a xlink:href="dir_bfff093b02c380358955f421b7f67de5.html" target="_top" xlink:title="trampoline">
<polygon fill="#edf0f7" stroke="#404040" stroke-width="2" points="77.5,-74.5 16.5,-74.5 16.5,-55.25 77.5,-55.25 77.5,-74.5"/>
<text xml:space="preserve" text-anchor="middle" x="47" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">trampoline</text>
</a>
</g>
</g>
<!-- dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
<g id="node2" class="node">
<title>dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
<g id="a_node2"><a xlink:href="dir_b0856f6b0d80ccb263b2f415c91f9e17.html" target="_top" xlink:title="include">
<polygon fill="#edf0f7" stroke="red" stroke-dasharray="5,2" points="70.38,-19.25 23.62,-19.25 23.62,0 70.38,0 70.38,-19.25"/>
<text xml:space="preserve" text-anchor="middle" x="47" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">include</text>
</a>
</g>
</g>
<!-- dir_bfff093b02c380358955f421b7f67de5&#45;&gt;dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
<g id="edge1" class="edge">
<title>dir_bfff093b02c380358955f421b7f67de5&#45;&gt;dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
<g id="a_edge1"><a xlink:href="dir_000047_000015.html" target="_top">
<path fill="none" stroke="#63b8ff" d="M47,-55.08C47,-48.57 47,-39.42 47,-31.12"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="50.5,-31.12 47,-21.12 43.5,-31.12 50.5,-31.12"/>
</a>
</g>
<g id="a_edge1&#45;headlabel"><a xlink:href="dir_000047_000015.html" target="_top" xlink:title="2">
<text xml:space="preserve" text-anchor="middle" x="53.34" y="-29.33" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">2</text>
</a>
</g>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 2.7 KiB