GridFire/docs/html/triggers_8h__dep__incl.svg

<?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/solver/strategies/triggers/triggers.h Pages: 1 -->
<!--zoomable 394 -->

<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 = 718;
var viewHeight = 394;
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/solver/strategies/triggers/triggers.h</title>
<!-- Node1 -->
<g id="Node000001" class="node">
<title>Node1</title>
<g id="a_Node000001"><a xlink:title=" ">
<polygon fill="#999999" stroke="#666666" points="456.38,-385.5 330.12,-385.5 330.12,-343.75 456.38,-343.75 456.38,-385.5"/>
<text xml:space="preserve" text-anchor="start" x="338.12" y="-372" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text xml:space="preserve" text-anchor="start" x="338.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="393.25" y="-349.5" font-family="Helvetica,sans-Serif" font-size="10.00">/triggers.h</text>
</a>
</g>
</g>
<!-- Node2 -->
<g id="Node000002" class="node">
<title>Node2</title>
<g id="a_Node000002"><a xlink:href="strategies_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="465.75,-307.75 320.75,-307.75 320.75,-277.25 465.75,-277.25 465.75,-307.75"/>
<text xml:space="preserve" text-anchor="start" x="328.75" y="-294.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text xml:space="preserve" text-anchor="middle" x="393.25" y="-283" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/strategies/strategies.h</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node2 -->
<g id="edge1_Node000001_Node000002" class="edge">
<title>Node1&#45;&gt;Node2</title>
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M393.25,-331.88C393.25,-323.52 393.25,-314.9 393.25,-307.95"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="389.75,-331.83 393.25,-341.83 396.75,-331.83 389.75,-331.83"/>
</a>
</g>
</g>
<!-- Node3 -->
<g id="Node000003" class="node">
<title>Node3</title>
<g id="a_Node000003"><a xlink:href="solver_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="441,-241.25 345.5,-241.25 345.5,-210.75 441,-210.75 441,-241.25"/>
<text xml:space="preserve" text-anchor="start" x="353.5" y="-227.75" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text xml:space="preserve" text-anchor="middle" x="393.25" y="-216.5" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/solver.h</text>
</a>
</g>
</g>
<!-- Node2&#45;&gt;Node3 -->
<g id="edge2_Node000002_Node000003" class="edge">
<title>Node2&#45;&gt;Node3</title>
<g id="a_edge2_Node000002_Node000003"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M393.25,-265.56C393.25,-257.39 393.25,-248.66 393.25,-241.58"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="389.75,-265.35 393.25,-275.35 396.75,-265.35 389.75,-265.35"/>
</a>
</g>
</g>
<!-- Node4 -->
<g id="Node000004" class="node">
<title>Node4</title>
<g id="a_Node000004"><a xlink:href="gridfire_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="181,-174.75 85.5,-174.75 85.5,-144.25 181,-144.25 181,-174.75"/>
<text xml:space="preserve" text-anchor="start" x="93.5" y="-161.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text xml:space="preserve" text-anchor="middle" x="133.25" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/gridfire.h</text>
</a>
</g>
</g>
<!-- Node3&#45;&gt;Node4 -->
<g id="edge3_Node000003_Node000004" class="edge">
<title>Node3&#45;&gt;Node4</title>
<g id="a_edge3_Node000003_Node000004"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M334.23,-210.43C293.72,-200.42 238.72,-186.81 190.25,-174.75 187.38,-174.04 184.43,-173.3 181.45,-172.56"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="333.24,-213.79 343.78,-212.79 334.92,-206.99 333.24,-213.79"/>
</a>
</g>
</g>
<!-- Node8 -->
<g id="Node000008" class="node">
<title>Node8</title>
<g id="a_Node000008"><a xlink:href="priming_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="323.62,-174.75 198.88,-174.75 198.88,-144.25 323.62,-144.25 323.62,-174.75"/>
<text xml:space="preserve" text-anchor="start" x="206.88" y="-161.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/engine/procedures</text>
<text xml:space="preserve" text-anchor="middle" x="261.25" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/priming.cpp</text>
</a>
</g>
</g>
<!-- Node3&#45;&gt;Node8 -->
<g id="edge8_Node000003_Node000008" class="edge">
<title>Node3&#45;&gt;Node8</title>
<g id="a_edge8_Node000003_Node000008"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M352.96,-205.31C333.02,-195.57 309.37,-184.01 291.08,-175.08"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="351.42,-208.45 361.94,-209.7 354.49,-202.16 351.42,-208.45"/>
</a>
</g>
</g>
<!-- Node9 -->
<g id="Node000009" class="node">
<title>Node9</title>
<g id="a_Node000009"><a xlink:href="engine__priming_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="444.75,-174.75 341.75,-174.75 341.75,-144.25 444.75,-144.25 444.75,-174.75"/>
<text xml:space="preserve" text-anchor="start" x="349.75" y="-161.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/engine/views</text>
<text xml:space="preserve" text-anchor="middle" x="393.25" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/engine_priming.cpp</text>
</a>
</g>
</g>
<!-- Node3&#45;&gt;Node9 -->
<g id="edge9_Node000003_Node000009" class="edge">
<title>Node3&#45;&gt;Node9</title>
<g id="a_edge9_Node000003_Node000009"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M393.25,-199.06C393.25,-190.89 393.25,-182.16 393.25,-175.08"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="389.75,-198.85 393.25,-208.85 396.75,-198.85 389.75,-198.85"/>
</a>
</g>
</g>
<!-- Node10 -->
<g id="Node000010" class="node">
<title>Node10</title>
<g id="a_Node000010"><a xlink:href="py__solver_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="542.75,-102.62 403.75,-102.62 403.75,-72.12 542.75,-72.12 542.75,-102.62"/>
<text xml:space="preserve" text-anchor="start" x="411.75" y="-89.12" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/trampoline</text>
<text xml:space="preserve" text-anchor="middle" x="473.25" y="-77.88" font-family="Helvetica,sans-Serif" font-size="10.00">/py_solver.cpp</text>
</a>
</g>
</g>
<!-- Node3&#45;&gt;Node10 -->
<g id="edge10_Node000003_Node000010" class="edge">
<title>Node3&#45;&gt;Node10</title>
<g id="a_edge10_Node000003_Node000010"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M427.23,-203.55C437.31,-195.64 447.45,-185.86 454.25,-174.75 468.03,-152.22 471.87,-120.98 472.91,-102.9"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="425.3,-200.63 419.32,-209.38 429.44,-206.27 425.3,-200.63"/>
</a>
</g>
</g>
<!-- Node11 -->
<g id="Node000011" class="node">
<title>Node11</title>
<g id="a_Node000011"><a xlink:href="py__solver_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="640.75,-174.75 501.75,-174.75 501.75,-144.25 640.75,-144.25 640.75,-174.75"/>
<text xml:space="preserve" text-anchor="start" x="509.75" y="-161.25" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/trampoline</text>
<text xml:space="preserve" text-anchor="middle" x="571.25" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/py_solver.h</text>
</a>
</g>
</g>
<!-- Node3&#45;&gt;Node11 -->
<g id="edge11_Node000003_Node000011" class="edge">
<title>Node3&#45;&gt;Node11</title>
<g id="a_edge11_Node000003_Node000011"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M444.22,-206.53C471.67,-196.58 505.05,-184.49 530.71,-175.19"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="443.27,-203.15 435.06,-209.85 445.66,-209.73 443.27,-203.15"/>
</a>
</g>
</g>
<!-- Node5 -->
<g id="Node000005" class="node">
<title>Node5</title>
<g id="a_Node000005"><a xlink:href="gridfire__context_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="147.5,-108.25 37,-108.25 37,-66.5 147.5,-66.5 147.5,-108.25"/>
<text xml:space="preserve" text-anchor="start" x="45" y="-94.75" font-family="Helvetica,sans-Serif" font-size="10.00">src/extern/include</text>
<text xml:space="preserve" text-anchor="start" x="45" y="-83.5" font-family="Helvetica,sans-Serif" font-size="10.00">/gridfire/extern/gridfire</text>
<text xml:space="preserve" text-anchor="middle" x="92.25" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">_context.h</text>
</a>
</g>
</g>
<!-- Node4&#45;&gt;Node5 -->
<g id="edge4_Node000004_Node000005" class="edge">
<title>Node4&#45;&gt;Node5</title>
<g id="a_edge4_Node000004_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M118.99,-134.11C114.15,-125.83 108.79,-116.67 104.15,-108.74"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="115.92,-135.8 123.99,-142.66 121.96,-132.26 115.92,-135.8"/>
</a>
</g>
</g>
<!-- Node7 -->
<g id="Node000007" class="node">
<title>Node7</title>
<g id="a_Node000007"><a xlink:href="gridfire__extern_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="227.5,-30.5 123,-30.5 123,0 227.5,0 227.5,-30.5"/>
<text xml:space="preserve" text-anchor="start" x="131" y="-17" font-family="Helvetica,sans-Serif" font-size="10.00">src/extern/lib/gridfire</text>
<text xml:space="preserve" text-anchor="middle" x="175.25" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">_extern.cpp</text>
</a>
</g>
</g>
<!-- Node4&#45;&gt;Node7 -->
<g id="edge7_Node000004_Node000007" class="edge">
<title>Node4&#45;&gt;Node7</title>
<g id="a_edge7_Node000004_Node000007"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M145.91,-133.77C149.64,-125.78 153.46,-116.78 156.25,-108.25 164.98,-81.59 170.56,-49.22 173.28,-30.85"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="142.87,-132.01 141.66,-142.54 149.17,-135.07 142.87,-132.01"/>
</a>
</g>
</g>
<!-- Node6 -->
<g id="Node000006" class="node">
<title>Node6</title>
<g id="a_Node000006"><a xlink:href="gridfire__context_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="104.5,-30.5 0,-30.5 0,0 104.5,0 104.5,-30.5"/>
<text xml:space="preserve" text-anchor="start" x="8" y="-17" font-family="Helvetica,sans-Serif" font-size="10.00">src/extern/lib/gridfire</text>
<text xml:space="preserve" text-anchor="middle" x="52.25" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">_context.cpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node6 -->
<g id="edge5_Node000005_Node000006" class="edge">
<title>Node5&#45;&gt;Node6</title>
<g id="a_edge5_Node000005_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M75.13,-56.36C70.06,-47.47 64.73,-38.13 60.49,-30.7"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="71.94,-57.83 79.93,-64.78 78.02,-54.36 71.94,-57.83"/>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node7 -->
<g id="edge6_Node000005_Node000007" class="edge">
<title>Node5&#45;&gt;Node7</title>
<g id="a_edge6_Node000005_Node000007"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M125.01,-58.7C136.24,-49.21 148.36,-38.97 157.89,-30.92"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="122.79,-55.99 117.41,-65.12 127.31,-61.33 122.79,-55.99"/>
</a>
</g>
</g>
<!-- Node11&#45;&gt;Node10 -->
<g id="edge13_Node000011_Node000010" class="edge">
<title>Node11&#45;&gt;Node10</title>
<g id="a_edge13_Node000011_Node000010"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M541.73,-137.37C526.16,-126.23 507.45,-112.85 493.53,-102.89"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="539.54,-140.12 549.71,-143.09 543.62,-134.42 539.54,-140.12"/>
</a>
</g>
</g>
<!-- Node12 -->
<g id="Node000012" class="node">
<title>Node12</title>
<g id="a_Node000012"><a xlink:href="solver_2bindings_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="709.62,-97 560.88,-97 560.88,-77.75 709.62,-77.75 709.62,-97"/>
<text xml:space="preserve" text-anchor="middle" x="635.25" y="-83.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/bindings.cpp</text>
</a>
</g>
</g>
<!-- Node11&#45;&gt;Node12 -->
<g id="edge12_Node000011_Node000012" class="edge">
<title>Node11&#45;&gt;Node12</title>
<g id="a_edge12_Node000011_Node000012"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M591.98,-135.79C604.01,-122.61 618.47,-106.76 627.26,-97.13"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="589.69,-133.11 585.53,-142.85 594.86,-137.83 589.69,-133.11"/>
</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="triggers_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>