103 lines
4.8 KiB
XML
103 lines
4.8 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/lib/solver/strategies Pages: 1 -->
|
|
<svg width="181pt" height="126pt"
|
|
viewBox="0.00 0.00 181.00 126.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 121.75)">
|
|
<title>src/lib/solver/strategies</title>
|
|
<g id="clust1" class="cluster">
|
|
<title>clusterdir_4fd0dc9a50f7a53e22cb356c650f915e</title>
|
|
<g id="a_clust1"><a xlink:href="dir_4fd0dc9a50f7a53e22cb356c650f915e.html" target="_top" xlink:title="solver">
|
|
<polygon fill="#edf0f7" stroke="#7f7f7f" stroke-dasharray="5,2" points="8,-39.25 8,-109.75 165,-109.75 165,-39.25 8,-39.25"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="86.5" y="-96.25" font-family="Helvetica,sans-Serif" font-size="10.00">solver</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<g id="clust2" class="cluster">
|
|
<title>clusterdir_b0553efdd4ad7f265c0580564941af0c</title>
|
|
<g id="a_clust2"><a xlink:href="dir_b0553efdd4ad7f265c0580564941af0c.html" target="_top">
|
|
<polygon fill="#edf0f7" stroke="#404040" stroke-width="2" points="16,-47.25 16,-82.5 157,-82.5 157,-47.25 16,-47.25"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_b0553efdd4ad7f265c0580564941af0c -->
|
|
<g id="node1" class="node">
|
|
<title>dir_b0553efdd4ad7f265c0580564941af0c</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="53" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">strategies</text>
|
|
</g>
|
|
<!-- dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="node3" class="node">
|
|
<title>dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_node3"><a xlink:href="dir_b0856f6b0d80ccb263b2f415c91f9e17.html" target="_top" xlink:title="include">
|
|
<polygon fill="#edf0f7" stroke="red" stroke-dasharray="5,2" points="112.38,-19.25 65.62,-19.25 65.62,0 112.38,0 112.38,-19.25"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="89" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">include</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_b0553efdd4ad7f265c0580564941af0c->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge1" class="edge">
|
|
<title>dir_b0553efdd4ad7f265c0580564941af0c->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge1"><a xlink:href="dir_000050_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M58.62,-55.55C63.45,-48.41 70.58,-37.87 76.72,-28.79"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="79.51,-30.92 82.21,-20.67 73.71,-27 79.51,-30.92"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge1-headlabel"><a xlink:href="dir_000050_000020.html" target="_top" xlink:title="14">
|
|
<text xml:space="preserve" text-anchor="middle" x="80.69" y="-30.36" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">14</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_897cfbcdbf2b76d535de4ec754728fa0 -->
|
|
<g id="node2" class="node">
|
|
<title>dir_897cfbcdbf2b76d535de4ec754728fa0</title>
|
|
<g id="a_node2"><a xlink:href="dir_897cfbcdbf2b76d535de4ec754728fa0.html" target="_top" xlink:title="triggers">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="149.12,-74.5 100.88,-74.5 100.88,-55.25 149.12,-55.25 149.12,-74.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="125" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">triggers</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_897cfbcdbf2b76d535de4ec754728fa0->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge2" class="edge">
|
|
<title>dir_897cfbcdbf2b76d535de4ec754728fa0->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge2"><a xlink:href="dir_000059_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M119.06,-55.08C114.29,-48.03 107.44,-37.9 101.48,-29.08"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="104.42,-27.19 95.92,-20.86 98.62,-31.11 104.42,-27.19"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge2-headlabel"><a xlink:href="dir_000059_000020.html" target="_top" xlink:title="4">
|
|
<text xml:space="preserve" text-anchor="middle" x="107.94" y="-23.45" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">4</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>
|
