52 lines
2.7 KiB
XML
52 lines
2.7 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/triggers Pages: 1 -->
|
|
<svg width="88pt" height="118pt"
|
|
viewBox="0.00 0.00 88.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/lib/solver/strategies/triggers</title>
|
|
<g id="clust1" class="cluster">
|
|
<title>clusterdir_b0553efdd4ad7f265c0580564941af0c</title>
|
|
<g id="a_clust1"><a xlink:href="dir_b0553efdd4ad7f265c0580564941af0c.html" target="_top" xlink:title="strategies">
|
|
<polygon fill="#edf0f7" stroke="#7f7f7f" stroke-dasharray="5,2" points="8,-47.25 8,-101.75 72,-101.75 72,-47.25 8,-47.25"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="40" y="-88.25" font-family="Helvetica,sans-Serif" font-size="10.00">strategies</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_897cfbcdbf2b76d535de4ec754728fa0 -->
|
|
<g id="node1" class="node">
|
|
<title>dir_897cfbcdbf2b76d535de4ec754728fa0</title>
|
|
<g id="a_node1"><a xlink:href="dir_897cfbcdbf2b76d535de4ec754728fa0.html" target="_top" xlink:title="triggers">
|
|
<polygon fill="#edf0f7" stroke="#404040" stroke-width="2" points="64.12,-74.5 15.88,-74.5 15.88,-55.25 64.12,-55.25 64.12,-74.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="40" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">triggers</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="63.38,-19.25 16.62,-19.25 16.62,0 63.38,0 63.38,-19.25"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="40" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">include</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_897cfbcdbf2b76d535de4ec754728fa0->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge1" class="edge">
|
|
<title>dir_897cfbcdbf2b76d535de4ec754728fa0->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge1"><a xlink:href="dir_000059_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M40,-55.08C40,-48.57 40,-39.42 40,-31.12"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="43.5,-31.12 40,-21.12 36.5,-31.12 43.5,-31.12"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge1-headlabel"><a xlink:href="dir_000059_000020.html" target="_top" xlink:title="4">
|
|
<text xml:space="preserve" text-anchor="middle" x="46.34" y="-29.33" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">4</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
</g>
|
|
</svg>
|
