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">
2025-11-28 09:46:00 -05:00
<!-- Generated by graphviz version 2.43.0 (0)
2025-11-06 09:16:40 -05:00
-->
<!-- Title: src/include/gridfire/trigger/trigger_result.h Pages: 1 -->
2025-11-28 09:46:00 -05:00
<!-- zoomable 610 -->
2025-11-06 09:16:40 -05:00
2025-11-24 09:08:28 -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" onload= "init(evt)" >
2025-11-06 09:16:40 -05:00
<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>
2025-11-24 09:08:28 -05:00
<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" >
2025-11-28 09:46:00 -05:00
var viewWidth = 821;
var viewHeight = 610;
2025-11-24 09:08:28 -05:00
var sectionId = 'dynsection-1';
</script>
2025-11-06 09:16:40 -05:00
<script type= "application/ecmascript" xlink:href= "svg.min.js" />
<svg id= "graph" class= "graph" >
2025-11-24 09:08:28 -05:00
<g id= "viewport" >
2025-11-06 09:16:40 -05:00
<title > src/include/gridfire/trigger/trigger_result.h</title>
<!-- Node1 -->
<g id= "Node000001" class= "node" >
<title > Node1</title>
<g id= "a_Node000001" > <a xlink:title= "Structured explanation node for trigger evaluations." >
2025-11-28 09:46:00 -05:00
<polygon fill= "#999999" stroke= "#666666" points= "575,-602 446,-602 446,-572 575,-572 575,-602" />
<text text-anchor= "start" x= "454" y= "-590" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "510.5" y= "-579" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/trigger_result.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node2 -->
<g id= "Node000002" class= "node" >
<title > Node2</title>
<g id= "a_Node000002" > <a xlink:href= "engine__partitioning__trigger_8h.html" target= "_top" xlink:title= "CVODE-specific triggers that decide when to (re)partition the reaction network engine." >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "369.5,-459 209.5,-459 209.5,-418 369.5,-418 369.5,-459" />
<text text-anchor= "start" x= "217.5" y= "-447" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "217.5" y= "-436" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text text-anchor= "middle" x= "289.5" y= "-425" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /engine_partitioning_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-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M435.55,-579.57C400.81,-573.2 361.01,-560.64 332.5,-536 309.33,-515.97 298.09,-481.01 293.08,-459.12" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "435.23,-583.07 445.67,-581.28 436.4,-576.17 435.23,-583.07" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node17 -->
<g id= "Node000017" class= "node" >
<title > Node17</title>
<g id= "a_Node000017" > <a xlink:href= "trigger__pprint_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "697.5,-536 553.5,-536 553.5,-495 697.5,-495 697.5,-536" />
<text text-anchor= "start" x= "561.5" y= "-524" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "561.5" y= "-513" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/procedures/trigger</text>
<text text-anchor= "middle" x= "625.5" y= "-502" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _pprint.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node1->Node17 -->
<g id= "edge18_Node000001_Node000017" class= "edge" >
<title > Node1- > Node17</title>
<g id= "a_edge18_Node000001_Node000017" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M542.63,-566.58C558.39,-557.06 577.32,-545.62 593.11,-536.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "540.52,-563.77 533.77,-571.94 544.14,-569.76 540.52,-563.77" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19 -->
<g id= "Node000019" class= "node" >
<title > Node19</title>
<g id= "a_Node000019" > <a xlink:href= "trigger_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "776,-376.5 669,-376.5 669,-346.5 776,-346.5 776,-376.5" />
<text text-anchor= "start" x= "677" y= "-364.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "722.5" y= "-353.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/trigger.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node1->Node19 -->
<g id= "edge23_Node000001_Node000019" class= "edge" >
<title > Node1- > Node19</title>
<g id= "a_edge23_Node000001_Node000019" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M585.22,-580.01C659.06,-569.42 766.59,-540.1 806.5,-459 814.55,-442.65 815.13,-434.05 806.5,-418 796.32,-399.07 776.53,-385.51 758.71,-376.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "584.48,-576.58 575.04,-581.39 585.42,-583.52 584.48,-576.58" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node20 -->
<g id= "Node000020" class= "node" >
<title > Node20</title>
<g id= "a_Node000020" > <a xlink:href= "trigger__abstract_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "482,-530.5 341,-530.5 341,-500.5 482,-500.5 482,-530.5" />
<text text-anchor= "start" x= "349" y= "-518.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "411.5" y= "-507.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/trigger_abstract.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node1->Node20 -->
<g id= "edge24_Node000001_Node000020" class= "edge" >
<title > Node1- > Node20</title>
<g id= "a_edge24_Node000001_Node000020" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M481.93,-565.94C465.78,-554.6 445.99,-540.71 431.5,-530.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "480.27,-569.05 490.47,-571.94 484.29,-563.33 480.27,-569.05" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node21 -->
<g id= "Node000021" class= "node" >
<title > Node21</title>
<g id= "a_Node000021" > <a xlink:href= "trigger__logical_8h.html" target= "_top" xlink:title= "Combinators for composing triggers with boolean logic (AND/OR/NOT/EveryNth)." >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "559.5,-453.5 425.5,-453.5 425.5,-423.5 559.5,-423.5 559.5,-453.5" />
<text text-anchor= "start" x= "433.5" y= "-441.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "492.5" y= "-430.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/trigger_logical.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node1->Node21 -->
<g id= "edge31_Node000001_Node000021" class= "edge" >
<title > Node1- > Node21</title>
<g id= "a_edge31_Node000001_Node000021" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M507.51,-561.65C503.72,-530.82 497.32,-478.72 494.25,-453.72" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "504.08,-562.45 508.77,-571.95 511.03,-561.6 504.08,-562.45" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node3 -->
<g id= "Node000003" class= "node" >
<title > Node3</title>
2025-11-24 09:08:28 -05:00
<g id= "a_Node000003" > <a xlink:href= "triggers_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "304.5,-382 162.5,-382 162.5,-341 304.5,-341 304.5,-382" />
<text text-anchor= "start" x= "170.5" y= "-370" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "170.5" y= "-359" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text text-anchor= "middle" x= "233.5" y= "-348" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers.h</text>
2025-11-06 09:16:40 -05:00
</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= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M268.72,-409.67C261.87,-400.5 254.4,-390.5 248.12,-382.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "266,-411.88 274.79,-417.79 271.61,-407.69 266,-411.88" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node15 -->
<g id= "Node000015" class= "node" >
<title > Node15</title>
2025-11-28 09:46:00 -05:00
<g id= "a_Node000015" > <a xlink:href= "CVODE__solver__strategy_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "650.5,-376.5 496.5,-376.5 496.5,-346.5 650.5,-346.5 650.5,-376.5" />
<text text-anchor= "start" x= "504.5" y= "-364.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/solver/strategies</text>
<text text-anchor= "middle" x= "573.5" y= "-353.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /CVODE_solver_strategy.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node2->Node15 -->
<g id= "edge16_Node000002_Node000015" class= "edge" >
<title > Node2- > Node15</title>
<g id= "a_edge16_Node000002_Node000015" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M373.05,-415.44C420.61,-402.88 478.78,-387.52 520.17,-376.58" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "372.15,-412.05 363.38,-417.99 373.94,-418.82 372.15,-412.05" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node16 -->
<g id= "Node000016" class= "node" >
<title > Node16</title>
<g id= "a_Node000016" > <a xlink:href= "engine__partitioning__trigger_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "478,-382 323,-382 323,-341 478,-341 478,-382" />
<text text-anchor= "start" x= "331" y= "-370" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/solver/strategies</text>
<text text-anchor= "start" x= "331" y= "-359" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers/engine_partitioning</text>
<text text-anchor= "middle" x= "400.5" y= "-348" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _trigger.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node2->Node16 -->
<g id= "edge17_Node000002_Node000016" class= "edge" >
<title > Node2- > Node16</title>
<g id= "a_edge17_Node000002_Node000016" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M326.69,-412.37C341.26,-402.53 357.71,-391.41 371.38,-382.17" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "324.7,-409.49 318.37,-417.99 328.62,-415.29 324.7,-409.49" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node4 -->
<g id= "Node000004" class= "node" >
<title > Node4</title>
2025-11-24 09:08:28 -05:00
<g id= "a_Node000004" > <a xlink:href= "strategies_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "326.5,-305 164.5,-305 164.5,-275 326.5,-275 326.5,-305" />
<text text-anchor= "start" x= "172.5" y= "-293" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "245.5" y= "-282" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/strategies.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node3->Node4 -->
<g id= "edge3_Node000003_Node000004" class= "edge" >
<title > Node3- > Node4</title>
<g id= "a_edge3_Node000003_Node000004" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M238.65,-330.66C240.19,-321.76 241.8,-312.42 243.08,-305.04" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "235.16,-330.32 236.91,-340.77 242.06,-331.51 235.16,-330.32" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node5 -->
<g id= "Node000005" class= "node" >
<title > Node5</title>
<g id= "a_Node000005" > <a xlink:href= "solver_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "322,-239 215,-239 215,-209 322,-209 322,-239" />
<text text-anchor= "start" x= "223" y= "-227" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "268.5" y= "-216" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/solver.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node4->Node5 -->
<g id= "edge4_Node000004_Node000005" class= "edge" >
<title > Node4- > Node5</title>
<g id= "a_edge4_Node000004_Node000005" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M254.09,-265.11C257.22,-256.38 260.67,-246.78 263.41,-239.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "250.69,-264.2 250.6,-274.8 257.28,-266.57 250.69,-264.2" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node6 -->
<g id= "Node000006" class= "node" >
<title > Node6</title>
<g id= "a_Node000006" > <a xlink:href= "gridfire_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "728,-173 621,-173 621,-143 728,-143 728,-173" />
<text text-anchor= "start" x= "629" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "674.5" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /gridfire.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node5->Node6 -->
<g id= "edge5_Node000005_Node000006" class= "edge" >
<title > Node5- > Node6</title>
<g id= "a_edge5_Node000005_Node000006" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M332.3,-212.94C411.78,-200.41 546.17,-179.23 620.69,-167.48" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "331.75,-209.49 322.41,-214.5 332.84,-216.4 331.75,-209.49" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node10 -->
<g id= "Node000010" class= "node" >
<title > Node10</title>
<g id= "a_Node000010" > <a xlink:href= "priming_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "421,-173 282,-173 282,-143 421,-143 421,-173" />
<text text-anchor= "start" x= "290" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/procedures</text>
<text text-anchor= "middle" x= "351.5" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /priming.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node5->Node10 -->
<g id= "edge10_Node000005_Node000010" class= "edge" >
<title > Node5- > Node10</title>
<g id= "a_edge10_Node000005_Node000010" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M295.11,-202.48C307.52,-192.91 321.97,-181.77 333.13,-173.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "292.7,-199.92 286.92,-208.8 296.98,-205.46 292.7,-199.92" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node11 -->
<g id= "Node000011" class= "node" >
<title > Node11</title>
<g id= "a_Node000011" > <a xlink:href= "engine__priming_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "555.5,-173 439.5,-173 439.5,-143 555.5,-143 555.5,-173" />
<text text-anchor= "start" x= "447.5" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/views</text>
<text text-anchor= "middle" x= "497.5" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /engine_priming.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node5->Node11 -->
<g id= "edge11_Node000005_Node000011" class= "edge" >
<title > Node5- > Node11</title>
<g id= "a_edge11_Node000005_Node000011" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M328.42,-206.25C365.42,-195.91 412.34,-182.8 447.36,-173.01" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "327.44,-202.89 318.76,-208.95 329.33,-209.63 327.44,-202.89" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node12 -->
<g id= "Node000012" class= "node" >
<title > Node12</title>
<g id= "a_Node000012" > <a xlink:href= "py__solver_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "157,-101.5 0,-101.5 0,-71.5 157,-71.5 157,-101.5" />
<text text-anchor= "start" x= "8" y= "-89.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text text-anchor= "middle" x= "78.5" y= "-78.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.cpp</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node5->Node12 -->
<g id= "edge12_Node000005_Node000012" class= "edge" >
<title > Node5- > Node12</title>
<g id= "a_edge12_Node000005_Node000012" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M204.91,-219.63C168.94,-214.38 125.83,-201.92 98.5,-173 80.07,-153.5 77.53,-120.4 77.74,-101.62" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "204.47,-223.1 214.84,-220.93 205.38,-216.16 204.47,-223.1" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node13 -->
<g id= "Node000013" class= "node" >
<title > Node13</title>
<g id= "a_Node000013" > <a xlink:href= "py__solver_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "264,-173 107,-173 107,-143 264,-143 264,-173" />
<text text-anchor= "start" x= "115" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text text-anchor= "middle" x= "185.5" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.h</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node5->Node13 -->
<g id= "edge13_Node000005_Node000013" class= "edge" >
<title > Node5- > Node13</title>
<g id= "a_edge13_Node000005_Node000013" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M241.89,-202.48C229.48,-192.91 215.03,-181.77 203.87,-173.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "240.02,-205.46 250.08,-208.8 244.3,-199.92 240.02,-205.46" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node7 -->
<g id= "Node000007" class= "node" >
<title > Node7</title>
<g id= "a_Node000007" > <a xlink:href= "gridfire__context_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "691.5,-107 565.5,-107 565.5,-66 691.5,-66 691.5,-107" />
<text text-anchor= "start" x= "573.5" y= "-95" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/extern/include</text>
<text text-anchor= "start" x= "573.5" y= "-84" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /gridfire/extern/gridfire</text>
<text text-anchor= "middle" x= "628.5" y= "-73" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _context.h</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node6->Node7 -->
<g id= "edge6_Node000006_Node000007" class= "edge" >
<title > Node6- > Node7</title>
<g id= "a_edge6_Node000006_Node000007" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M659.67,-134.59C653.8,-125.73 647.12,-115.63 641.46,-107.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "656.75,-136.53 665.19,-142.94 662.59,-132.66 656.75,-136.53" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node9 -->
<g id= "Node000009" class= "node" >
<title > Node9</title>
2025-11-27 15:06:27 -05:00
<g id= "a_Node000009" > <a xlink:href= "gridfire__extern_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "778.5,-30 660.5,-30 660.5,0 778.5,0 778.5,-30" />
<text text-anchor= "start" x= "668.5" y= "-18" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/extern/lib/gridfire</text>
<text text-anchor= "middle" x= "719.5" y= "-7" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _extern.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node6->Node9 -->
<g id= "edge9_Node000006_Node000009" class= "edge" >
<title > Node6- > Node9</title>
<g id= "a_edge9_Node000006_Node000009" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M688.34,-133.63C692.74,-125.43 697.29,-116.01 700.5,-107 709.88,-80.7 715.26,-48.39 717.76,-30.2" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "685.15,-132.16 683.34,-142.6 691.26,-135.57 685.15,-132.16" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node8 -->
<g id= "Node000008" class= "node" >
<title > Node8</title>
<g id= "a_Node000008" > <a xlink:href= "gridfire__context_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "642.5,-30 524.5,-30 524.5,0 642.5,0 642.5,-30" />
<text text-anchor= "start" x= "532.5" y= "-18" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/extern/lib/gridfire</text>
<text text-anchor= "middle" x= "583.5" y= "-7" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _context.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node7->Node8 -->
<g id= "edge7_Node000007_Node000008" class= "edge" >
<title > Node7- > Node8</title>
<g id= "a_edge7_Node000007_Node000008" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M610.12,-57.11C604.08,-47.78 597.63,-37.82 592.59,-30.04" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "607.35,-59.28 615.73,-65.77 613.23,-55.47 607.35,-59.28" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node7->Node9 -->
<g id= "edge8_Node000007_Node000009" class= "edge" >
<title > Node7- > Node9</title>
<g id= "a_edge8_Node000007_Node000009" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M662.29,-59.69C675.44,-49.65 689.99,-38.54 701.12,-30.04" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "660.16,-56.92 654.33,-65.77 664.41,-62.48 660.16,-56.92" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node13->Node12 -->
<g id= "edge15_Node000013_Node000012" class= "edge" >
<title > Node13- > Node12</title>
<g id= "a_edge15_Node000013_Node000012" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M155.1,-137.25C137.56,-125.86 115.92,-111.81 100.12,-101.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "153.55,-140.42 163.85,-142.94 157.37,-134.55 153.55,-140.42" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node14 -->
<g id= "Node000014" class= "node" >
<title > Node14</title>
<g id= "a_Node000014" > <a xlink:href= "solver_2bindings_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "340,-96 175,-96 175,-77 340,-77 340,-96" />
<text text-anchor= "middle" x= "257.5" y= "-84" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/bindings.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node13->Node14 -->
<g id= "edge14_Node000013_Node000014" class= "edge" >
<title > Node13- > Node14</title>
<g id= "a_edge14_Node000013_Node000014" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M207.32,-135.94C221.09,-122.65 238.16,-106.17 248.42,-96.27" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "204.83,-133.47 200.07,-142.94 209.7,-138.51 204.83,-133.47" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node17->Node15 -->
<g id= "edge22_Node000017_Node000015" class= "edge" >
<title > Node17- > Node15</title>
<g id= "a_edge22_Node000017_Node000015" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M615.43,-485.06C604.26,-452.42 586.72,-401.15 578.31,-376.57" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "612.26,-486.61 618.81,-494.94 618.88,-484.35 612.26,-486.61" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node18 -->
<g id= "Node000018" class= "node" >
<title > Node18</title>
<g id= "a_Node000018" > <a xlink:href= "trigger__procedures_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "797.5,-459 653.5,-459 653.5,-418 797.5,-418 797.5,-459" />
<text text-anchor= "start" x= "661.5" y= "-447" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "661.5" y= "-436" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/procedures/trigger</text>
<text text-anchor= "middle" x= "725.5" y= "-425" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _procedures.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node17->Node18 -->
<g id= "edge19_Node000017_Node000018" class= "edge" >
<title > Node17- > Node18</title>
<g id= "a_edge19_Node000017_Node000018" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M659.75,-488.82C672.68,-479.11 687.18,-468.24 699.27,-459.17" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "657.41,-486.19 651.51,-494.99 661.61,-491.79 657.41,-486.19" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node18->Node19 -->
<g id= "edge20_Node000018_Node000019" class= "edge" >
<title > Node18- > Node19</title>
<g id= "a_edge20_Node000018_Node000019" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M724.3,-407.61C723.88,-397.01 723.42,-385.57 723.07,-376.86" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "720.81,-407.94 724.71,-417.79 727.81,-407.66 720.81,-407.94" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19->Node6 -->
<g id= "edge21_Node000019_Node000006" class= "edge" >
<title > Node19- > Node6</title>
<g id= "a_edge21_Node000019_Node000006" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M716.8,-336.58C706.71,-294.21 685.99,-207.24 677.87,-173.15" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "713.4,-337.41 719.12,-346.33 720.21,-335.79 713.4,-337.41" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node20->Node2 -->
<g id= "edge25_Node000020_Node000002" class= "edge" >
<title > Node20- > Node2</title>
<g id= "a_edge25_Node000020_Node000002" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M379.64,-494.91C361.75,-483.91 339.48,-470.22 321.55,-459.2" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "378.2,-498.14 388.55,-500.39 381.87,-492.17 378.2,-498.14" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node20->Node16 -->
<g id= "edge30_Node000020_Node000016" class= "edge" >
<title > Node20- > Node16</title>
<g id= "a_edge30_Node000020_Node000016" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M409.76,-490.46C407.59,-460.51 403.93,-409.93 401.92,-382.18" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "406.27,-490.75 410.48,-500.47 413.25,-490.25 406.27,-490.75" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node20->Node19 -->
<g id= "edge26_Node000020_Node000019" class= "edge" >
<title > Node20- > Node19</title>
<g id= "a_edge26_Node000020_Node000019" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M469.54,-497.36C499.7,-487.62 536.79,-474.31 568.5,-459 619.36,-434.45 674.39,-397.05 702.89,-376.77" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "468.48,-494.03 460.01,-500.4 470.6,-500.7 468.48,-494.03" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node20->Node21 -->
<g id= "edge27_Node000020_Node000021" class= "edge" >
<title > Node20- > Node21</title>
<g id= "a_edge27_Node000020_Node000021" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M434.38,-493.32C448.13,-480.58 465.25,-464.74 477.33,-453.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "431.7,-491.03 426.74,-500.39 436.45,-496.17 431.7,-491.03" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node21->Node16 -->
<g id= "edge29_Node000021_Node000016" class= "edge" >
<title > Node21- > Node16</title>
<g id= "a_edge29_Node000021_Node000016" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M467.35,-417C454.06,-406.16 437.82,-392.92 424.67,-382.2" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "465.23,-419.79 475.2,-423.39 469.66,-414.36 465.23,-419.79" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node21->Node19 -->
<g id= "edge28_Node000021_Node000019" class= "edge" >
<title > Node21- > Node19</title>
<g id= "a_edge28_Node000021_Node000019" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M545.22,-420.31C585.84,-407.06 641.32,-388.97 679.33,-376.58" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "543.91,-417.05 535.49,-423.48 546.08,-423.71 543.91,-417.05" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
</g>
</svg>
2025-11-24 09:08:28 -05:00
<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= "trigger__result_8h__dep__incl_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>
2025-11-06 09:16:40 -05:00
</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>