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/exceptions/error_policy.h Pages: 1 -->
2025-11-28 09:46:00 -05:00
<!-- zoomable 676 -->
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 = 1458;
var viewHeight = 676;
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/exceptions/error_policy.h</title>
<!-- Node1 -->
<g id= "Node000001" class= "node" >
<title > Node1</title>
<g id= "a_Node000001" > <a xlink:title= "Defines custom exception types related to network policy construction and verification." >
2025-11-28 09:46:00 -05:00
<polygon fill= "#999999" stroke= "#666666" points= "866.5,-668 725.5,-668 725.5,-638 866.5,-638 866.5,-668" />
<text text-anchor= "start" x= "733.5" y= "-656" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "796" y= "-645" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /exceptions/error_policy.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= "exceptions_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "567,-602 429,-602 429,-572 567,-572 567,-602" />
<text text-anchor= "start" x= "437" y= "-590" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "498" y= "-579" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /exceptions/exceptions.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= "M720.78,-635.84C672.22,-625.42 609.69,-611.99 563.24,-602.01" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "720.09,-639.28 730.6,-637.95 721.56,-632.43 720.09,-639.28" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node23 -->
<g id= "Node000023" class= "node" >
<title > Node23</title>
<g id= "a_Node000023" > <a xlink:href= "chains_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "945.5,-448 812.5,-448 812.5,-429 945.5,-429 945.5,-448" />
<text text-anchor= "middle" x= "879" y= "-436" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/policy/chains.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node1->Node23 -->
<g id= "edge38_Node000001_Node000023" class= "edge" >
<title > Node1- > Node23</title>
<g id= "a_edge38_Node000001_Node000023" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M800.35,-627.69C803.56,-611.63 808.51,-590.25 815,-572 832.29,-523.38 862.14,-468.99 873.97,-448.21" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "796.84,-627.38 798.4,-637.86 803.72,-628.7 796.84,-627.38" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node30 -->
<g id= "Node000030" class= "node" >
<title > Node30</title>
<g id= "a_Node000030" > <a xlink:href= "stellar__policy_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "936,-602 824,-602 824,-572 936,-572 936,-602" />
<text text-anchor= "start" x= "832" y= "-590" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/policy/stellar</text>
<text text-anchor= "middle" x= "880" y= "-579" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _policy.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node1->Node30 -->
<g id= "edge39_Node000001_Node000030" class= "edge" >
<title > Node1- > Node30</title>
<g id= "a_edge39_Node000001_Node000030" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M822.94,-631.48C835.49,-621.91 850.11,-610.77 861.41,-602.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "820.48,-628.95 814.64,-637.8 824.72,-634.52 820.48,-628.95" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node3 -->
<g id= "Node000003" class= "node" >
<title > Node3</title>
<g id= "a_Node000003" > <a xlink:href= "gridfire_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "837.5,-173 730.5,-173 730.5,-143 837.5,-143 837.5,-173" />
<text text-anchor= "start" x= "738.5" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "784" 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>
<!-- 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= "M418.81,-584.19C311.95,-580.49 128.36,-569.34 71,-536 24.97,-509.24 0,-492.75 0,-439.5 0,-439.5 0,-439.5 0,-289 0,-214.8 553.63,-173.5 730.42,-162.21" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "418.79,-587.69 428.9,-584.52 419.02,-580.69 418.79,-587.69" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node7 -->
<g id= "Node000007" class= "node" >
<title > Node7</title>
2025-11-28 09:46:00 -05:00
<g id= "a_Node000007" > <a xlink:href= "CVODE__solver__strategy_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "1291.5,-536 1152.5,-536 1152.5,-495 1291.5,-495 1291.5,-536" />
<text text-anchor= "start" x= "1160.5" y= "-524" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "1160.5" y= "-513" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/CVODE</text>
<text text-anchor= "middle" x= "1222" y= "-502" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _solver_strategy.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node2->Node7 -->
<g id= "edge7_Node000002_Node000007" class= "edge" >
<title > Node2- > Node7</title>
<g id= "a_edge7_Node000002_Node000007" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M577.08,-578.41C719.58,-564.73 1017.2,-536.16 1152.45,-523.18" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "576.71,-574.93 567.09,-579.37 577.38,-581.9 576.71,-574.93" />
2025-11-24 09:08:28 -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= "hashing_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "685.5,-530.5 578.5,-530.5 578.5,-500.5 685.5,-500.5 685.5,-530.5" />
<text text-anchor= "start" x= "586.5" y= "-518.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "632" y= "-507.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /utils/hashing.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node2->Node19 -->
<g id= "edge26_Node000002_Node000019" class= "edge" >
<title > Node2- > Node19</title>
<g id= "a_edge26_Node000002_Node000019" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M534.27,-567.19C556.54,-555.64 584.59,-541.09 604.92,-530.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "532.38,-564.22 525.12,-571.94 535.61,-570.44 532.38,-564.22" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node27 -->
<g id= "Node000027" class= "node" >
<title > Node27</title>
<g id= "a_Node000027" > <a xlink:href= "reaction_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "232,-525 80,-525 80,-506 232,-506 232,-525" />
<text text-anchor= "middle" x= "156" y= "-513" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/reaction/reaction.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node2->Node27 -->
<g id= "edge35_Node000002_Node000027" class= "edge" >
<title > Node2- > Node27</title>
<g id= "a_edge35_Node000002_Node000027" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M418.93,-571.32C368.03,-561.7 300.51,-548.61 241,-536 224.86,-532.58 207.05,-528.54 191.92,-525.02" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "418.41,-574.79 428.88,-573.2 419.7,-567.91 418.41,-574.79" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node28 -->
<g id= "Node000028" class= "node" >
<title > Node28</title>
<g id= "a_Node000028" > <a xlink:href= "engine_2bindings_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "418,-525 250,-525 250,-506 418,-506 418,-525" />
<text text-anchor= "middle" x= "334" y= "-513" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/engine/bindings.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node2->Node28 -->
<g id= "edge36_Node000002_Node000028" class= "edge" >
<title > Node2- > Node28</title>
<g id= "a_edge36_Node000002_Node000028" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M455.51,-567.99C422.9,-554.17 379.35,-535.72 354.22,-525.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "454.24,-571.26 464.81,-571.94 456.97,-564.81 454.24,-571.26" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node29 -->
<g id= "Node000029" class= "node" >
<title > Node29</title>
<g id= "a_Node000029" > <a xlink:href= "exceptions_2bindings_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "560,-530.5 436,-530.5 436,-500.5 560,-500.5 560,-530.5" />
<text text-anchor= "start" x= "444" y= "-518.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/exceptions</text>
<text text-anchor= "middle" x= "498" y= "-507.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /bindings.cpp</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node2->Node29 -->
<g id= "edge37_Node000002_Node000029" class= "edge" >
<title > Node2- > Node29</title>
<g id= "a_edge37_Node000002_Node000029" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M498,-561.75C498,-551.31 498,-539.49 498,-530.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "494.5,-561.94 498,-571.94 501.5,-561.94 494.5,-561.94" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node4 -->
<g id= "Node000004" class= "node" >
<title > Node4</title>
<g id= "a_Node000004" > <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= "802,-107 676,-107 676,-66 802,-66 802,-107" />
<text text-anchor= "start" x= "684" y= "-95" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/extern/include</text>
<text text-anchor= "start" x= "684" y= "-84" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /gridfire/extern/gridfire</text>
<text text-anchor= "middle" x= "739" 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>
<!-- 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= "M769.31,-134.31C763.61,-125.52 757.16,-115.55 751.67,-107.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "766.52,-136.44 774.89,-142.94 772.4,-132.64 766.52,-136.44" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node6 -->
<g id= "Node000006" class= "node" >
<title > Node6</title>
<g id= "a_Node000006" > <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= "889,-30 771,-30 771,0 889,0 889,-30" />
<text text-anchor= "start" x= "779" y= "-18" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/extern/lib/gridfire</text>
<text text-anchor= "middle" x= "830" y= "-7" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _extern.cpp</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node3->Node6 -->
<g id= "edge6_Node000003_Node000006" class= "edge" >
<title > Node3- > Node6</title>
<g id= "a_edge6_Node000003_Node000006" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M798.25,-133.95C802.87,-125.69 807.65,-116.16 811,-107 820.59,-80.78 825.89,-48.44 828.33,-30.22" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "795.2,-132.24 793.2,-142.65 801.25,-135.76 795.2,-132.24" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node5 -->
<g id= "Node000005" class= "node" >
<title > Node5</title>
2025-11-27 15:06:27 -05:00
<g id= "a_Node000005" > <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= "753,-30 635,-30 635,0 753,0 753,-30" />
<text text-anchor= "start" x= "643" y= "-18" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/extern/lib/gridfire</text>
<text text-anchor= "middle" x= "694" 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>
<!-- 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= "M720.62,-57.11C714.58,-47.78 708.13,-37.82 703.09,-30.04" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "717.85,-59.28 726.23,-65.77 723.73,-55.47 717.85,-59.28" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node4->Node6 -->
<g id= "edge5_Node000004_Node000006" class= "edge" >
<title > Node4- > Node6</title>
<g id= "a_edge5_Node000004_Node000006" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M772.79,-59.69C785.94,-49.65 800.49,-38.54 811.62,-30.04" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "770.66,-56.92 764.83,-65.77 774.91,-62.48 770.66,-56.92" />
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= "strategies_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "1136,-305 974,-305 974,-275 1136,-275 1136,-305" />
<text text-anchor= "start" x= "982" y= "-293" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "1055" y= "-282" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/strategies.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node7->Node8 -->
<g id= "edge8_Node000007_Node000008" class= "edge" >
<title > Node7- > Node8</title>
<g id= "a_edge8_Node000007_Node000008" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1252.96,-487.64C1290.84,-451.56 1345.56,-386.71 1308,-341 1286.47,-314.8 1201.81,-302.1 1136.29,-296.09" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1250.11,-485.51 1245.18,-494.89 1254.88,-490.64 1250.11,-485.51" />
2025-11-24 09:08:28 -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= "1386.5,-173 1247.5,-173 1247.5,-143 1386.5,-143 1386.5,-173" />
<text text-anchor= "start" x= "1255.5" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/procedures</text>
<text text-anchor= "middle" x= "1317" 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
<!-- Node7->Node10 -->
<g id= "edge22_Node000007_Node000010" class= "edge" >
<title > Node7- > Node10</title>
<g id= "a_edge22_Node000007_Node000010" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1269.7,-489.64C1311.63,-463.98 1366,-419.68 1366,-362.5 1366,-362.5 1366,-362.5 1366,-289 1366,-244.38 1340.41,-196.36 1326.22,-173.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1267.78,-486.72 1260.97,-494.83 1271.35,-492.73 1267.78,-486.72" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node14 -->
<g id= "Node000014" class= "node" >
<title > Node14</title>
2025-11-27 15:06:27 -05:00
<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= "1449.5,-96 1284.5,-96 1284.5,-77 1449.5,-77 1449.5,-96" />
<text text-anchor= "middle" x= "1367" 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
<!-- Node7->Node14 -->
<g id= "edge25_Node000007_Node000014" class= "edge" >
<title > Node7- > Node14</title>
<g id= "a_edge25_Node000007_Node000014" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1293.01,-491.16C1348.05,-468.09 1415,-426.81 1415,-362.5 1415,-362.5 1415,-362.5 1415,-223 1415,-172.34 1384.82,-116.82 1372.32,-96" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1291.55,-487.98 1283.6,-494.99 1294.18,-494.47 1291.55,-487.98" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node15 -->
<g id= "Node000015" class= "node" >
<title > Node15</title>
2025-11-27 15:06:27 -05:00
<g id= "a_Node000015" > <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= "1186,-459 1026,-459 1026,-418 1186,-418 1186,-459" />
<text text-anchor= "start" x= "1034" y= "-447" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "1034" y= "-436" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text text-anchor= "middle" x= "1106" y= "-425" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /engine_partitioning_trigger.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node7->Node15 -->
<g id= "edge17_Node000007_Node000015" class= "edge" >
<title > Node7- > Node15</title>
<g id= "a_edge17_Node000007_Node000015" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1183.13,-489.37C1167.91,-479.53 1150.71,-468.41 1136.43,-459.17" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1181.53,-492.5 1191.83,-494.99 1185.33,-486.62 1181.53,-492.5" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node17 -->
<g id= "Node000017" class= "node" >
<title > Node17</title>
2025-11-28 09:46:00 -05:00
<g id= "a_Node000017" > <a xlink:href= "CVODE__solver__strategy_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "966,-376.5 812,-376.5 812,-346.5 966,-346.5 966,-376.5" />
<text text-anchor= "start" x= "820" y= "-364.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/solver/strategies</text>
<text text-anchor= "middle" x= "889" 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
<!-- Node7->Node17 -->
<g id= "edge23_Node000007_Node000017" class= "edge" >
<title > Node7- > Node17</title>
<g id= "a_edge23_Node000007_Node000017" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1141.99,-500.27C1103.02,-491.51 1056.22,-478.2 1017,-459 993.5,-447.5 935.49,-400.85 906.32,-376.87" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1141.73,-503.8 1152.24,-502.51 1143.22,-496.96 1141.73,-503.8" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node18 -->
<g id= "Node000018" class= "node" >
<title > Node18</title>
<g id= "a_Node000018" > <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= "1299.5,-382 1144.5,-382 1144.5,-341 1299.5,-341 1299.5,-382" />
<text text-anchor= "start" x= "1152.5" y= "-370" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/solver/strategies</text>
<text text-anchor= "start" x= "1152.5" y= "-359" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers/engine_partitioning</text>
<text text-anchor= "middle" x= "1222" 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
<!-- Node7->Node18 -->
<g id= "edge24_Node000007_Node000018" class= "edge" >
<title > Node7- > Node18</title>
<g id= "a_edge24_Node000007_Node000018" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1222,-484.58C1222,-454.36 1222,-408.53 1222,-382.47" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1218.5,-484.94 1222,-494.94 1225.5,-484.94 1218.5,-484.94" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node9 -->
<g id= "Node000009" class= "node" >
<title > Node9</title>
<g id= "a_Node000009" > <a xlink:href= "solver_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "1102.5,-239 995.5,-239 995.5,-209 1102.5,-209 1102.5,-239" />
<text text-anchor= "start" x= "1003.5" y= "-227" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "1049" y= "-216" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/solver.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node8->Node9 -->
<g id= "edge9_Node000008_Node000009" class= "edge" >
<title > Node8- > Node9</title>
<g id= "a_edge9_Node000008_Node000009" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1052.73,-264.83C1051.92,-256.17 1051.03,-246.7 1050.33,-239.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1049.25,-265.17 1053.67,-274.8 1056.22,-264.51 1049.25,-265.17" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node9->Node3 -->
<g id= "edge10_Node000009_Node000003" class= "edge" >
<title > Node9- > Node3</title>
<g id= "a_edge10_Node000009_Node000003" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M985.39,-207.64C940.23,-196.73 880.27,-182.25 837.55,-171.93" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "984.83,-211.1 995.37,-210.05 986.47,-204.3 984.83,-211.1" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node9->Node10 -->
<g id= "edge11_Node000009_Node000010" class= "edge" >
<title > Node9- > Node10</title>
<g id= "a_edge11_Node000009_Node000010" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1112.33,-207.88C1156.42,-197.35 1214.79,-183.41 1257.91,-173.11" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1111.5,-204.48 1102.59,-210.2 1113.13,-211.28 1111.5,-204.48" />
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= "1016,-173 900,-173 900,-143 1016,-143 1016,-173" />
<text text-anchor= "start" x= "908" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/views</text>
<text text-anchor= "middle" x= "958" 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
<!-- Node9->Node11 -->
<g id= "edge12_Node000009_Node000011" class= "edge" >
<title > Node9- > Node11</title>
<g id= "a_edge12_Node000009_Node000011" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1020.6,-203.03C1006.83,-193.34 990.62,-181.94 978.14,-173.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1018.61,-205.91 1028.8,-208.8 1022.64,-200.18 1018.61,-205.91" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- 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= "1170.5,-101.5 1013.5,-101.5 1013.5,-71.5 1170.5,-71.5 1170.5,-101.5" />
<text text-anchor= "start" x= "1021.5" y= "-89.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text text-anchor= "middle" x= "1092" y= "-78.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node9->Node12 -->
<g id= "edge13_Node000009_Node000012" class= "edge" >
<title > Node9- > Node12</title>
<g id= "a_edge13_Node000009_Node000012" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1051.29,-198.6C1053.28,-182.5 1056.85,-161.12 1063,-143 1068.03,-128.18 1076.58,-112.47 1083.1,-101.56" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1047.79,-198.47 1050.15,-208.8 1054.74,-199.25 1047.79,-198.47" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node13 -->
<g id= "Node000013" class= "node" >
<title > Node13</title>
2025-11-27 15:06:27 -05:00
<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= "1229.5,-173 1072.5,-173 1072.5,-143 1229.5,-143 1229.5,-173" />
<text text-anchor= "start" x= "1080.5" y= "-161" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text text-anchor= "middle" x= "1151" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node9->Node13 -->
<g id= "edge14_Node000009_Node000013" class= "edge" >
<title > Node9- > Node13</title>
<g id= "a_edge14_Node000009_Node000013" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1080.21,-203.42C1095.86,-193.6 1114.46,-181.93 1128.67,-173.01" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1077.99,-200.68 1071.38,-208.95 1081.72,-206.6 1077.99,-200.68" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node13->Node12 -->
<g id= "edge16_Node000013_Node000012" class= "edge" >
<title > Node13- > Node12</title>
<g id= "a_edge16_Node000013_Node000012" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1132.35,-135.03C1123.05,-124.07 1112.07,-111.15 1103.92,-101.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1129.92,-137.58 1139.06,-142.94 1135.26,-133.05 1129.92,-137.58" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node13->Node14 -->
<g id= "edge15_Node000013_Node000014" class= "edge" >
<title > Node13- > Node14</title>
<g id= "a_edge15_Node000013_Node000014" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1204.5,-139.79C1247.69,-125.89 1306.63,-106.92 1340.37,-96.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1203.16,-136.54 1194.71,-142.94 1205.3,-143.2 1203.16,-136.54" />
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= "triggers_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "1126,-382 984,-382 984,-341 1126,-341 1126,-382" />
<text text-anchor= "start" x= "992" y= "-370" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "start" x= "992" y= "-359" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text text-anchor= "middle" x= "1055" y= "-348" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node15->Node16 -->
<g id= "edge18_Node000015_Node000016" class= "edge" >
<title > Node15- > Node16</title>
<g id= "a_edge18_Node000015_Node000016" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1086.89,-409.39C1080.7,-400.3 1073.98,-390.41 1068.31,-382.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1084.08,-411.49 1092.6,-417.79 1089.87,-407.56 1084.08,-411.49" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node15->Node17 -->
<g id= "edge20_Node000015_Node000017" class= "edge" >
<title > Node15- > Node17</title>
<g id= "a_edge20_Node000015_Node000017" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1039.65,-414.57C1003.79,-402.17 960.65,-387.26 929.75,-376.58" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1038.96,-418.03 1049.55,-417.99 1041.24,-411.42 1038.96,-418.03" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node15->Node18 -->
<g id= "edge21_Node000015_Node000018" class= "edge" >
<title > Node15- > Node18</title>
<g id= "a_edge21_Node000015_Node000018" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1144.87,-412.37C1160.09,-402.53 1177.29,-391.41 1191.57,-382.17" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1142.67,-409.62 1136.17,-417.99 1146.47,-415.5 1142.67,-409.62" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node16->Node8 -->
<g id= "edge19_Node000016_Node000008" class= "edge" >
<title > Node16- > Node8</title>
<g id= "a_edge19_Node000016_Node000008" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M1055,-330.66C1055,-321.76 1055,-312.42 1055,-305.04" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1051.5,-330.77 1055,-340.77 1058.5,-330.77 1051.5,-330.77" />
2025-11-24 09:08:28 -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= "utils_8h.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "837.5,-305 730.5,-305 730.5,-275 837.5,-275 837.5,-305" />
<text text-anchor= "start" x= "738.5" y= "-293" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text text-anchor= "middle" x= "784" y= "-282" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /utils/utils.h</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19->Node20 -->
<g id= "edge27_Node000019_Node000020" class= "edge" >
<title > Node19- > Node20</title>
<g id= "a_edge27_Node000019_Node000020" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M695.43,-502.69C720.97,-494.66 748.28,-481.27 765,-459 800.07,-412.29 792.1,-336.68 786.81,-305.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "694.37,-499.35 685.75,-505.51 696.33,-506.07 694.37,-499.35" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node21 -->
<g id= "Node000021" class= "node" >
<title > Node21</title>
2025-11-27 15:06:27 -05:00
<g id= "a_Node000021" > <a xlink:href= "engine__graph_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "594,-453.5 476,-453.5 476,-423.5 594,-423.5 594,-453.5" />
<text text-anchor= "start" x= "484" y= "-441.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/engine</text>
<text text-anchor= "middle" x= "535" y= "-430.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _graph.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19->Node21 -->
<g id= "edge29_Node000019_Node000021" class= "edge" >
<title > Node19- > Node21</title>
<g id= "a_edge29_Node000019_Node000021" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M605.52,-494.03C588.9,-481.18 567.91,-464.94 553.16,-453.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "603.7,-497.05 613.76,-500.39 607.98,-491.51 603.7,-497.05" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
<!-- Node22 -->
<g id= "Node000022" class= "node" >
<title > Node22</title>
2025-11-27 15:06:27 -05:00
<g id= "a_Node000022" > <a xlink:href= "partition__composite_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "756,-453.5 612,-453.5 612,-423.5 756,-423.5 756,-453.5" />
<text text-anchor= "start" x= "620" y= "-441.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/partition/composite</text>
<text text-anchor= "middle" x= "684" y= "-430.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /partition_composite.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19->Node22 -->
<g id= "edge30_Node000019_Node000022" class= "edge" >
<title > Node19- > Node22</title>
<g id= "a_edge30_Node000019_Node000022" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M647.69,-491.88C656.33,-479.41 666.79,-464.32 674.26,-453.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "644.6,-490.18 641.78,-500.39 650.35,-494.17 644.6,-490.18" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19->Node23 -->
<g id= "edge31_Node000019_Node000023" class= "edge" >
<title > Node19- > Node23</title>
<g id= "a_edge31_Node000019_Node000023" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M688,-497.5C738.68,-482.11 811.25,-460.07 850.75,-448.08" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "686.72,-494.23 678.17,-500.48 688.75,-500.92 686.72,-494.23" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node24 -->
<g id= "Node000024" class= "node" >
<title > Node24</title>
<g id= "a_Node000024" > <a xlink:href= "policy__logical_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "138,-453.5 28,-453.5 28,-423.5 138,-423.5 138,-453.5" />
<text text-anchor= "start" x= "36" y= "-441.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/policy/policy</text>
<text text-anchor= "middle" x= "83" y= "-430.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _logical.cpp</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node19->Node24 -->
<g id= "edge32_Node000019_Node000024" class= "edge" >
<title > Node19- > Node24</title>
<g id= "a_edge32_Node000019_Node000024" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M581,-497.71C576.97,-496.69 572.93,-495.77 569,-495 384.25,-458.96 331.83,-494.63 147,-459 139.7,-457.59 132.05,-455.67 124.68,-453.58" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "580.41,-501.18 590.98,-500.41 582.24,-494.42 580.41,-501.18" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node25 -->
<g id= "Node000025" class= "node" >
<title > Node25</title>
<g id= "a_Node000025" > <a xlink:href= "weak__interpolator_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "284,-453.5 156,-453.5 156,-423.5 284,-423.5 284,-453.5" />
<text text-anchor= "start" x= "164" y= "-441.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/reaction/weak</text>
<text text-anchor= "middle" x= "220" y= "-430.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /weak_interpolator.cpp</text>
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node19->Node25 -->
<g id= "edge33_Node000019_Node000025" class= "edge" >
<title > Node19- > Node25</title>
<g id= "a_edge33_Node000019_Node000025" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M580.59,-497.81C576.69,-496.78 572.79,-495.83 569,-495 448.14,-468.62 414.35,-483.01 293,-459 285.15,-457.45 276.9,-455.53 268.88,-453.5" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "579.67,-501.18 590.24,-500.49 581.54,-494.44 579.67,-501.18" />
2025-11-27 15:06:27 -05:00
</a>
</g>
</g>
<!-- Node26 -->
<g id= "Node000026" class= "node" >
<title > Node26</title>
<g id= "a_Node000026" > <a xlink:href= "utils_2bindings_8cpp.html" target= "_top" xlink:title= " " >
2025-11-28 09:46:00 -05:00
<polygon fill= "white" stroke= "#666666" points= "458,-448 302,-448 302,-429 458,-429 458,-448" />
<text text-anchor= "middle" x= "380" y= "-436" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/utils/bindings.cpp</text>
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node19->Node26 -->
<g id= "edge34_Node000019_Node000026" class= "edge" >
<title > Node19- > Node26</title>
<g id= "a_edge34_Node000019_Node000026" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M577.33,-497.52C574.51,-496.67 571.72,-495.82 569,-495 512.68,-478.02 446.73,-458.8 409.5,-448.02" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "576.36,-500.89 586.94,-500.47 578.4,-494.19 576.36,-500.89" />
2025-11-24 09:08:28 -05:00
</a>
</g>
</g>
2025-11-27 15:06:27 -05:00
<!-- Node20->Node3 -->
<g id= "edge28_Node000020_Node000003" class= "edge" >
<title > Node20- > Node3</title>
<g id= "a_edge28_Node000020_Node000003" > <a xlink:title= " " >
2025-11-28 09:46:00 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M784,-264.68C784,-237.7 784,-195.11 784,-173.14" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "780.5,-264.84 784,-274.84 787.5,-264.84 780.5,-264.84" />
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= "error__policy_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>