301 lines
16 KiB
XML
301 lines
16 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 Pages: 1 -->
|
|
<!--zoomable 142 -->
|
|
|
|
<svg id="main" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" onload="init(evt)">
|
|
|
|
<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>
|
|
|
|
<defs>
|
|
<circle id="rim" cx="0" cy="0" r="7"/>
|
|
<circle id="rim2" cx="0" cy="0" r="3.5"/>
|
|
<g id="zoomPlus">
|
|
<use xlink:href="#rim" fill="#404040"><set attributeName="fill" to="#808080" begin="zoomplus.mouseover" end="zoomplus.mouseout"/></use>
|
|
<path d="M-4,0h8M0,-4v8" fill="none" stroke="white" stroke-width="1.5" pointer-events="none"/>
|
|
</g>
|
|
<g id="zoomMin">
|
|
<use xlink:href="#rim" fill="#404040"><set attributeName="fill" to="#808080" begin="zoomminus.mouseover" end="zoomminus.mouseout"/></use>
|
|
<path d="M-4,0h8" fill="none" stroke="white" stroke-width="1.5" pointer-events="none"/>
|
|
</g>
|
|
<g id="arrowUp" transform="translate(30 24)">
|
|
<use xlink:href="#rim"/>
|
|
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
|
|
</g>
|
|
<g id="arrowRight" transform="rotate(90) translate(36 -43)">
|
|
<use xlink:href="#rim"/>
|
|
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
|
|
</g>
|
|
<g id="arrowDown" transform="rotate(180) translate(-30 -48)">
|
|
<use xlink:href="#rim"/>
|
|
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
|
|
</g>
|
|
<g id="arrowLeft" transform="rotate(270) translate(-36 17)">
|
|
<use xlink:href="#rim"/>
|
|
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
|
|
</g>
|
|
<g id="resetDef">
|
|
<use xlink:href="#rim2" fill="#404040"><set attributeName="fill" to="#808080" begin="reset.mouseover" end="reset.mouseout"/></use>
|
|
</g>
|
|
</defs>
|
|
<script type="application/ecmascript">
|
|
var viewWidth = 579;
|
|
var viewHeight = 142;
|
|
var sectionId = 'dynsection-0';
|
|
</script>
|
|
<script type="application/ecmascript" xlink:href="svg.min.js"/>
|
|
<svg id="graph" class="graph">
|
|
<g id="viewport">
|
|
<title>src/lib</title>
|
|
<g id="clust1" class="cluster">
|
|
<title>clusterdir_68267d1309a1af8e8297ef4c3efbcdba</title>
|
|
<g id="a_clust1"><a xlink:href="dir_68267d1309a1af8e8297ef4c3efbcdba.html" target="_top" xlink:title="src">
|
|
<polygon fill="#edf0f7" stroke="#404040" stroke-dasharray="5,2" points="8,-8 8,-125.75 563,-125.75 563,-8 8,-8"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="285.5" y="-112.25" font-family="Helvetica,sans-Serif" font-size="10.00">src</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<g id="clust2" class="cluster">
|
|
<title>clusterdir_c85d3e3c5052e9ad9ce18c6863244a25</title>
|
|
<g id="a_clust2"><a xlink:href="dir_c85d3e3c5052e9ad9ce18c6863244a25.html" target="_top">
|
|
<polygon fill="#edf0f7" stroke="#404040" stroke-width="2" points="16,-63.25 16,-98.5 555,-98.5 555,-63.25 16,-63.25"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="node1" class="node">
|
|
<title>dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_node1"><a xlink:href="dir_b0856f6b0d80ccb263b2f415c91f9e17.html" target="_top" xlink:title="include">
|
|
<polygon fill="#a2b4d6" stroke="red" points="325.38,-35.25 278.62,-35.25 278.62,-16 325.38,-16 325.38,-35.25"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="302" y="-21.75" font-family="Helvetica,sans-Serif" font-size="10.00">include</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_c85d3e3c5052e9ad9ce18c6863244a25 -->
|
|
<g id="node2" class="node">
|
|
<title>dir_c85d3e3c5052e9ad9ce18c6863244a25</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="38" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">lib</text>
|
|
</g>
|
|
<!-- dir_3cc0b3e3c66436f74054a789a4a47fbc -->
|
|
<g id="node3" class="node">
|
|
<title>dir_3cc0b3e3c66436f74054a789a4a47fbc</title>
|
|
<g id="a_node3"><a xlink:href="dir_3cc0b3e3c66436f74054a789a4a47fbc.html" target="_top" xlink:title="engine">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="115.25,-90.5 70.75,-90.5 70.75,-71.25 115.25,-71.25 115.25,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="93" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">engine</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_3cc0b3e3c66436f74054a789a4a47fbc->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge1" class="edge">
|
|
<title>dir_3cc0b3e3c66436f74054a789a4a47fbc->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge1"><a xlink:href="dir_000006_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M108.24,-70.87C113.42,-68.1 119.34,-65.26 125,-63.25 172.89,-46.22 231.03,-36.08 267.29,-30.93"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="267.31,-34.46 276.75,-29.63 266.37,-27.52 267.31,-34.46"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge1-headlabel"><a xlink:href="dir_000006_000020.html" target="_top" xlink:title="38">
|
|
<text xml:space="preserve" text-anchor="middle" x="265.64" y="-33.68" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">38</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_65bc51589f8002bfcb72faf47ab41180 -->
|
|
<g id="node4" class="node">
|
|
<title>dir_65bc51589f8002bfcb72faf47ab41180</title>
|
|
<g id="a_node4"><a xlink:href="dir_65bc51589f8002bfcb72faf47ab41180.html" target="_top" xlink:title="io">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="162.4,-90.5 133.6,-90.5 133.6,-71.25 162.4,-71.25 162.4,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="148" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">io</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_65bc51589f8002bfcb72faf47ab41180->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge2" class="edge">
|
|
<title>dir_65bc51589f8002bfcb72faf47ab41180->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge2"><a xlink:href="dir_000023_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M159.25,-70.94C163.12,-68.18 167.6,-65.32 172,-63.25 202.67,-48.8 240.17,-38.99 267,-33.19"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="267.59,-36.64 276.67,-31.18 266.17,-29.79 267.59,-36.64"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge2-headlabel"><a xlink:href="dir_000023_000020.html" target="_top" xlink:title="3">
|
|
<text xml:space="preserve" text-anchor="middle" x="266.13" y="-35.97" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">3</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_fe5109f07276e0a4a472af6b22fd99c7 -->
|
|
<g id="node5" class="node">
|
|
<title>dir_fe5109f07276e0a4a472af6b22fd99c7</title>
|
|
<g id="a_node5"><a xlink:href="dir_fe5109f07276e0a4a472af6b22fd99c7.html" target="_top" xlink:title="partition">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="231.25,-90.5 180.75,-90.5 180.75,-71.25 231.25,-71.25 231.25,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="206" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">partition</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_fe5109f07276e0a4a472af6b22fd99c7->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge3" class="edge">
|
|
<title>dir_fe5109f07276e0a4a472af6b22fd99c7->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge3"><a xlink:href="dir_000028_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M222.29,-70.84C236.9,-62.73 258.63,-50.68 275.71,-41.21"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="277.26,-44.35 284.31,-36.44 273.87,-38.23 277.26,-44.35"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge3-headlabel"><a xlink:href="dir_000028_000020.html" target="_top" xlink:title="8">
|
|
<text xml:space="preserve" text-anchor="middle" x="276.82" y="-43.97" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">8</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_0751b490135a42d238fc345542daa4c3 -->
|
|
<g id="node6" class="node">
|
|
<title>dir_0751b490135a42d238fc345542daa4c3</title>
|
|
<g id="a_node6"><a xlink:href="dir_0751b490135a42d238fc345542daa4c3.html" target="_top" xlink:title="policy">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="290.75,-90.5 249.25,-90.5 249.25,-71.25 290.75,-71.25 290.75,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="270" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">policy</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_0751b490135a42d238fc345542daa4c3->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge4" class="edge">
|
|
<title>dir_0751b490135a42d238fc345542daa4c3->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge4"><a xlink:href="dir_000031_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M275.28,-71.08C279.47,-64.11 285.48,-54.12 290.73,-45.37"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="293.67,-47.28 295.82,-36.91 287.67,-43.68 293.67,-47.28"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge4-headlabel"><a xlink:href="dir_000031_000020.html" target="_top" xlink:title="15">
|
|
<text xml:space="preserve" text-anchor="middle" x="295.03" y="-46.65" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">15</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_902e06e9d82d80b06df7be6e417fa9ee -->
|
|
<g id="node7" class="node">
|
|
<title>dir_902e06e9d82d80b06df7be6e417fa9ee</title>
|
|
<g id="a_node7"><a xlink:href="dir_902e06e9d82d80b06df7be6e417fa9ee.html" target="_top" xlink:title="reaction">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="359.25,-90.5 308.75,-90.5 308.75,-71.25 359.25,-71.25 359.25,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="334" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">reaction</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_902e06e9d82d80b06df7be6e417fa9ee->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge5" class="edge">
|
|
<title>dir_902e06e9d82d80b06df7be6e417fa9ee->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge5"><a xlink:href="dir_000038_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M328.72,-71.08C324.53,-64.11 318.52,-54.12 313.27,-45.37"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="316.33,-43.68 308.18,-36.91 310.33,-47.28 316.33,-43.68"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge5-headlabel"><a xlink:href="dir_000038_000020.html" target="_top" xlink:title="14">
|
|
<text xml:space="preserve" text-anchor="middle" x="319.84" y="-40.12" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">14</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_c73541f51459c9e567d01a066f229f1c -->
|
|
<g id="node8" class="node">
|
|
<title>dir_c73541f51459c9e567d01a066f229f1c</title>
|
|
<g id="a_node8"><a xlink:href="dir_c73541f51459c9e567d01a066f229f1c.html" target="_top" xlink:title="screening">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="435,-90.5 377,-90.5 377,-71.25 435,-71.25 435,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="406" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">screening</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_c73541f51459c9e567d01a066f229f1c->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge6" class="edge">
|
|
<title>dir_c73541f51459c9e567d01a066f229f1c->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge6"><a xlink:href="dir_000041_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M388.36,-70.84C372.37,-62.66 348.54,-50.46 329.96,-40.94"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="331.57,-37.83 321.08,-36.39 328.38,-44.07 331.57,-37.83"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge6-headlabel"><a xlink:href="dir_000041_000020.html" target="_top" xlink:title="6">
|
|
<text xml:space="preserve" text-anchor="middle" x="334.72" y="-32.38" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">6</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_4fd0dc9a50f7a53e22cb356c650f915e -->
|
|
<g id="node9" class="node">
|
|
<title>dir_4fd0dc9a50f7a53e22cb356c650f915e</title>
|
|
<g id="a_node9"><a xlink:href="dir_4fd0dc9a50f7a53e22cb356c650f915e.html" target="_top" xlink:title="solver">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="495.12,-90.5 452.88,-90.5 452.88,-71.25 495.12,-71.25 495.12,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="474" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">solver</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_4fd0dc9a50f7a53e22cb356c650f915e->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge7" class="edge">
|
|
<title>dir_4fd0dc9a50f7a53e22cb356c650f915e->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge7"><a xlink:href="dir_000045_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M459.41,-70.82C454.63,-68.11 449.2,-65.32 444,-63.25 408.66,-49.17 366.2,-39.05 336.97,-33.06"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="337.67,-29.63 327.18,-31.12 336.31,-36.5 337.67,-29.63"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge7-headlabel"><a xlink:href="dir_000045_000020.html" target="_top" xlink:title="14">
|
|
<text xml:space="preserve" text-anchor="middle" x="340.27" y="-23.38" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">14</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_87d18a4dc5174905bfd7d2dc734defe6 -->
|
|
<g id="node10" class="node">
|
|
<title>dir_87d18a4dc5174905bfd7d2dc734defe6</title>
|
|
<g id="a_node10"><a xlink:href="dir_87d18a4dc5174905bfd7d2dc734defe6.html" target="_top" xlink:title="utils">
|
|
<polygon fill="#a2b4d6" stroke="#404040" points="547,-90.5 513,-90.5 513,-71.25 547,-71.25 547,-90.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="530" y="-77" font-family="Helvetica,sans-Serif" font-size="10.00">utils</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- dir_87d18a4dc5174905bfd7d2dc734defe6->dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
|
|
<g id="edge8" class="edge">
|
|
<title>dir_87d18a4dc5174905bfd7d2dc734defe6->dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
|
|
<g id="a_edge8"><a xlink:href="dir_000065_000020.html" target="_top">
|
|
<path fill="none" stroke="#63b8ff" d="M518.1,-70.89C513.84,-68.05 508.89,-65.17 504,-63.25 448.14,-41.32 378.37,-32.39 337.16,-28.85"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="337.59,-25.37 327.34,-28.07 337.03,-32.35 337.59,-25.37"/>
|
|
</a>
|
|
</g>
|
|
<g id="a_edge8-headlabel"><a xlink:href="dir_000065_000020.html" target="_top" xlink:title="2">
|
|
<text xml:space="preserve" text-anchor="middle" x="339.89" y="-18.83" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">2</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
</g>
|
|
</svg>
|
|
|
|
<g id="navigator" transform="translate(0 0)" fill="#404254">
|
|
<rect fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width=".5" x="0" y="0" width="60" height="60"/>
|
|
<use id="zoomplus" xlink:href="#zoomPlus" x="17" y="9" onmousedown="handleZoom(evt,'in')"/>
|
|
<use id="zoomminus" xlink:href="#zoomMin" x="42" y="9" onmousedown="handleZoom(evt,'out')"/>
|
|
<use id="reset" xlink:href="#resetDef" x="30" y="36" onmousedown="handleReset()"/>
|
|
<use id="arrowup" xlink:href="#arrowUp" x="0" y="0" onmousedown="handlePan(0,-1)"/>
|
|
<use id="arrowright" xlink:href="#arrowRight" x="0" y="0" onmousedown="handlePan(1,0)"/>
|
|
<use id="arrowdown" xlink:href="#arrowDown" x="0" y="0" onmousedown="handlePan(0,1)"/>
|
|
<use id="arrowleft" xlink:href="#arrowLeft" x="0" y="0" onmousedown="handlePan(-1,0)"/>
|
|
</g>
|
|
<svg viewBox="0 0 15 15" width="100%" height="30px" preserveAspectRatio="xMaxYMin meet">
|
|
<g id="arrow_out" transform="scale(0.3 0.3)">
|
|
<a xlink:href="dir_c85d3e3c5052e9ad9ce18c6863244a25_dep_org.svg" target="_base">
|
|
<rect id="button" ry="5" rx="5" y="6" x="6" height="38" width="38"
|
|
fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width="1.0"/>
|
|
<path id="arrow"
|
|
d="M 11.500037,31.436501 C 11.940474,20.09759 22.043105,11.32322 32.158766,21.979434 L 37.068811,17.246167 C 37.068811,17.246167 37.088388,32 37.088388,32 L 22.160133,31.978069 C 22.160133,31.978069 26.997745,27.140456 26.997745,27.140456 C 18.528582,18.264221 13.291696,25.230495 11.500037,31.436501 z"
|
|
style="fill:#404040;"/>
|
|
</a>
|
|
</g>
|
|
</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>
|
