78 lines
3.5 KiB
XML
78 lines
3.5 KiB
XML
<?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">
|
|
|
|
<svg id="main" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve">
|
|
|
|
<style type="text/css"><![CDATA[
|
|
.node, .edge {opacity: 0.7;}
|
|
.node.selected, .edge.selected {opacity: 1;}
|
|
.edge:hover path { stroke: red; }
|
|
.edge:hover polygon { stroke: red; fill: red; }
|
|
]]></style>
|
|
<script type="application/ecmascript" xlink:href="svg.min.js"/>
|
|
<svg id="graph" class="graph">
|
|
<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->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge1" class="edge">
|
|
<title>dir_bfff093b02c380358955f421b7f67de5->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge1"><a xlink:href="dir_000056_000020.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-headlabel"><a xlink:href="dir_000056_000020.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>
|
|
</svg>
|
|
|
|
<style type='text/css'>
|
|
<![CDATA[
|
|
[data-mouse-over-selected='false'] { opacity: 0.7; }
|
|
[data-mouse-over-selected='true'] { opacity: 1.0; }
|
|
]]>
|
|
</style>
|
|
<script type="application/ecmascript"><![CDATA[
|
|
document.addEventListener('DOMContentLoaded', (event) => {
|
|
highlightEdges();
|
|
highlightAdjacentNodes();
|
|
});
|
|
]]></script>
|
|
</svg>
|
