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_abstract.h Pages: 1 -->
2025-11-24 09:08:28 -05:00
<!-- zoomable 460 -->
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" >
var viewWidth = 636;
var viewHeight = 460;
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_abstract.h</title>
<!-- Node1 -->
<g id= "Node000001" class= "node" >
<title > Node1</title>
<g id= "a_Node000001" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "#999999" stroke= "#666666" points= "511.75,-452 387,-452 387,-421.5 511.75,-421.5 511.75,-452" />
<text xml:space= "preserve" text-anchor= "start" x= "395" y= "-438.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "449.38" y= "-427.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/trigger_abstract.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-24 09:08:28 -05:00
<polygon fill= "white" stroke= "#666666" points= "369.25,-385.5 229.5,-385.5 229.5,-343.75 369.25,-343.75 369.25,-385.5" />
<text xml:space= "preserve" text-anchor= "start" x= "237.5" y= "-372" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "start" x= "237.5" y= "-360.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text xml:space= "preserve" text-anchor= "middle" x= "299.38" y= "-349.5" 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-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M407.76,-416.29C387.51,-406.83 363.19,-395.46 342.73,-385.89" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "406.02,-419.34 416.56,-420.41 408.98,-413 406.02,-419.34" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node13 -->
<g id= "Node000013" class= "node" >
<title > Node13</title>
<g id= "a_Node000013" > <a xlink:href= "engine__partitioning__trigger_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "515,-307.75 379.75,-307.75 379.75,-266 515,-266 515,-307.75" />
<text xml:space= "preserve" text-anchor= "start" x= "387.75" y= "-294.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/solver/strategies</text>
<text xml:space= "preserve" text-anchor= "start" x= "387.75" y= "-283" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers/engine_partitioning</text>
<text xml:space= "preserve" text-anchor= "middle" x= "447.38" y= "-271.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _trigger.cpp</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node1->Node13 -->
<g id= "edge19_Node000001_Node000013" class= "edge" >
<title > Node1- > Node13</title>
<g id= "a_edge19_Node000001_Node000013" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M435.06,-411.37C431.11,-403.4 427.37,-394.32 425.38,-385.5 421.28,-367.4 421.92,-361.98 425.38,-343.75 427.71,-331.46 432.69,-318.41 437.32,-308.02" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "431.91,-412.91 439.7,-420.09 438.09,-409.62 431.91,-412.91" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node14 -->
<g id= "Node000014" class= "node" >
<title > Node14</title>
<g id= "a_Node000014" > <a xlink:href= "trigger_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "628.12,-302.12 532.62,-302.12 532.62,-271.62 628.12,-271.62 628.12,-302.12" />
<text xml:space= "preserve" text-anchor= "start" x= "540.62" y= "-288.62" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "580.38" y= "-277.38" 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-24 09:08:28 -05:00
<!-- Node1->Node14 -->
<g id= "edge14_Node000001_Node000014" class= "edge" >
<title > Node1- > Node14</title>
<g id= "a_edge14_Node000001_Node000014" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M519.19,-416.65C535.11,-409.27 550.51,-399.2 561.38,-385.5 580.58,-361.29 582.22,-323.2 581.47,-302.49" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "517.92,-413.38 510.09,-420.52 520.67,-419.82 517.92,-413.38" />
</a>
</g>
</g>
<!-- Node15 -->
<g id= "Node000015" class= "node" >
<title > Node15</title>
<g id= "a_Node000015" > <a xlink:href= "trigger__logical_8h.html" target= "_top" xlink:title= "Combinators for composing triggers with boolean logic (AND/OR/NOT/EveryNth)." >
<polygon fill= "white" stroke= "#666666" points= "552,-379.88 434.75,-379.88 434.75,-349.38 552,-349.38 552,-379.88" />
<text xml:space= "preserve" text-anchor= "start" x= "442.75" y= "-366.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "493.38" y= "-355.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /trigger/trigger_logical.h</text>
</a>
</g>
</g>
<!-- Node1->Node15 -->
<g id= "edge16_Node000001_Node000015" class= "edge" >
<title > Node1- > Node15</title>
<g id= "a_edge16_Node000001_Node000015" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M464.44,-411.74C471.03,-401.23 478.55,-389.25 484.27,-380.14" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "461.65,-409.61 459.3,-419.94 467.58,-413.33 461.65,-409.61" />
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= " " >
<polygon fill= "white" stroke= "#666666" points= "199.5,-307.75 73.25,-307.75 73.25,-266 199.5,-266 199.5,-307.75" />
<text xml:space= "preserve" text-anchor= "start" x= "81.25" y= "-294.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "start" x= "81.25" y= "-283" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text xml:space= "preserve" text-anchor= "middle" x= "136.38" y= "-271.75" 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-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M245.54,-338.61C224.33,-328.75 200.29,-317.58 180.18,-308.23" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "243.78,-341.65 254.32,-342.69 246.73,-335.3 243.78,-341.65" />
</a>
</g>
</g>
<!-- Node12 -->
<g id= "Node000012" class= "node" >
<title > Node12</title>
<g id= "a_Node000012" > <a xlink:href= "_c_v_o_d_e__solver__strategy_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "361.5,-302.12 217.25,-302.12 217.25,-271.62 361.5,-271.62 361.5,-302.12" />
<text xml:space= "preserve" text-anchor= "start" x= "225.25" y= "-288.62" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/solver/strategies</text>
<text xml:space= "preserve" text-anchor= "middle" x= "289.38" y= "-277.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /CVODE_solver_strategy.cpp</text>
</a>
</g>
</g>
<!-- Node2->Node12 -->
<g id= "edge12_Node000002_Node000012" class= "edge" >
<title > Node2- > Node12</title>
<g id= "a_edge12_Node000002_Node000012" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M295.21,-332.06C293.84,-321.69 292.38,-310.67 291.27,-302.23" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "291.72,-332.37 296.5,-341.82 298.66,-331.45 291.72,-332.37" />
</a>
</g>
</g>
<!-- Node2->Node13 -->
<g id= "edge13_Node000002_Node000013" class= "edge" >
<title > Node2- > Node13</title>
<g id= "a_edge13_Node000002_Node000013" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M349.04,-338.2C368.11,-328.45 389.59,-317.45 407.6,-308.23" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "347.69,-334.96 340.38,-342.64 350.88,-341.2 347.69,-334.96" />
</a>
</g>
</g>
<!-- Node4 -->
<g id= "Node000004" class= "node" >
<title > Node4</title>
<g id= "a_Node000004" > <a xlink:href= "strategies_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "241.88,-230 96.88,-230 96.88,-199.5 241.88,-199.5 241.88,-230" />
<text xml:space= "preserve" text-anchor= "start" x= "104.88" y= "-216.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "169.38" y= "-205.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/strategies.h</text>
</a>
</g>
</g>
<!-- Node3->Node4 -->
<g id= "edge3_Node000003_Node000004" class= "edge" >
<title > Node3- > Node4</title>
<g id= "a_edge3_Node000003_Node000004" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M150.77,-255.29C154.87,-246.56 159.16,-237.47 162.57,-230.2" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "147.66,-253.68 146.56,-264.22 153.99,-256.66 147.66,-253.68" />
</a>
</g>
</g>
<!-- Node5 -->
<g id= "Node000005" class= "node" >
<title > Node5</title>
<g id= "a_Node000005" > <a xlink:href= "solver_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "282.12,-163.5 186.62,-163.5 186.62,-133 282.12,-133 282.12,-163.5" />
<text xml:space= "preserve" text-anchor= "start" x= "194.62" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "234.38" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/solver.h</text>
</a>
</g>
</g>
<!-- Node4->Node5 -->
<g id= "edge4_Node000004_Node000005" class= "edge" >
<title > Node4- > Node5</title>
<g id= "a_edge4_Node000004_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M192.11,-191.19C201.26,-182.11 211.55,-171.9 219.68,-163.83" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "189.83,-188.52 185.2,-198.05 194.76,-193.49 189.83,-188.52" />
</a>
</g>
</g>
<!-- Node6 -->
<g id= "Node000006" class= "node" >
<title > Node6</title>
<g id= "a_Node000006" > <a xlink:href= "gridfire_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "571.12,-97 475.62,-97 475.62,-66.5 571.12,-66.5 571.12,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "483.62" y= "-83.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "523.38" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /gridfire.h</text>
</a>
</g>
</g>
<!-- Node5->Node6 -->
<g id= "edge5_Node000005_Node000006" class= "edge" >
<title > Node5- > Node6</title>
<g id= "a_edge5_Node000005_Node000006" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M293.48,-134.06C347.13,-122.09 425.27,-104.65 475.21,-93.5" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "292.9,-130.6 283.9,-136.2 294.42,-137.43 292.9,-130.6" />
</a>
</g>
</g>
<!-- Node7 -->
<g id= "Node000007" class= "node" >
<title > Node7</title>
<g id= "a_Node000007" > <a xlink:href= "priming_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "124.75,-97 0,-97 0,-66.5 124.75,-66.5 124.75,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "8" y= "-83.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/procedures</text>
<text xml:space= "preserve" text-anchor= "middle" x= "62.38" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /priming.cpp</text>
</a>
</g>
</g>
<!-- Node5->Node7 -->
<g id= "edge6_Node000005_Node000007" class= "edge" >
<title > Node5- > Node7</title>
<g id= "a_edge6_Node000005_Node000007" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M184.77,-128.65C158.31,-118.73 126.23,-106.7 101.55,-97.44" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "183.34,-131.85 193.93,-132.08 185.79,-125.29 183.34,-131.85" />
</a>
</g>
</g>
<!-- Node8 -->
<g id= "Node000008" class= "node" >
<title > Node8</title>
<g id= "a_Node000008" > <a xlink:href= "engine__priming_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "245.88,-97 142.88,-97 142.88,-66.5 245.88,-66.5 245.88,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "150.88" y= "-83.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/views</text>
<text xml:space= "preserve" text-anchor= "middle" x= "194.38" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /engine_priming.cpp</text>
</a>
</g>
</g>
<!-- Node5->Node8 -->
<g id= "edge7_Node000005_Node000008" class= "edge" >
<title > Node5- > Node8</title>
<g id= "a_edge7_Node000005_Node000008" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M219.34,-123.01C213.98,-114.37 208.11,-104.91 203.42,-97.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "216.26,-124.67 224.5,-131.33 222.2,-120.98 216.26,-124.67" />
</a>
</g>
</g>
<!-- Node9 -->
<g id= "Node000009" class= "node" >
<title > Node9</title>
<g id= "a_Node000009" > <a xlink:href= "py__solver_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "343.88,-30.5 204.88,-30.5 204.88,0 343.88,0 343.88,-30.5" />
<text xml:space= "preserve" text-anchor= "start" x= "212.88" y= "-17" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text xml:space= "preserve" text-anchor= "middle" x= "274.38" y= "-5.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.cpp</text>
</a>
</g>
</g>
<!-- Node5->Node9 -->
<g id= "edge8_Node000005_Node000009" class= "edge" >
<title > Node5- > Node9</title>
<g id= "a_edge8_Node000005_Node000009" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M245.84,-122.11C249.19,-114.18 252.68,-105.31 255.38,-97 262.75,-74.26 268.55,-47.06 271.71,-30.74" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "242.68,-120.59 241.88,-131.15 249.1,-123.39 242.68,-120.59" />
</a>
</g>
</g>
<!-- Node10 -->
<g id= "Node000010" class= "node" >
<title > Node10</title>
<g id= "a_Node000010" > <a xlink:href= "py__solver_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "441.88,-97 302.88,-97 302.88,-66.5 441.88,-66.5 441.88,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "310.88" y= "-83.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text xml:space= "preserve" text-anchor= "middle" x= "372.38" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node5->Node10 -->
<g id= "edge9_Node000005_Node000010" class= "edge" >
<title > Node5- > Node10</title>
<g id= "a_edge9_Node000005_Node000010" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M275.92,-127.83C296.89,-118.03 321.89,-106.35 341.18,-97.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "274.64,-124.57 267.06,-131.97 277.6,-130.91 274.64,-124.57" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node10->Node9 -->
<g id= "edge11_Node000010_Node000009" class= "edge" >
<title > Node10- > Node9</title>
<g id= "a_edge11_Node000010_Node000009" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M340.61,-59.84C326.21,-50.37 309.54,-39.39 296.52,-30.83" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "338.6,-62.71 348.87,-65.28 342.44,-56.86 338.6,-62.71" />
</a>
</g>
</g>
<!-- Node11 -->
<g id= "Node000011" class= "node" >
<title > Node11</title>
<g id= "a_Node000011" > <a xlink:href= "solver_2bindings_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "510.75,-24.88 362,-24.88 362,-5.63 510.75,-5.63 510.75,-24.88" />
<text xml:space= "preserve" text-anchor= "middle" x= "436.38" y= "-11.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/bindings.cpp</text>
</a>
</g>
</g>
<!-- Node10->Node11 -->
<g id= "edge10_Node000010_Node000011" class= "edge" >
<title > Node10- > Node11</title>
<g id= "a_edge10_Node000010_Node000011" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M394.74,-58.21C406.08,-46.78 419.19,-33.57 427.62,-25.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "392.52,-55.48 387.96,-65.04 397.49,-60.41 392.52,-55.48" />
</a>
</g>
</g>
<!-- Node14->Node6 -->
<g id= "edge15_Node000014_Node000006" class= "edge" >
<title > Node14- > Node6</title>
<g id= "a_edge15_Node000014_Node000006" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M573.21,-260.34C561.14,-217.34 537.14,-131.81 527.51,-97.5" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "569.8,-261.13 575.87,-269.81 576.53,-259.24 569.8,-261.13" />
</a>
</g>
</g>
<!-- Node15->Node13 -->
<g id= "edge18_Node000015_Node000013" class= "edge" >
<title > Node15- > Node13</title>
<g id= "a_edge18_Node000015_Node000013" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M478.56,-339.23C472.47,-329.2 465.5,-317.72 459.69,-308.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "475.54,-341 483.72,-347.73 481.52,-337.36 475.54,-341" />
</a>
</g>
</g>
<!-- Node15->Node14 -->
<g id= "edge17_Node000015_Node000014" class= "edge" >
<title > Node15- > Node14</title>
<g id= "a_edge17_Node000015_Node000014" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M518.67,-341.6C533.14,-329 550.91,-313.53 563.65,-302.44" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "516.53,-338.82 511.29,-348.03 521.13,-344.1 516.53,-338.82" />
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__abstract_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>
