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/exceptions/error_policy.h Pages: 1 -->
2025-11-24 09:08:28 -05:00
<!-- zoomable 604 -->
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 = 1315;
var viewHeight = 604;
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-24 09:08:28 -05:00
<polygon fill= "#999999" stroke= "#666666" points= "728.12,-596.25 601.88,-596.25 601.88,-565.75 728.12,-565.75 728.12,-596.25" />
<text xml:space= "preserve" text-anchor= "start" x= "609.88" y= "-582.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "665" y= "-571.5" 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= " " >
<polygon fill= "white" stroke= "#666666" points= "583.38,-529.75 458.62,-529.75 458.62,-499.25 583.38,-499.25 583.38,-529.75" />
<text xml:space= "preserve" text-anchor= "start" x= "466.62" y= "-516.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "521" y= "-505" 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-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M621.95,-560.72C600.01,-550.89 573.77,-539.14 553.55,-530.08" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "620.39,-563.85 630.94,-564.75 623.25,-557.46 620.39,-563.85" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node20 -->
<g id= "Node000020" class= "node" >
<title > Node20</title>
<g id= "a_Node000020" > <a xlink:href= "chains_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "864.5,-374.25 743.5,-374.25 743.5,-355 864.5,-355 864.5,-374.25" />
<text xml:space= "preserve" text-anchor= "middle" x= "804" y= "-360.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/policy/chains.cpp</text>
</a>
</g>
</g>
<!-- Node1->Node20 -->
<g id= "edge33_Node000001_Node000020" class= "edge" >
<title > Node1- > Node20</title>
<g id= "a_edge33_Node000001_Node000020" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M667.68,-554.55C670.19,-538.06 674.98,-516.51 684,-499.25 712.59,-444.53 768.74,-394.52 792.71,-374.67" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "664.26,-553.66 666.42,-564.04 671.2,-554.58 664.26,-553.66" />
</a>
</g>
</g>
<!-- Node26 -->
<g id= "Node000026" class= "node" >
<title > Node26</title>
<g id= "a_Node000026" > <a xlink:href= "stellar__policy_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "793,-529.75 693,-529.75 693,-499.25 793,-499.25 793,-529.75" />
<text xml:space= "preserve" text-anchor= "start" x= "701" y= "-516.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/policy/stellar</text>
<text xml:space= "preserve" text-anchor= "middle" x= "743" y= "-505" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _policy.cpp</text>
</a>
</g>
</g>
<!-- Node1->Node26 -->
<g id= "edge34_Node000001_Node000026" class= "edge" >
<title > Node1- > Node26</title>
<g id= "a_edge34_Node000001_Node000026" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M691.28,-558.27C702.51,-548.98 715.31,-538.4 725.37,-530.08" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "689.34,-555.33 683.87,-564.4 693.8,-560.72 689.34,-555.33" />
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= " " >
<polygon fill= "white" stroke= "#666666" points= "762.75,-97 667.25,-97 667.25,-66.5 762.75,-66.5 762.75,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "675.25" y= "-83.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "715" y= "-72.25" 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-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M446.83,-507.97C302.95,-495.2 0,-457.4 0,-365.62 0,-365.62 0,-365.62 0,-213.75 0,-145.76 506.66,-99.41 666.98,-86.44" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "446.38,-511.44 456.65,-508.82 446.99,-504.47 446.38,-511.44" />
</a>
</g>
</g>
<!-- Node4 -->
<g id= "Node000004" class= "node" >
<title > Node4</title>
<g id= "a_Node000004" > <a xlink:href= "_c_v_o_d_e__solver__strategy_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "1182,-463.25 1052,-463.25 1052,-421.5 1182,-421.5 1182,-463.25" />
<text xml:space= "preserve" text-anchor= "start" x= "1060" y= "-449.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "start" x= "1060" y= "-438.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/CVODE</text>
<text xml:space= "preserve" text-anchor= "middle" x= "1117" y= "-427.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _solver_strategy.h</text>
</a>
</g>
</g>
<!-- Node2->Node4 -->
<g id= "edge3_Node000002_Node000004" class= "edge" >
<title > Node2- > Node4</title>
<g id= "a_edge3_Node000002_Node000004" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M595.02,-504.79C712.49,-490.97 939.73,-464.23 1051.58,-451.07" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "594.68,-501.31 585.16,-505.95 595.5,-508.26 594.68,-501.31" />
</a>
</g>
</g>
<!-- Node16 -->
<g id= "Node000016" class= "node" >
<title > Node16</title>
<g id= "a_Node000016" > <a xlink:href= "hashing_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "602.75,-457.62 507.25,-457.62 507.25,-427.12 602.75,-427.12 602.75,-457.62" />
<text xml:space= "preserve" text-anchor= "start" x= "515.25" y= "-444.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "555" y= "-432.88" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /utils/hashing.h</text>
</a>
</g>
</g>
<!-- Node2->Node16 -->
<g id= "edge22_Node000002_Node000016" class= "edge" >
<title > Node2- > Node16</title>
<g id= "a_edge22_Node000002_Node000016" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M532.96,-488.84C537.97,-478.49 543.64,-466.81 547.96,-457.89" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "529.92,-487.08 528.71,-497.61 536.22,-490.14 529.92,-487.08" />
</a>
</g>
</g>
<!-- Node24 -->
<g id= "Node000024" class= "node" >
<title > Node24</title>
<g id= "a_Node000024" > <a xlink:href= "engine_2bindings_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "358.5,-452 207.5,-452 207.5,-432.75 358.5,-432.75 358.5,-452" />
<text xml:space= "preserve" text-anchor= "middle" x= "283" y= "-438.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/engine/bindings.cpp</text>
</a>
</g>
</g>
<!-- Node2->Node24 -->
<g id= "edge31_Node000002_Node000024" class= "edge" >
<title > Node2- > Node24</title>
<g id= "a_edge31_Node000002_Node000024" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M460.2,-495.58C413.47,-481.82 350.86,-463.37 313.94,-452.49" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "459.07,-498.9 469.66,-498.37 461.05,-492.19 459.07,-498.9" />
</a>
</g>
</g>
<!-- Node25 -->
<g id= "Node000025" class= "node" >
<title > Node25</title>
<g id= "a_Node000025" > <a xlink:href= "exceptions_2bindings_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "489,-457.62 377,-457.62 377,-427.12 489,-427.12 489,-457.62" />
<text xml:space= "preserve" text-anchor= "start" x= "385" y= "-444.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "433" y= "-432.88" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /bindings.cpp</text>
</a>
</g>
</g>
<!-- Node2->Node25 -->
<g id= "edge32_Node000002_Node000025" class= "edge" >
<title > Node2- > Node25</title>
<g id= "a_edge32_Node000002_Node000025" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M494.09,-492.06C480.19,-480.98 463.59,-467.75 451.21,-457.89" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "491.58,-494.53 501.58,-498.03 495.94,-489.06 491.58,-494.53" />
</a>
</g>
</g>
<!-- Node5 -->
<g id= "Node000005" class= "node" >
<title > Node5</title>
<g id= "a_Node000005" > <a xlink:href= "strategies_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "1040.5,-230 895.5,-230 895.5,-199.5 1040.5,-199.5 1040.5,-230" />
<text xml:space= "preserve" text-anchor= "start" x= "903.5" y= "-216.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "968" y= "-205.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/strategies.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= "M1146.31,-413.31C1181.18,-376.52 1230.36,-311.34 1194,-266 1174.98,-242.29 1099.55,-229.05 1041,-222.19" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1144.21,-410.45 1139.75,-420.06 1149.23,-415.33 1144.21,-410.45" />
</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= "1269.38,-97 1144.62,-97 1144.62,-66.5 1269.38,-66.5 1269.38,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "1152.62" 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= "1207" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /priming.cpp</text>
</a>
</g>
</g>
<!-- Node4->Node7 -->
<g id= "edge18_Node000004_Node000007" class= "edge" >
<title > Node4- > Node7</title>
<g id= "a_edge18_Node000004_Node000007" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1161.68,-415.14C1200.65,-388.52 1251,-343.39 1251,-287.88 1251,-287.88 1251,-287.88 1251,-213.75 1251,-169.37 1228.02,-120.72 1215.28,-97.15" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1160.22,-411.9 1153.82,-420.34 1164.09,-417.74 1160.22,-411.9" />
</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= "1307.38,-24.88 1158.62,-24.88 1158.62,-5.63 1307.38,-5.63 1307.38,-24.88" />
<text xml:space= "preserve" text-anchor= "middle" x= "1233" y= "-11.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/bindings.cpp</text>
</a>
</g>
</g>
<!-- Node4->Node11 -->
<g id= "edge21_Node000004_Node000011" class= "edge" >
<title > Node4- > Node11</title>
<g id= "a_edge21_Node000004_Node000011" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1182.91,-416.43C1234.3,-392.2 1297,-349.93 1297,-287.88 1297,-287.88 1297,-287.88 1297,-147.25 1297,-110.38 1295.05,-99.19 1278,-66.5 1269.34,-49.89 1253.92,-34.41 1243.58,-25.14" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1181.5,-413.23 1173.85,-420.55 1184.4,-419.6 1181.5,-413.23" />
</a>
</g>
</g>
<!-- Node12 -->
<g id= "Node000012" class= "node" >
<title > Node12</title>
<g id= "a_Node000012" > <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." >
<polygon fill= "white" stroke= "#666666" points= "1081.88,-385.5 942.12,-385.5 942.12,-343.75 1081.88,-343.75 1081.88,-385.5" />
<text xml:space= "preserve" text-anchor= "start" x= "950.12" y= "-372" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "start" x= "950.12" y= "-360.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text xml:space= "preserve" text-anchor= "middle" x= "1012" y= "-349.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /engine_partitioning_trigger.h</text>
</a>
</g>
</g>
<!-- Node4->Node12 -->
<g id= "edge13_Node000004_Node000012" class= "edge" >
<title > Node4- > Node12</title>
<g id= "a_edge13_Node000004_Node000012" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1079.69,-414.46C1066.7,-405.09 1052.35,-394.73 1040.22,-385.98" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1077.48,-417.18 1087.63,-420.19 1081.57,-411.5 1077.48,-417.18" />
</a>
</g>
</g>
<!-- Node14 -->
<g id= "Node000014" class= "node" >
<title > Node14</title>
<g id= "a_Node000014" > <a xlink:href= "_c_v_o_d_e__solver__strategy_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "887.12,-302.12 742.88,-302.12 742.88,-271.62 887.12,-271.62 887.12,-302.12" />
<text xml:space= "preserve" text-anchor= "start" x= "750.88" 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= "815" y= "-277.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /CVODE_solver_strategy.cpp</text>
</a>
</g>
</g>
<!-- Node4->Node14 -->
<g id= "edge19_Node000004_Node000014" class= "edge" >
<title > Node4- > Node14</title>
<g id= "a_edge19_Node000004_Node000014" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1040.64,-425.43C1006.47,-416.49 966.44,-403.46 933,-385.5 910.98,-373.67 857.67,-326.57 830.89,-302.38" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1039.49,-428.75 1050.04,-427.81 1041.21,-421.96 1039.49,-428.75" />
</a>
</g>
</g>
<!-- Node15 -->
<g id= "Node000015" class= "node" >
<title > Node15</title>
<g id= "a_Node000015" > <a xlink:href= "engine__partitioning__trigger_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "1184.62,-307.75 1049.38,-307.75 1049.38,-266 1184.62,-266 1184.62,-307.75" />
<text xml:space= "preserve" text-anchor= "start" x= "1057.38" 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= "1057.38" y= "-283" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers/engine_partitioning</text>
<text xml:space= "preserve" text-anchor= "middle" x= "1117" y= "-271.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _trigger.cpp</text>
</a>
</g>
</g>
<!-- Node4->Node15 -->
<g id= "edge20_Node000004_Node000015" class= "edge" >
<title > Node4- > Node15</title>
<g id= "a_edge20_Node000004_Node000015" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1117,-410.01C1117,-379.46 1117,-333.92 1117,-307.95" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1113.5,-409.79 1117,-419.79 1120.5,-409.79 1113.5,-409.79" />
</a>
</g>
</g>
<!-- Node6 -->
<g id= "Node000006" class= "node" >
<title > Node6</title>
<g id= "a_Node000006" > <a xlink:href= "solver_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "1010.75,-163.5 915.25,-163.5 915.25,-133 1010.75,-133 1010.75,-163.5" />
<text xml:space= "preserve" text-anchor= "start" x= "923.25" y= "-150" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "963" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/solver.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= "M965.99,-187.81C965.36,-179.64 964.68,-170.91 964.13,-163.83" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "962.49,-187.91 966.75,-197.6 969.47,-187.36 962.49,-187.91" />
</a>
</g>
</g>
<!-- Node6->Node3 -->
<g id= "edge6_Node000006_Node000003" class= "edge" >
<title > Node6- > Node3</title>
<g id= "a_edge6_Node000006_Node000003" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M903.99,-131.9C860.91,-120.7 803.24,-105.7 762.98,-95.23" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "902.87,-135.23 913.42,-134.36 904.63,-128.45 902.87,-135.23" />
</a>
</g>
</g>
<!-- Node6->Node7 -->
<g id= "edge7_Node000006_Node000007" class= "edge" >
<title > Node6- > Node7</title>
<g id= "a_edge7_Node000006_Node000007" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1022.2,-131.6C1061.47,-121.22 1112.66,-107.69 1151.21,-97.5" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1021.44,-128.18 1012.67,-134.12 1023.23,-134.95 1021.44,-128.18" />
</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= "930.5,-97 827.5,-97 827.5,-66.5 930.5,-66.5 930.5,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "835.5" 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= "879" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /engine_priming.cpp</text>
</a>
</g>
</g>
<!-- Node6->Node8 -->
<g id= "edge8_Node000006_Node000008" class= "edge" >
<title > Node6- > Node8</title>
<g id= "a_edge8_Node000006_Node000008" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M935.06,-125.79C922.88,-116.44 908.93,-105.73 897.99,-97.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "932.68,-128.38 942.74,-131.69 936.94,-122.83 932.68,-128.38" />
</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= "1077.5,-30.5 938.5,-30.5 938.5,0 1077.5,0 1077.5,-30.5" />
<text xml:space= "preserve" text-anchor= "start" x= "946.5" y= "-17" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/solver/trampoline</text>
<text xml:space= "preserve" text-anchor= "middle" x= "1008" y= "-5.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.cpp</text>
</a>
</g>
</g>
<!-- Node6->Node9 -->
<g id= "edge9_Node000006_Node000009" class= "edge" >
<title > Node6- > Node9</title>
<g id= "a_edge9_Node000006_Node000009" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M965.94,-121.3C968.3,-105.17 972.35,-84.2 979,-66.5 983.82,-53.68 991.7,-40.3 998.03,-30.57" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "962.49,-120.69 964.65,-131.06 969.43,-121.61 962.49,-120.69" />
</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= "1126.5,-97 987.5,-97 987.5,-66.5 1126.5,-66.5 1126.5,-97" />
<text xml:space= "preserve" text-anchor= "start" x= "995.5" 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= "1057" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /py_solver.h</text>
</a>
</g>
</g>
<!-- Node6->Node10 -->
<g id= "edge10_Node000006_Node000010" class= "edge" >
<title > Node6- > Node10</title>
<g id= "a_edge10_Node000006_Node000010" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M993.47,-126.34C1007.28,-116.87 1023.27,-105.89 1035.75,-97.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "991.84,-123.21 985.58,-131.76 995.8,-128.99 991.84,-123.21" />
</a>
</g>
</g>
<!-- Node10->Node9 -->
<g id= "edge12_Node000010_Node000009" class= "edge" >
<title > Node10- > Node9</title>
<g id= "a_edge12_Node000010_Node000009" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1039.01,-57.07C1032.33,-48.28 1024.96,-38.57 1019.07,-30.83" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1036.13,-59.06 1044.97,-64.91 1041.7,-54.83 1036.13,-59.06" />
</a>
</g>
</g>
<!-- Node10->Node11 -->
<g id= "edge11_Node000010_Node000011" class= "edge" >
<title > Node10- > Node11</title>
<g id= "a_edge11_Node000010_Node000011" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1107.32,-62.31C1140.33,-50.21 1182.07,-34.91 1208.16,-25.35" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1106.54,-58.87 1098.36,-65.59 1108.95,-65.44 1106.54,-58.87" />
</a>
</g>
</g>
<!-- Node13 -->
<g id= "Node000013" class= "node" >
<title > Node13</title>
<g id= "a_Node000013" > <a xlink:href= "triggers_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "1031.12,-307.75 904.88,-307.75 904.88,-266 1031.12,-266 1031.12,-307.75" />
<text xml:space= "preserve" text-anchor= "start" x= "912.88" y= "-294.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "start" x= "912.88" y= "-283" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /solver/strategies/triggers</text>
<text xml:space= "preserve" text-anchor= "middle" x= "968" y= "-271.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /triggers.h</text>
</a>
</g>
</g>
<!-- Node12->Node13 -->
<g id= "edge14_Node000012_Node000013" class= "edge" >
<title > Node12- > Node13</title>
<g id= "a_edge14_Node000012_Node000013" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M994.44,-333.4C989.53,-324.95 984.32,-315.96 979.82,-308.23" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "991.4,-335.13 999.45,-342.02 997.45,-331.61 991.4,-335.13" />
</a>
</g>
</g>
<!-- Node12->Node14 -->
<g id= "edge16_Node000012_Node000014" class= "edge" >
<title > Node12- > Node14</title>
<g id= "a_edge16_Node000012_Node000014" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M948.78,-339.31C917.33,-327.22 880.35,-313 853.25,-302.58" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "947.2,-342.46 957.79,-342.78 949.72,-335.93 947.2,-342.46" />
</a>
</g>
</g>
<!-- Node12->Node15 -->
<g id= "edge17_Node000012_Node000015" class= "edge" >
<title > Node12- > Node15</title>
<g id= "a_edge17_Node000012_Node000015" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M1049.31,-336.71C1062.3,-327.34 1076.65,-316.98 1088.78,-308.23" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "1047.43,-333.75 1041.37,-342.44 1051.52,-339.43 1047.43,-333.75" />
</a>
</g>
</g>
<!-- Node13->Node5 -->
<g id= "edge15_Node000013_Node000005" class= "edge" >
<title > Node13- > Node5</title>
<g id= "a_edge15_Node000013_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M968,-254.13C968,-245.77 968,-237.15 968,-230.2" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "964.5,-254.08 968,-264.08 971.5,-254.08 964.5,-254.08" />
</a>
</g>
</g>
<!-- Node17 -->
<g id= "Node000017" class= "node" >
<title > Node17</title>
<g id= "a_Node000017" > <a xlink:href= "utils_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "762.75,-230 667.25,-230 667.25,-199.5 762.75,-199.5 762.75,-230" />
<text xml:space= "preserve" text-anchor= "start" x= "675.25" y= "-216.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/include/gridfire</text>
<text xml:space= "preserve" text-anchor= "middle" x= "715" y= "-205.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /utils/utils.h</text>
</a>
</g>
</g>
<!-- Node16->Node17 -->
<g id= "edge23_Node000016_Node000017" class= "edge" >
<title > Node16- > Node17</title>
<g id= "a_edge23_Node000016_Node000017" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M614.16,-432.52C643.36,-424.99 676.44,-411.1 696,-385.5 731.83,-338.61 723.44,-262.05 717.92,-230.28" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "613.6,-429.06 604.67,-434.76 615.2,-435.87 613.6,-429.06" />
</a>
</g>
</g>
<!-- Node18 -->
<g id= "Node000018" class= "node" >
<title > Node18</title>
<g id= "a_Node000018" > <a xlink:href= "engine__graph_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "540.62,-379.88 435.38,-379.88 435.38,-349.38 540.62,-349.38 540.62,-379.88" />
<text xml:space= "preserve" text-anchor= "start" x= "443.38" y= "-366.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/engine/engine</text>
<text xml:space= "preserve" text-anchor= "middle" x= "488" y= "-355.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _graph.cpp</text>
</a>
</g>
</g>
<!-- Node16->Node18 -->
<g id= "edge25_Node000016_Node000018" class= "edge" >
<title > Node16- > Node18</title>
<g id= "a_edge25_Node000016_Node000018" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M534.57,-418.28C523.6,-405.88 510.42,-390.97 500.88,-380.19" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "531.83,-420.46 541.08,-425.64 537.08,-415.83 531.83,-420.46" />
</a>
</g>
</g>
<!-- Node19 -->
<g id= "Node000019" class= "node" >
<title > Node19</title>
<g id= "a_Node000019" > <a xlink:href= "partition__composite_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "686.88,-379.88 559.12,-379.88 559.12,-349.38 686.88,-349.38 686.88,-379.88" />
<text xml:space= "preserve" text-anchor= "start" x= "567.12" y= "-366.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/partition/composite</text>
<text xml:space= "preserve" text-anchor= "middle" x= "623" y= "-355.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /partition_composite.cpp</text>
</a>
</g>
</g>
<!-- Node16->Node19 -->
<g id= "edge26_Node000016_Node000019" class= "edge" >
<title > Node16- > Node19</title>
<g id= "a_edge26_Node000016_Node000019" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M575.73,-418.28C586.87,-405.88 600.25,-390.97 609.93,-380.19" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "573.2,-415.86 569.12,-425.64 578.41,-420.54 573.2,-415.86" />
</a>
</g>
</g>
<!-- Node16->Node20 -->
<g id= "edge27_Node000016_Node000020" class= "edge" >
<title > Node16- > Node20</title>
<g id= "a_edge27_Node000016_Node000020" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M613.75,-423.5C664.11,-408.18 734.61,-386.73 774.12,-374.72" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "613.01,-420.07 604.46,-426.33 615.04,-426.77 613.01,-420.07" />
</a>
</g>
</g>
<!-- Node21 -->
<g id= "Node000021" class= "node" >
<title > Node21</title>
<g id= "a_Node000021" > <a xlink:href= "policy__logical_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "127.62,-379.88 28.38,-379.88 28.38,-349.38 127.62,-349.38 127.62,-379.88" />
<text xml:space= "preserve" text-anchor= "start" x= "36.38" y= "-366.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/policy/policy</text>
<text xml:space= "preserve" text-anchor= "middle" x= "78" y= "-355.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > _logical.cpp</text>
</a>
</g>
</g>
<!-- Node16->Node21 -->
<g id= "edge28_Node000016_Node000021" class= "edge" >
<title > Node16- > Node21</title>
<g id= "a_edge28_Node000016_Node000021" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M505.87,-423.44C503.23,-422.73 500.59,-422.07 498,-421.5 340.12,-386.64 293.97,-419.94 136,-385.5 129.76,-384.14 123.26,-382.33 116.96,-380.34" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "504.69,-426.74 515.27,-426.22 506.68,-420.03 504.69,-426.74" />
</a>
</g>
</g>
<!-- Node22 -->
<g id= "Node000022" class= "node" >
<title > Node22</title>
<g id= "a_Node000022" > <a xlink:href= "weak__interpolator_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "258.75,-379.88 145.25,-379.88 145.25,-349.38 258.75,-349.38 258.75,-379.88" />
<text xml:space= "preserve" text-anchor= "start" x= "153.25" y= "-366.38" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/lib/reaction/weak</text>
<text xml:space= "preserve" text-anchor= "middle" x= "202" y= "-355.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /weak_interpolator.cpp</text>
</a>
</g>
</g>
<!-- Node16->Node22 -->
<g id= "edge29_Node000016_Node000022" class= "edge" >
<title > Node16- > Node22</title>
<g id= "a_edge29_Node000016_Node000022" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M504.88,-423.34C502.56,-422.69 500.26,-422.07 498,-421.5 397.63,-396.37 368.88,-408.47 268,-385.5 261.47,-384.01 254.63,-382.22 247.94,-380.34" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "503.69,-426.64 514.28,-426.21 505.73,-419.94 503.69,-426.64" />
</a>
</g>
</g>
<!-- Node23 -->
<g id= "Node000023" class= "node" >
<title > Node23</title>
<g id= "a_Node000023" > <a xlink:href= "utils_2bindings_8cpp.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "417.25,-374.25 276.75,-374.25 276.75,-355 417.25,-355 417.25,-374.25" />
<text xml:space= "preserve" text-anchor= "middle" x= "347" y= "-360.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/utils/bindings.cpp</text>
</a>
</g>
</g>
<!-- Node16->Node23 -->
<g id= "edge30_Node000016_Node000023" class= "edge" >
<title > Node16- > Node23</title>
<g id= "a_edge30_Node000016_Node000023" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M504.33,-422.92C462.37,-407.64 404.55,-386.58 371.96,-374.72" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "502.88,-426.12 513.47,-426.25 505.27,-419.54 502.88,-426.12" />
</a>
</g>
</g>
<!-- Node17->Node3 -->
<g id= "edge24_Node000017_Node000003" class= "edge" >
<title > Node17- > Node3</title>
<g id= "a_edge24_Node000017_Node000003" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M715,-187.93C715,-160.84 715,-119.21 715,-97.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "711.5,-187.72 715,-197.72 718.5,-187.72 711.5,-187.72" />
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>
