GridFire/docs/html/trigger__abstract_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 2.43.0 (0)
 -->
<!-- Title: src/include/gridfire/trigger/trigger_abstract.h Pages: 1 -->
<!--zoomable 533 -->

<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 = 832;
var viewHeight = 533;
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_abstract.h</title>
<!-- Node1 -->
<g id="Node000001" class="node">
<title>Node1</title>
<g id="a_Node000001"><a xlink:title=" ">
<polygon fill="#999999" stroke="#666666" points="652,-525 511,-525 511,-495 652,-495 652,-525"/>
<text text-anchor="start" x="519" y="-513" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="middle" x="581.5" y="-502" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger_abstract.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&#45;specific triggers that decide when to (re)partition the reaction network engine.">
<polygon fill="white" stroke="#666666" points="494.5,-459 334.5,-459 334.5,-418 494.5,-418 494.5,-459"/>
<text text-anchor="start" x="342.5" y="-447" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="start" x="342.5" y="-436" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/strategies/triggers</text>
<text text-anchor="middle" x="414.5" y="-425" font-family="Helvetica,sans-Serif" font-size="10.00">/engine_partitioning_trigger.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="M538.33,-491.03C514.8,-481.24 485.64,-469.11 461.53,-459.07"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="537.13,-494.32 547.71,-494.94 539.82,-487.86 537.13,-494.32"/>
</a>
</g>
</g>
<!-- Node16 -->
<g id="Node000016" class="node">
<title>Node16</title>
<g id="a_Node000016"><a xlink:href="engine__partitioning__trigger_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="653,-382 498,-382 498,-341 653,-341 653,-382"/>
<text text-anchor="start" x="506" y="-370" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/solver/strategies</text>
<text text-anchor="start" x="506" y="-359" font-family="Helvetica,sans-Serif" font-size="10.00">/triggers/engine_partitioning</text>
<text text-anchor="middle" x="575.5" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00">_trigger.cpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node16 -->
<g id="edge23_Node000001_Node000016" class="edge">
<title>Node1&#45;&gt;Node16</title>
<g id="a_edge23_Node000001_Node000016"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M565.6,-486.36C560.72,-478.13 555.98,-468.51 553.5,-459 548.9,-441.37 550.08,-435.9 553.5,-418 555.85,-405.68 560.9,-392.61 565.56,-382.25"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="562.75,-488.4 571.06,-494.97 568.66,-484.65 562.75,-488.4"/>
</a>
</g>
</g>
<!-- Node17 -->
<g id="Node000017" class="node">
<title>Node17</title>
<g id="a_Node000017"><a xlink:href="trigger_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="778,-376.5 671,-376.5 671,-346.5 778,-346.5 778,-376.5"/>
<text text-anchor="start" x="679" y="-364.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="middle" x="724.5" y="-353.5" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger.h</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node17 -->
<g id="edge18_Node000001_Node000017" class="edge">
<title>Node1&#45;&gt;Node17</title>
<g id="a_edge18_Node000001_Node000017"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M659.32,-491.16C676.7,-483.82 693.52,-473.49 705.5,-459 725.09,-435.31 726.52,-397.23 725.65,-376.7"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="657.67,-488.05 649.62,-494.94 660.21,-494.57 657.67,-488.05"/>
</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="696.5,-453.5 562.5,-453.5 562.5,-423.5 696.5,-423.5 696.5,-453.5"/>
<text text-anchor="start" x="570.5" y="-441.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="middle" x="629.5" y="-430.5" font-family="Helvetica,sans-Serif" font-size="10.00">/trigger/trigger_logical.h</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node18 -->
<g id="edge20_Node000001_Node000018" class="edge">
<title>Node1&#45;&gt;Node18</title>
<g id="a_edge20_Node000001_Node000018"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M596.9,-486.71C604.42,-475.82 613.23,-463.05 619.8,-453.54"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="594.02,-484.72 591.21,-494.94 599.78,-488.7 594.02,-484.72"/>
</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="307.5,-382 165.5,-382 165.5,-341 307.5,-341 307.5,-382"/>
<text text-anchor="start" x="173.5" y="-370" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="start" x="173.5" y="-359" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/strategies/triggers</text>
<text text-anchor="middle" x="236.5" y="-348" font-family="Helvetica,sans-Serif" font-size="10.00">/triggers.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="M358.72,-414C334.34,-403.72 306.08,-391.82 282.88,-382.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="357.62,-417.33 368.2,-417.99 360.34,-410.88 357.62,-417.33"/>
</a>
</g>
</g>
<!-- Node15 -->
<g id="Node000015" class="node">
<title>Node15</title>
<g id="a_Node000015"><a xlink:href="CVODE__solver__strategy_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="479.5,-376.5 325.5,-376.5 325.5,-346.5 479.5,-346.5 479.5,-376.5"/>
<text text-anchor="start" x="333.5" y="-364.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/solver/strategies</text>
<text text-anchor="middle" x="402.5" y="-353.5" font-family="Helvetica,sans-Serif" font-size="10.00">/CVODE_solver_strategy.cpp</text>
</a>
</g>
</g>
<!-- Node2&#45;&gt;Node15 -->
<g id="edge16_Node000002_Node000015" class="edge">
<title>Node2&#45;&gt;Node15</title>
<g id="a_edge16_Node000002_Node000015"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M409.72,-407.61C408.02,-397.01 406.19,-385.57 404.8,-376.86"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="406.31,-408.47 411.35,-417.79 413.22,-407.37 406.31,-408.47"/>
</a>
</g>
</g>
<!-- Node2&#45;&gt;Node16 -->
<g id="edge17_Node000002_Node000016" class="edge">
<title>Node2&#45;&gt;Node16</title>
<g id="a_edge17_Node000002_Node000016"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M465.54,-413.72C487.46,-403.51 512.75,-391.73 533.55,-382.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="463.97,-410.6 456.38,-417.99 466.92,-416.94 463.97,-410.6"/>
</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="324.5,-305 162.5,-305 162.5,-275 324.5,-275 324.5,-305"/>
<text text-anchor="start" x="170.5" y="-293" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="middle" x="243.5" y="-282" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/strategies/strategies.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="M239.51,-330.66C240.4,-321.76 241.34,-312.42 242.09,-305.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="236.01,-330.47 238.49,-340.77 242.97,-331.17 236.01,-330.47"/>
</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="312,-239 205,-239 205,-209 312,-209 312,-239"/>
<text text-anchor="start" x="213" y="-227" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="middle" x="258.5" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00">/solver/solver.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="M249.17,-264.83C251.19,-256.17 253.41,-246.7 255.18,-239.16"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="245.7,-264.26 246.83,-274.8 252.52,-265.86 245.7,-264.26"/>
</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="752,-173 645,-173 645,-143 752,-143 752,-173"/>
<text text-anchor="start" x="653" y="-161" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/gridfire</text>
<text text-anchor="middle" x="698.5" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/gridfire.h</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="M322,-213.76C408.86,-201.13 563.19,-178.68 644.67,-166.83"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="321.4,-210.31 312.01,-215.22 322.41,-217.24 321.4,-210.31"/>
</a>
</g>
</g>
<!-- Node10 -->
<g id="Node000010" class="node">
<title>Node10</title>
<g id="a_Node000010"><a xlink:href="priming_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="139,-173 0,-173 0,-143 139,-143 139,-173"/>
<text text-anchor="start" x="8" y="-161" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/engine/procedures</text>
<text text-anchor="middle" x="69.5" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/priming.cpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node10 -->
<g id="edge10_Node000005_Node000010" class="edge">
<title>Node5&#45;&gt;Node10</title>
<g id="a_edge10_Node000005_Node000010"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M207.48,-205.72C177.2,-195.47 139.29,-182.63 110.88,-173.01"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="206.43,-209.06 217.02,-208.95 208.67,-202.43 206.43,-209.06"/>
</a>
</g>
</g>
<!-- Node11 -->
<g id="Node000011" class="node">
<title>Node11</title>
<g id="a_Node000011"><a xlink:href="engine__priming_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="273.5,-173 157.5,-173 157.5,-143 273.5,-143 273.5,-173"/>
<text text-anchor="start" x="165.5" y="-161" font-family="Helvetica,sans-Serif" font-size="10.00">src/lib/engine/views</text>
<text text-anchor="middle" x="215.5" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/engine_priming.cpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node11 -->
<g id="edge11_Node000005_Node000011" class="edge">
<title>Node5&#45;&gt;Node11</title>
<g id="a_edge11_Node000005_Node000011"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M243.21,-200.24C237.14,-191.21 230.36,-181.11 225.02,-173.16"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="240.47,-202.45 248.96,-208.8 246.29,-198.54 240.47,-202.45"/>
</a>
</g>
</g>
<!-- Node12 -->
<g id="Node000012" class="node">
<title>Node12</title>
<g id="a_Node000012"><a xlink:href="py__solver_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="380,-101.5 223,-101.5 223,-71.5 380,-71.5 380,-101.5"/>
<text text-anchor="start" x="231" y="-89.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/trampoline</text>
<text text-anchor="middle" x="301.5" y="-78.5" font-family="Helvetica,sans-Serif" font-size="10.00">/py_solver.cpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node12 -->
<g id="edge12_Node000005_Node000012" class="edge">
<title>Node5&#45;&gt;Node12</title>
<g id="a_edge12_Node000005_Node000012"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M270.97,-199.86C275.07,-191.56 279.38,-182.03 282.5,-173 290.95,-148.57 296.56,-118.88 299.37,-101.69"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="267.77,-198.43 266.33,-208.93 274,-201.62 267.77,-198.43"/>
</a>
</g>
</g>
<!-- Node13 -->
<g id="Node000013" class="node">
<title>Node13</title>
<g id="a_Node000013"><a xlink:href="py__solver_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="487,-173 330,-173 330,-143 487,-143 487,-173"/>
<text text-anchor="start" x="338" y="-161" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/trampoline</text>
<text text-anchor="middle" x="408.5" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">/py_solver.h</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node13 -->
<g id="edge13_Node000005_Node000013" class="edge">
<title>Node5&#45;&gt;Node13</title>
<g id="a_edge13_Node000005_Node000013"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M300.88,-204.92C324.58,-194.8 353.69,-182.38 375.66,-173.01"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="299.24,-201.81 291.42,-208.95 301.99,-208.25 299.24,-201.81"/>
</a>
</g>
</g>
<!-- Node7 -->
<g id="Node000007" class="node">
<title>Node7</title>
<g id="a_Node000007"><a xlink:href="gridfire__context_8h.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="736.5,-107 610.5,-107 610.5,-66 736.5,-66 736.5,-107"/>
<text text-anchor="start" x="618.5" y="-95" font-family="Helvetica,sans-Serif" font-size="10.00">src/extern/include</text>
<text text-anchor="start" x="618.5" y="-84" font-family="Helvetica,sans-Serif" font-size="10.00">/gridfire/extern/gridfire</text>
<text text-anchor="middle" x="673.5" y="-73" font-family="Helvetica,sans-Serif" font-size="10.00">_context.h</text>
</a>
</g>
</g>
<!-- Node6&#45;&gt;Node7 -->
<g id="edge6_Node000006_Node000007" class="edge">
<title>Node6&#45;&gt;Node7</title>
<g id="a_edge6_Node000006_Node000007"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M690.04,-133.47C686.95,-124.89 683.49,-115.28 680.54,-107.07"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="686.76,-134.71 693.44,-142.94 693.35,-132.34 686.76,-134.71"/>
</a>
</g>
</g>
<!-- Node9 -->
<g id="Node000009" class="node">
<title>Node9</title>
<g id="a_Node000009"><a xlink:href="gridfire__extern_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="823.5,-30 705.5,-30 705.5,0 823.5,0 823.5,-30"/>
<text text-anchor="start" x="713.5" y="-18" font-family="Helvetica,sans-Serif" font-size="10.00">src/extern/lib/gridfire</text>
<text text-anchor="middle" x="764.5" y="-7" font-family="Helvetica,sans-Serif" font-size="10.00">_extern.cpp</text>
</a>
</g>
</g>
<!-- Node6&#45;&gt;Node9 -->
<g id="edge9_Node000006_Node000009" class="edge">
<title>Node6&#45;&gt;Node9</title>
<g id="a_edge9_Node000006_Node000009"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M723.2,-135.96C731.44,-127.72 739.94,-117.68 745.5,-107 758.55,-81.95 762.63,-48.62 763.92,-30.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="720.63,-133.57 715.79,-142.99 725.45,-138.65 720.63,-133.57"/>
</a>
</g>
</g>
<!-- Node8 -->
<g id="Node000008" class="node">
<title>Node8</title>
<g id="a_Node000008"><a xlink:href="gridfire__context_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="687.5,-30 569.5,-30 569.5,0 687.5,0 687.5,-30"/>
<text text-anchor="start" x="577.5" y="-18" font-family="Helvetica,sans-Serif" font-size="10.00">src/extern/lib/gridfire</text>
<text text-anchor="middle" x="628.5" y="-7" font-family="Helvetica,sans-Serif" font-size="10.00">_context.cpp</text>
</a>
</g>
</g>
<!-- Node7&#45;&gt;Node8 -->
<g id="edge7_Node000007_Node000008" class="edge">
<title>Node7&#45;&gt;Node8</title>
<g id="a_edge7_Node000007_Node000008"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M655.12,-57.11C649.08,-47.78 642.63,-37.82 637.59,-30.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="652.35,-59.28 660.73,-65.77 658.23,-55.47 652.35,-59.28"/>
</a>
</g>
</g>
<!-- Node7&#45;&gt;Node9 -->
<g id="edge8_Node000007_Node000009" class="edge">
<title>Node7&#45;&gt;Node9</title>
<g id="a_edge8_Node000007_Node000009"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M707.29,-59.69C720.44,-49.65 734.99,-38.54 746.12,-30.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="705.16,-56.92 699.33,-65.77 709.41,-62.48 705.16,-56.92"/>
</a>
</g>
</g>
<!-- Node13&#45;&gt;Node12 -->
<g id="edge15_Node000013_Node000012" class="edge">
<title>Node13&#45;&gt;Node12</title>
<g id="a_edge15_Node000013_Node000012"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M378.1,-137.25C360.56,-125.86 338.92,-111.81 323.12,-101.54"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="376.55,-140.42 386.85,-142.94 380.37,-134.55 376.55,-140.42"/>
</a>
</g>
</g>
<!-- Node14 -->
<g id="Node000014" class="node">
<title>Node14</title>
<g id="a_Node000014"><a xlink:href="solver_2bindings_8cpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="563,-96 398,-96 398,-77 563,-77 563,-96"/>
<text text-anchor="middle" x="480.5" y="-84" font-family="Helvetica,sans-Serif" font-size="10.00">src/python/solver/bindings.cpp</text>
</a>
</g>
</g>
<!-- Node13&#45;&gt;Node14 -->
<g id="edge14_Node000013_Node000014" class="edge">
<title>Node13&#45;&gt;Node14</title>
<g id="a_edge14_Node000013_Node000014"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M430.32,-135.94C444.09,-122.65 461.16,-106.17 471.42,-96.27"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="427.83,-133.47 423.07,-142.94 432.7,-138.51 427.83,-133.47"/>
</a>
</g>
</g>
<!-- Node17&#45;&gt;Node6 -->
<g id="edge19_Node000017_Node000006" class="edge">
<title>Node17&#45;&gt;Node6</title>
<g id="a_edge19_Node000017_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M721.38,-336.31C715.9,-293.85 704.72,-207.17 700.33,-173.15"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="717.92,-336.86 722.67,-346.33 724.86,-335.97 717.92,-336.86"/>
</a>
</g>
</g>
<!-- Node18&#45;&gt;Node16 -->
<g id="edge22_Node000018_Node000016" class="edge">
<title>Node18&#45;&gt;Node16</title>
<g id="a_edge22_Node000018_Node000016"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M613.4,-415.14C605.86,-404.67 596.97,-392.31 589.69,-382.2"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="610.66,-417.32 619.34,-423.39 616.34,-413.23 610.66,-417.32"/>
</a>
</g>
</g>
<!-- Node18&#45;&gt;Node17 -->
<g id="edge21_Node000018_Node000017" class="edge">
<title>Node18&#45;&gt;Node17</title>
<g id="a_edge21_Node000018_Node000017"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M655.43,-417.03C671.71,-404.18 692.27,-387.94 706.71,-376.54"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="653.05,-414.45 647.37,-423.39 657.39,-419.94 653.05,-414.45"/>
</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__abstract_8h__dep__incl_org.svg" target="_base">
   <rect id="button" ry="5" rx="5" y="6" x="6" height="38" width="38"
        fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width="1.0"/>
   <path id="arrow"
     d="M 11.500037,31.436501 C 11.940474,20.09759 22.043105,11.32322 32.158766,21.979434 L 37.068811,17.246167 C 37.068811,17.246167 37.088388,32 37.088388,32 L 22.160133,31.978069 C 22.160133,31.978069 26.997745,27.140456 26.997745,27.140456 C 18.528582,18.264221 13.291696,25.230495 11.500037,31.436501 z"
     style="fill:#404040;"/>
  </a>
 </g>
</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>