2025-11-06 09:16:40 -05:00
|
|
|
<?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/include/gridfire/trigger/trigger_logical.h Pages: 1 -->
|
2025-11-24 09:08:28 -05:00
|
|
|
<svg width="256pt" height="183pt"
|
|
|
|
|
viewBox="0.00 0.00 256.00 183.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
2025-11-06 09:16:40 -05:00
|
|
|
|
|
|
|
|
<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">
|
2025-11-24 09:08:28 -05:00
|
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 178.75)">
|
2025-11-06 09:16:40 -05:00
|
|
|
<title>src/include/gridfire/trigger/trigger_logical.h</title>
|
|
|
|
|
<!-- Node1 -->
|
|
|
|
|
<g id="Node000001" class="node">
|
|
|
|
|
<title>Node1</title>
|
|
|
|
|
<g id="a_Node000001"><a xlink:title="Combinators for composing triggers with boolean logic (AND/OR/NOT/EveryNth).">
|
2025-11-24 09:08:28 -05:00
|
|
|
<polygon fill="#999999" stroke="#666666" points="172.38,-174.75 55.12,-174.75 55.12,-144.25 172.38,-144.25 172.38,-174.75"/>
|
|
|
|
|
<text xml:space="preserve" text-anchor="start" x="63.12" y="-161.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
|
|
|
<text xml:space="preserve" text-anchor="middle" x="113.75" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger_logical.h</text>
|
2025-11-06 09:16:40 -05:00
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node2 -->
|
|
|
|
|
<g id="Node000002" class="node">
|
|
|
|
|
<title>Node2</title>
|
2025-11-24 09:08:28 -05:00
|
|
|
<g id="a_Node000002"><a xlink:href="trigger_8h.html" target="_top" xlink:title=" ">
|
|
|
|
|
<polygon fill="white" stroke="#666666" points="95.5,-102.62 0,-102.62 0,-72.12 95.5,-72.12 95.5,-102.62"/>
|
|
|
|
|
<text xml:space="preserve" text-anchor="start" x="8" y="-89.12" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
|
|
|
<text xml:space="preserve" text-anchor="middle" x="47.75" y="-77.88" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger.h</text>
|
2025-11-06 09:16:40 -05:00
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node1->Node2 -->
|
|
|
|
|
<g id="edge1_Node000001_Node000002" class="edge">
|
|
|
|
|
<title>Node1->Node2</title>
|
|
|
|
|
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
|
2025-11-24 09:08:28 -05:00
|
|
|
<path fill="none" stroke="#63b8ff" d="M92.37,-135.78C82.2,-124.98 70.34,-112.38 61.41,-102.89"/>
|
|
|
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="89.64,-137.98 99.04,-142.87 94.73,-133.19 89.64,-137.98"/>
|
|
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node4 -->
|
|
|
|
|
<g id="Node000004" class="node">
|
|
|
|
|
<title>Node4</title>
|
|
|
|
|
<g id="a_Node000004"><a xlink:href="engine__partitioning__trigger_8cpp.html" target="_top" xlink:title=" ">
|
|
|
|
|
<polygon fill="white" stroke="#666666" points="248.38,-108.25 113.12,-108.25 113.12,-66.5 248.38,-66.5 248.38,-108.25"/>
|
|
|
|
|
<text xml:space="preserve" text-anchor="start" x="121.12" y="-94.75" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/solver/strategies</text>
|
|
|
|
|
<text xml:space="preserve" text-anchor="start" x="121.12" y="-83.5" font-family="Helvetica,sans-Serif" font-size="10.00">/triggers/engine_partitioning</text>
|
|
|
|
|
<text xml:space="preserve" text-anchor="middle" x="180.75" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">_trigger.cpp</text>
|
|
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node1->Node4 -->
|
|
|
|
|
<g id="edge3_Node000001_Node000004" class="edge">
|
|
|
|
|
<title>Node1->Node4</title>
|
|
|
|
|
<g id="a_edge3_Node000001_Node000004"><a xlink:title=" ">
|
|
|
|
|
<path fill="none" stroke="#63b8ff" d="M135.48,-135.75C143.79,-127.05 153.21,-117.2 161.3,-108.74"/>
|
|
|
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="133.06,-133.23 128.68,-142.88 138.12,-138.06 133.06,-133.23"/>
|
|
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node3 -->
|
|
|
|
|
<g id="Node000003" class="node">
|
|
|
|
|
<title>Node3</title>
|
|
|
|
|
<g id="a_Node000003"><a xlink:href="gridfire_8h.html" target="_top" xlink:title=" ">
|
|
|
|
|
<polygon fill="white" stroke="#666666" points="95.5,-30.5 0,-30.5 0,0 95.5,0 95.5,-30.5"/>
|
|
|
|
|
<text xml:space="preserve" text-anchor="start" x="8" y="-17" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
|
|
|
<text xml:space="preserve" text-anchor="middle" x="47.75" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">/gridfire.h</text>
|
|
|
|
|
</a>
|
|
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- Node2->Node3 -->
|
|
|
|
|
<g id="edge2_Node000002_Node000003" class="edge">
|
|
|
|
|
<title>Node2->Node3</title>
|
|
|
|
|
<g id="a_edge2_Node000002_Node000003"><a xlink:title=" ">
|
|
|
|
|
<path fill="none" stroke="#63b8ff" d="M47.75,-60.4C47.75,-50.39 47.75,-39.31 47.75,-30.76"/>
|
|
|
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="44.25,-60.33 47.75,-70.33 51.25,-60.33 44.25,-60.33"/>
|
2025-11-06 09:16:40 -05:00
|
|
|
</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>
|