523 lines
26 KiB
XML
523 lines
26 KiB
XML
<?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_result.h Pages: 1 -->
|
|
<!--zoomable 538 -->
|
|
|
|
<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)">
|
|
|
|
<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>
|
|
|
|
<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 = 745;
|
|
var viewHeight = 538;
|
|
var sectionId = 'dynsection-1';
|
|
</script>
|
|
<script type="application/ecmascript" xlink:href="svg.min.js"/>
|
|
<svg id="graph" class="graph">
|
|
<g id="viewport">
|
|
<title>src/include/gridfire/trigger/trigger_result.h</title>
|
|
<!-- Node1 -->
|
|
<g id="Node000001" class="node">
|
|
<title>Node1</title>
|
|
<g id="a_Node000001"><a xlink:title="Structured explanation node for trigger evaluations.">
|
|
<polygon fill="#999999" stroke="#666666" points="515.25,-529.75 401.75,-529.75 401.75,-499.25 515.25,-499.25 515.25,-529.75"/>
|
|
<text xml:space="preserve" text-anchor="start" x="409.75" y="-516.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="458.5" y="-505" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger_result.h</text>
|
|
</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.">
|
|
<polygon fill="white" stroke="#666666" points="325.38,-385.5 185.62,-385.5 185.62,-343.75 325.38,-343.75 325.38,-385.5"/>
|
|
<text xml:space="preserve" text-anchor="start" x="193.62" y="-372" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="start" x="193.62" y="-360.75" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/strategies/triggers</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="255.5" y="-349.5" font-family="Helvetica,sans-Serif" font-size="10.00">/engine_partitioning_trigger.h</text>
|
|
</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=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M390.66,-505.54C359.15,-498.79 323.09,-486.31 297.5,-463.25 274.75,-442.74 263.84,-407.78 258.99,-385.74"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="389.62,-508.9 400.11,-507.4 390.98,-502.03 389.62,-508.9"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node14 -->
|
|
<g id="Node000014" class="node">
|
|
<title>Node14</title>
|
|
<g id="a_Node000014"><a xlink:href="trigger__pprint_8h.html" target="_top" xlink:title=" ">
|
|
<polygon fill="white" stroke="#666666" points="629,-463.25 502,-463.25 502,-421.5 629,-421.5 629,-463.25"/>
|
|
<text xml:space="preserve" text-anchor="start" x="510" y="-449.75" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="start" x="510" y="-438.5" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/procedures/trigger</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="565.5" y="-427.25" font-family="Helvetica,sans-Serif" font-size="10.00">_pprint.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- 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="M490.19,-492.73C504.21,-483.54 520.65,-472.77 534.58,-463.64"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="488.64,-489.56 482.2,-497.97 492.48,-495.42 488.64,-489.56"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node16 -->
|
|
<g id="Node000016" class="node">
|
|
<title>Node16</title>
|
|
<g id="a_Node000016"><a xlink:href="trigger_8h.html" target="_top" xlink:title=" ">
|
|
<polygon fill="white" stroke="#666666" points="701.25,-302.12 605.75,-302.12 605.75,-271.62 701.25,-271.62 701.25,-302.12"/>
|
|
<text xml:space="preserve" text-anchor="start" x="613.75" y="-288.62" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="653.5" y="-277.38" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node1->Node16 -->
|
|
<g id="edge19_Node000001_Node000016" class="edge">
|
|
<title>Node1->Node16</title>
|
|
<g id="a_edge19_Node000001_Node000016"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M526.61,-505.52C594.88,-493.25 694.8,-462.4 730.5,-385.5 738.31,-368.67 738.93,-360.28 730.5,-343.75 721.2,-325.5 702.84,-311.82 686.38,-302.57"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="526.29,-502.03 517.02,-507.15 527.46,-508.93 526.29,-502.03"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node17 -->
|
|
<g id="Node000017" class="node">
|
|
<title>Node17</title>
|
|
<g id="a_Node000017"><a xlink:href="trigger__abstract_8h.html" target="_top" xlink:title=" ">
|
|
<polygon fill="white" stroke="#666666" points="430.88,-457.62 306.12,-457.62 306.12,-427.12 430.88,-427.12 430.88,-457.62"/>
|
|
<text xml:space="preserve" text-anchor="start" x="314.12" y="-444.12" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="368.5" y="-432.88" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger_abstract.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node1->Node17 -->
|
|
<g id="edge20_Node000001_Node000017" class="edge">
|
|
<title>Node1->Node17</title>
|
|
<g id="a_edge20_Node000001_Node000017"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M430.98,-492.06C416.76,-480.98 399.79,-467.75 387.12,-457.89"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="428.62,-494.65 438.66,-498.04 432.92,-489.13 428.62,-494.65"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node18 -->
|
|
<g id="Node000018" class="node">
|
|
<title>Node18</title>
|
|
<g id="a_Node000018"><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="499.12,-379.88 381.88,-379.88 381.88,-349.38 499.12,-349.38 499.12,-379.88"/>
|
|
<text xml:space="preserve" text-anchor="start" x="389.88" y="-366.38" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="440.5" y="-355.12" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger_logical.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node1->Node18 -->
|
|
<g id="edge27_Node000001_Node000018" class="edge">
|
|
<title>Node1->Node18</title>
|
|
<g id="a_edge27_Node000001_Node000018"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M455.34,-487.54C451.55,-456.4 445.33,-405.27 442.28,-380.28"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="451.84,-487.77 456.53,-497.28 458.79,-486.93 451.84,-487.77"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node3 -->
|
|
<g id="Node000003" class="node">
|
|
<title>Node3</title>
|
|
<g id="a_Node000003"><a xlink:href="triggers_8h.html" target="_top" xlink:title=" ">
|
|
<polygon fill="white" stroke="#666666" points="271.62,-307.75 145.38,-307.75 145.38,-266 271.62,-266 271.62,-307.75"/>
|
|
<text xml:space="preserve" text-anchor="start" x="153.38" y="-294.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="start" x="153.38" y="-283" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/strategies/triggers</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="208.5" y="-271.75" font-family="Helvetica,sans-Serif" font-size="10.00">/triggers.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node2->Node3 -->
|
|
<g id="edge2_Node000002_Node000003" class="edge">
|
|
<title>Node2->Node3</title>
|
|
<g id="a_edge2_Node000002_Node000003"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M236.92,-333.68C231.62,-325.14 225.98,-316.05 221.13,-308.23"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="233.86,-335.39 242.11,-342.04 239.81,-331.7 233.86,-335.39"/>
|
|
</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="587.62,-302.12 443.38,-302.12 443.38,-271.62 587.62,-271.62 587.62,-302.12"/>
|
|
<text xml:space="preserve" text-anchor="start" x="451.38" 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="515.5" 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="M335.98,-340.18C378.11,-327.9 428.4,-313.25 465.02,-302.58"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="335.25,-336.74 326.63,-342.9 337.21,-343.47 335.25,-336.74"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- 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="425.12,-307.75 289.88,-307.75 289.88,-266 425.12,-266 425.12,-307.75"/>
|
|
<text xml:space="preserve" text-anchor="start" x="297.88" 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="297.88" y="-283" font-family="Helvetica,sans-Serif" font-size="10.00">/triggers/engine_partitioning</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="357.5" y="-271.75" font-family="Helvetica,sans-Serif" font-size="10.00">_trigger.cpp</text>
|
|
</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="M291.74,-336.71C304.36,-327.34 318.3,-316.98 330.09,-308.23"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="289.99,-333.65 284.05,-342.42 294.16,-339.27 289.99,-333.65"/>
|
|
</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="292,-230 147,-230 147,-199.5 292,-199.5 292,-230"/>
|
|
<text xml:space="preserve" text-anchor="start" x="155" y="-216.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="219.5" 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="M213.43,-254.42C214.76,-245.97 216.13,-237.23 217.23,-230.2"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="210.01,-253.68 211.92,-264.1 216.92,-254.76 210.01,-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="290.25,-163.5 194.75,-163.5 194.75,-133 290.25,-133 290.25,-163.5"/>
|
|
<text xml:space="preserve" text-anchor="start" x="202.75" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="242.5" 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="M228.55,-188.38C231.52,-180.05 234.72,-171.08 237.3,-163.83"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="225.29,-187.09 225.23,-197.69 231.88,-189.44 225.29,-187.09"/>
|
|
</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="657.25,-97 561.75,-97 561.75,-66.5 657.25,-66.5 657.25,-97"/>
|
|
<text xml:space="preserve" text-anchor="start" x="569.75" y="-83.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="609.5" 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="M301.64,-136.86C373.9,-124.16 494.74,-102.92 561.51,-91.18"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="301.21,-133.38 291.97,-138.56 302.42,-140.27 301.21,-133.38"/>
|
|
</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="379.88,-97 255.12,-97 255.12,-66.5 379.88,-66.5 379.88,-97"/>
|
|
<text xml:space="preserve" text-anchor="start" x="263.12" 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="317.5" 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="M268.09,-125.24C278.81,-116.03 290.97,-105.56 300.55,-97.33"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="265.97,-122.45 260.67,-131.63 270.53,-127.76 265.97,-122.45"/>
|
|
</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="501,-97 398,-97 398,-66.5 501,-66.5 501,-97"/>
|
|
<text xml:space="preserve" text-anchor="start" x="406" 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="449.5" 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="M300.35,-129.22C332.57,-119.18 372.17,-106.84 402.47,-97.4"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="299.68,-125.77 291.18,-132.08 301.76,-132.45 299.68,-125.77"/>
|
|
</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="139,-30.5 0,-30.5 0,0 139,0 139,-30.5"/>
|
|
<text xml:space="preserve" text-anchor="start" x="8" y="-17" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/trampoline</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="69.5" 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="M183.52,-141.66C151.51,-135.6 113.66,-123.03 89.5,-97 72.6,-78.79 69.38,-48.6 69.09,-30.75"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="182.63,-145.06 193.08,-143.29 183.81,-138.16 182.63,-145.06"/>
|
|
</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="237,-97 98,-97 98,-66.5 237,-66.5 237,-97"/>
|
|
<text xml:space="preserve" text-anchor="start" x="106" 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="167.5" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">/py_solver.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- 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="M216.91,-125.24C206.19,-116.03 194.03,-105.56 184.45,-97.33"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="214.47,-127.76 224.33,-131.63 219.03,-122.45 214.47,-127.76"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- 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="M135.73,-59.84C121.34,-50.37 104.66,-39.39 91.65,-30.83"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="133.72,-62.71 144,-65.28 137.57,-56.86 133.72,-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="305.88,-24.88 157.12,-24.88 157.12,-5.63 305.88,-5.63 305.88,-24.88"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="231.5" 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="M189.87,-58.21C201.2,-46.78 214.31,-33.57 222.75,-25.07"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="187.65,-55.48 183.09,-65.04 192.62,-60.41 187.65,-55.48"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node14->Node12 -->
|
|
<g id="edge18_Node000014_Node000012" class="edge">
|
|
<title>Node14->Node12</title>
|
|
<g id="a_edge18_Node000014_Node000012"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M555.44,-410.5C544.75,-377.66 528.28,-327.12 520.24,-302.44"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="552.07,-411.44 558.49,-419.87 558.73,-409.28 552.07,-411.44"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node15 -->
|
|
<g id="Node000015" class="node">
|
|
<title>Node15</title>
|
|
<g id="a_Node000015"><a xlink:href="trigger__procedures_8h.html" target="_top" xlink:title=" ">
|
|
<polygon fill="white" stroke="#666666" points="721,-385.5 594,-385.5 594,-343.75 721,-343.75 721,-385.5"/>
|
|
<text xml:space="preserve" text-anchor="start" x="602" y="-372" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
|
|
<text xml:space="preserve" text-anchor="start" x="602" y="-360.75" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/procedures/trigger</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="657.5" y="-349.5" font-family="Helvetica,sans-Serif" font-size="10.00">_procedures.h</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node14->Node15 -->
|
|
<g id="edge15_Node000014_Node000015" class="edge">
|
|
<title>Node14->Node15</title>
|
|
<g id="a_edge15_Node000014_Node000015"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M598.85,-413.91C610.06,-404.69 622.35,-394.56 632.78,-385.98"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="596.82,-411.05 591.32,-420.11 601.27,-416.46 596.82,-411.05"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node15->Node16 -->
|
|
<g id="edge16_Node000015_Node000016" class="edge">
|
|
<title>Node15->Node16</title>
|
|
<g id="a_edge16_Node000015_Node000016"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M655.83,-332.06C655.29,-321.69 654.7,-310.67 654.26,-302.23"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="652.33,-332.01 656.35,-341.81 659.32,-331.64 652.33,-332.01"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node16->Node6 -->
|
|
<g id="edge17_Node000016_Node000006" class="edge">
|
|
<title>Node16->Node6</title>
|
|
<g id="a_edge17_Node000016_Node000006"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M647.91,-260.07C638.58,-216.98 620.11,-131.74 612.69,-97.5"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="644.48,-260.76 650.02,-269.79 651.32,-259.27 644.48,-260.76"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node17->Node2 -->
|
|
<g id="edge21_Node000017_Node000002" class="edge">
|
|
<title>Node17->Node2</title>
|
|
<g id="a_edge21_Node000017_Node000002"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M337.22,-420.4C321.16,-409.64 301.68,-396.58 285.76,-385.91"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="335.2,-423.27 345.46,-425.93 339.1,-417.45 335.2,-423.27"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node17->Node13 -->
|
|
<g id="edge26_Node000017_Node000013" class="edge">
|
|
<title>Node17->Node13</title>
|
|
<g id="a_edge26_Node000017_Node000013"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M366.63,-415.32C364.46,-385.02 360.92,-335.63 358.95,-308.08"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="363.13,-415.42 367.34,-425.15 370.11,-414.92 363.13,-415.42"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node17->Node16 -->
|
|
<g id="edge22_Node000017_Node000016" class="edge">
|
|
<title>Node17->Node16</title>
|
|
<g id="a_edge22_Node000017_Node000016"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M422.74,-422.8C449.2,-412.97 481.15,-399.95 508.5,-385.5 556.26,-360.26 607.71,-322.92 634.62,-302.51"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="421.75,-419.44 413.56,-426.16 424.16,-426.01 421.75,-419.44"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node17->Node18 -->
|
|
<g id="edge23_Node000017_Node000018" class="edge">
|
|
<title>Node17->Node18</title>
|
|
<g id="a_edge23_Node000017_Node000018"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M390.11,-418.64C401.97,-406.17 416.31,-391.07 426.66,-380.19"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="387.78,-416.01 383.43,-425.67 392.85,-420.84 387.78,-416.01"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node18->Node13 -->
|
|
<g id="edge25_Node000018_Node000013" class="edge">
|
|
<title>Node18->Node13</title>
|
|
<g id="a_edge25_Node000018_Node000013"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M416.18,-341.43C404.65,-330.91 390.98,-318.43 379.73,-308.16"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="413.63,-343.84 423.38,-348 418.35,-338.67 413.63,-343.84"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- Node18->Node16 -->
|
|
<g id="edge24_Node000018_Node000016" class="edge">
|
|
<title>Node18->Node16</title>
|
|
<g id="a_edge24_Node000018_Node000016"><a xlink:title=" ">
|
|
<path fill="none" stroke="#63b8ff" d="M492.36,-345.18C529.23,-332.07 578.08,-314.7 612.29,-302.53"/>
|
|
<polygon fill="#63b8ff" stroke="#63b8ff" points="491.5,-341.77 483.25,-348.42 493.84,-348.37 491.5,-341.77"/>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
</g>
|
|
</svg>
|
|
|
|
<g id="navigator" transform="translate(0 0)" fill="#404254">
|
|
<rect fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width=".5" x="0" y="0" width="60" height="60"/>
|
|
<use id="zoomplus" xlink:href="#zoomPlus" x="17" y="9" onmousedown="handleZoom(evt,'in')"/>
|
|
<use id="zoomminus" xlink:href="#zoomMin" x="42" y="9" onmousedown="handleZoom(evt,'out')"/>
|
|
<use id="reset" xlink:href="#resetDef" x="30" y="36" onmousedown="handleReset()"/>
|
|
<use id="arrowup" xlink:href="#arrowUp" x="0" y="0" onmousedown="handlePan(0,-1)"/>
|
|
<use id="arrowright" xlink:href="#arrowRight" x="0" y="0" onmousedown="handlePan(1,0)"/>
|
|
<use id="arrowdown" xlink:href="#arrowDown" x="0" y="0" onmousedown="handlePan(0,1)"/>
|
|
<use id="arrowleft" xlink:href="#arrowLeft" x="0" y="0" onmousedown="handlePan(-1,0)"/>
|
|
</g>
|
|
<svg viewBox="0 0 15 15" width="100%" height="30px" preserveAspectRatio="xMaxYMin meet">
|
|
<g id="arrow_out" transform="scale(0.3 0.3)">
|
|
<a xlink:href="trigger__result_8h__dep__incl_org.svg" target="_base">
|
|
<rect id="button" ry="5" rx="5" y="6" x="6" height="38" width="38"
|
|
fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width="1.0"/>
|
|
<path id="arrow"
|
|
d="M 11.500037,31.436501 C 11.940474,20.09759 22.043105,11.32322 32.158766,21.979434 L 37.068811,17.246167 C 37.068811,17.246167 37.088388,32 37.088388,32 L 22.160133,31.978069 C 22.160133,31.978069 26.997745,27.140456 26.997745,27.140456 C 18.528582,18.264221 13.291696,25.230495 11.500037,31.436501 z"
|
|
style="fill:#404040;"/>
|
|
</a>
|
|
</g>
|
|
</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>
|