sets_aux/sets_aux.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 8.0.4 (20230421.1958)
 -->
<!-- Title: sets_aux Pages: 1 -->
<svg width="865pt" height="761pt"
 viewBox="0.00 0.00 865.00 761.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 757)">
<title>sets_aux</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-757 861,-757 861,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-745 837,-745 837,-92.5 8,-92.5"/>
<text text-anchor="middle" x="422.5" y="-727.7" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="590,-8 590,-84.5 678,-84.5 678,-8 590,-8"/>
<text text-anchor="middle" x="634" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/Bernstein -->
<g id="node1" class="node">
<title>NASALib/Bernstein</title>
<polygon fill="#fcfcd7" stroke="black" points="504.88,-568.5 437.12,-568.5 437.12,-532.5 504.88,-532.5 504.88,-568.5"/>
<text text-anchor="middle" x="471" y="-545.45" font-family="Times,serif" font-size="14.00">Bernstein</text>
</g>
<!-- NASALib/sigma_set -->
<g id="node22" class="node">
<title>NASALib/sigma_set</title>
<polygon fill="#fcfcd7" stroke="black" points="689.38,-424.5 618.62,-424.5 618.62,-388.5 689.38,-388.5 689.38,-424.5"/>
<text text-anchor="middle" x="654" y="-401.45" font-family="Times,serif" font-size="14.00">sigma_set</text>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/sigma_set -->
<g id="edge1" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M480.64,-532.2C492.19,-511.47 510,-479.5 510,-479.5"/>
</g>
<!-- NASALib/structures -->
<g id="node23" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="509.25,-208.5 440.75,-208.5 440.75,-172.5 509.25,-172.5 509.25,-208.5"/>
<text text-anchor="middle" x="475" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/structures -->
<g id="edge2" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M450.37,-532.15C432,-516.69 408,-496.5 408,-496.5 408,-496.5 356,-407.5 356,-407.5"/>
</g>
<!-- NASALib/CCG -->
<g id="node2" class="node">
<title>NASALib/CCG</title>
<polygon fill="#fcfcd7" stroke="black" points="469,-424.5 415,-424.5 415,-388.5 469,-388.5 469,-424.5"/>
<text text-anchor="middle" x="442" y="-401.45" font-family="Times,serif" font-size="14.00">CCG</text>
</g>
<!-- NASALib/ints -->
<g id="node13" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="502,-136.5 448,-136.5 448,-100.5 502,-100.5 502,-136.5"/>
<text text-anchor="middle" x="475" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/ints -->
<g id="edge3" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M528,-189.5C528,-189.5 518,-172.5 518,-172.5 518,-172.5 506.77,-158.65 495.78,-145.12"/>
<polygon fill="black" stroke="black" points="498.1,-143.41 489.08,-137.85 492.66,-147.82 498.1,-143.41"/>
<path fill="none" stroke="black" d="M488,-261.5C488,-261.5 528,-191.5 528,-191.5"/>
</g>
<!-- NASALib/orders -->
<g id="node18" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="601,-280.5 547,-280.5 547,-244.5 601,-244.5 601,-280.5"/>
<text text-anchor="middle" x="574" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/orders -->
<g id="edge4" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M433.6,-388.2C423.53,-367.47 408,-335.5 408,-335.5"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node21" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#f7e28d" stroke="black" points="489.25,-352.5 426.75,-352.5 426.75,-316.5 489.25,-316.5 489.25,-352.5"/>
<text text-anchor="middle" x="458" y="-329.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/sets_aux -->
<g id="edge5" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M445.96,-388.2C447.68,-380.65 449.74,-371.62 451.67,-363.18"/>
<polygon fill="black" stroke="black" points="455.27,-364.13 454.09,-353.6 448.45,-362.57 455.27,-364.13"/>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/structures -->
<g id="edge6" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M488,-261.5C488,-261.5 483.81,-238.95 480.19,-219.45"/>
<polygon fill="black" stroke="black" points="483.48,-219 478.21,-209.8 476.6,-220.27 483.48,-219"/>
<path fill="none" stroke="black" d="M429.23,-388.15C417.86,-372.69 403,-352.5 403,-352.5 403,-352.5 403,-316.5 403,-316.5 403,-316.5 488,-263.5 488,-263.5"/>
</g>
<!-- lib/finite_sets -->
<g id="node26" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="669.75,-52 598.25,-52 598.25,-16 669.75,-16 669.75,-52"/>
<text text-anchor="middle" x="634" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/CCG&#45;&gt;lib/finite_sets -->
<g id="edge7" class="edge">
<title>NASALib/CCG&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M817,-333.5C817,-333.5 817,-263.5 817,-263.5"/>
<path fill="none" stroke="black" d="M469.29,-397.9C485.53,-393.37 503,-388.5 503,-388.5 503,-388.5 803,-352.5 803,-352.5 803,-352.5 817,-335.5 817,-335.5"/>
</g>
<!-- NASALib/ODEs -->
<g id="node3" class="node">
<title>NASALib/ODEs</title>
<polygon fill="#fcfcd7" stroke="black" points="90,-640.5 36,-640.5 36,-604.5 90,-604.5 90,-640.5"/>
<text text-anchor="middle" x="63" y="-617.45" font-family="Times,serif" font-size="14.00">ODEs</text>
</g>
<!-- NASALib/metric_space -->
<g id="node16" class="node">
<title>NASALib/metric_space</title>
<polygon fill="#fcfcd7" stroke="black" points="319,-496.5 231,-496.5 231,-460.5 319,-460.5 319,-496.5"/>
<text text-anchor="middle" x="275" y="-473.45" font-family="Times,serif" font-size="14.00">metric_space</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/metric_space -->
<g id="edge8" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M90.36,-606.65C128.22,-586.11 192,-551.5 192,-551.5"/>
<path fill="none" stroke="black" d="M192,-549.5C192,-549.5 207,-532.5 207,-532.5 207,-532.5 226.13,-517.59 244.1,-503.59"/>
<polygon fill="black" stroke="black" points="246,-505.76 251.73,-496.85 241.7,-500.24 246,-505.76"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node17" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="140.12,-568.5 55.88,-568.5 55.88,-532.5 140.12,-532.5 140.12,-568.5"/>
<text text-anchor="middle" x="98" y="-545.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge9" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M71.65,-604.2C75.55,-596.4 80.25,-587.01 84.59,-578.33"/>
<polygon fill="black" stroke="black" points="88.11,-580.11 89.45,-569.6 81.85,-576.98 88.11,-580.11"/>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge10" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M57.76,-604.15C53.09,-588.69 47,-568.5 47,-568.5 47,-568.5 37,-263.5 37,-263.5"/>
</g>
<!-- NASALib/PVS0 -->
<g id="node4" class="node">
<title>NASALib/PVS0</title>
<polygon fill="#fcfcd7" stroke="black" points="471,-496.5 417,-496.5 417,-460.5 471,-460.5 471,-496.5"/>
<text text-anchor="middle" x="444" y="-473.45" font-family="Times,serif" font-size="14.00">PVS0</text>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/CCG -->
<g id="edge11" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M443.51,-460.2C443.29,-452.74 443.04,-443.82 442.8,-435.47"/>
<polygon fill="black" stroke="black" points="446.27,-435.5 442.49,-425.6 439.28,-435.7 446.27,-435.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/orders -->
<g id="edge12" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M471.46,-467.53C513.75,-452.18 590,-424.5 590,-424.5 590,-424.5 600,-335.5 600,-335.5"/>
<path fill="none" stroke="black" d="M600,-333.5C600,-333.5 591.47,-310.53 584.18,-290.91"/>
<polygon fill="black" stroke="black" points="587.19,-289.96 580.43,-281.8 580.63,-292.4 587.19,-289.96"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/sets_aux -->
<g id="edge13" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M455.13,-460.15C465.05,-444.69 478,-424.5 478,-424.5 478,-424.5 488,-407.5 488,-407.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/structures -->
<g id="edge14" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M431.56,-460.15C420.47,-444.69 406,-424.5 406,-424.5 406,-424.5 356,-335.5 356,-335.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;lib/finite_sets -->
<g id="edge15" class="edge">
<title>NASALib/PVS0&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M857,-405.5C857,-405.5 817,-335.5 817,-335.5"/>
<path fill="none" stroke="black" d="M471.44,-471.36C493.21,-466.49 520,-460.5 520,-460.5 520,-460.5 841,-424.5 841,-424.5 841,-424.5 857,-407.5 857,-407.5"/>
</g>
<!-- NASALib/TRS -->
<g id="node5" class="node">
<title>NASALib/TRS</title>
<polygon fill="#fcfcd7" stroke="black" points="581,-424.5 527,-424.5 527,-388.5 581,-388.5 581,-424.5"/>
<text text-anchor="middle" x="554" y="-401.45" font-family="Times,serif" font-size="14.00">TRS</text>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/orders -->
<g id="edge16" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M528,-333.5C528,-333.5 543.66,-309.68 556.7,-289.83"/>
<polygon fill="black" stroke="black" points="560.06,-292.08 562.63,-281.8 554.21,-288.24 560.06,-292.08"/>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/sets_aux -->
<g id="edge17" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M530.27,-388.2C518.27,-379.45 503.52,-368.69 490.49,-359.19"/>
<polygon fill="black" stroke="black" points="492.93,-355.91 482.79,-352.85 488.81,-361.57 492.93,-355.91"/>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/structures -->
<g id="edge18" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M547.57,-388.2C539.87,-367.47 528,-335.5 528,-335.5"/>
<path fill="none" stroke="black" d="M528,-333.5C528,-333.5 508,-263.5 508,-263.5"/>
</g>
<!-- NASALib/algebra -->
<g id="node6" class="node">
<title>NASALib/algebra</title>
<polygon fill="#fcfcd7" stroke="black" points="768.88,-496.5 713.12,-496.5 713.12,-460.5 768.88,-460.5 768.88,-496.5"/>
<text text-anchor="middle" x="741" y="-473.45" font-family="Times,serif" font-size="14.00">algebra</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/ints -->
<g id="edge19" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M743,-405.5C743,-405.5 710,-244.5 710,-244.5 710,-244.5 528,-191.5 528,-191.5"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/orders -->
<g id="edge20" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M743,-405.5C743,-405.5 705,-335.5 705,-335.5"/>
<path fill="none" stroke="black" d="M741.49,-460.2C742.09,-439.47 743,-407.5 743,-407.5"/>
<path fill="none" stroke="black" d="M705,-333.5C705,-333.5 649.65,-303.93 610.91,-283.22"/>
<polygon fill="black" stroke="black" points="612.93,-279.8 602.46,-278.17 609.63,-285.97 612.93,-279.8"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/sigma_set -->
<g id="edge21" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M719.49,-460.2C708.83,-451.61 695.77,-441.11 684.12,-431.74"/>
<polygon fill="black" stroke="black" points="686.55,-428.39 676.56,-424.85 682.16,-433.84 686.55,-428.39"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/structures -->
<g id="edge22" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M705,-333.5C705,-333.5 705,-263.5 705,-263.5"/>
<path fill="none" stroke="black" d="M705,-261.5C705,-261.5 523,-208.5 523,-208.5 523,-208.5 521.73,-208.05 519.59,-207.29"/>
<polygon fill="black" stroke="black" points="521.22,-203.8 510.63,-203.76 518.89,-210.4 521.22,-203.8"/>
</g>
<!-- NASALib/algebra&#45;&gt;lib/finite_sets -->
<g id="edge23" class="edge">
<title>NASALib/algebra&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M769.12,-462.6C798.7,-446.92 841,-424.5 841,-424.5 841,-424.5 857,-407.5 857,-407.5"/>
</g>
<!-- NASALib/complex -->
<g id="node7" class="node">
<title>NASALib/complex</title>
<polygon fill="#fcfcd7" stroke="black" points="664.62,-568.5 601.38,-568.5 601.38,-532.5 664.62,-532.5 664.62,-568.5"/>
<text text-anchor="middle" x="633" y="-545.45" font-family="Times,serif" font-size="14.00">complex</text>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/algebra -->
<g id="edge24" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M659.97,-532.02C673.74,-523.1 690.66,-512.13 705.47,-502.53"/>
<polygon fill="black" stroke="black" points="706.88,-505.14 713.37,-496.76 703.07,-499.26 706.88,-505.14"/>
</g>
<!-- NASALib/complex_integration -->
<g id="node8" class="node">
<title>NASALib/complex_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="256.25,-640.5 127.75,-640.5 127.75,-604.5 256.25,-604.5 256.25,-640.5"/>
<text text-anchor="middle" x="192" y="-617.45" font-family="Times,serif" font-size="14.00">complex_integration</text>
</g>
<!-- NASALib/measure_integration -->
<g id="node15" class="node">
<title>NASALib/measure_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="398.5,-568.5 271.5,-568.5 271.5,-532.5 398.5,-532.5 398.5,-568.5"/>
<text text-anchor="middle" x="335" y="-545.45" font-family="Times,serif" font-size="14.00">measure_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/measure_integration -->
<g id="edge25" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M227.72,-604.02C246.54,-594.8 269.82,-583.4 289.88,-573.58"/>
<polygon fill="black" stroke="black" points="291.3,-576.3 298.74,-568.76 288.22,-570.01 291.3,-576.3"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/metric_space -->
<g id="edge26" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M192,-604.2C192,-583.47 192,-551.5 192,-551.5"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/structures -->
<g id="edge27" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M183.84,-604.2C174.07,-583.47 159,-551.5 159,-551.5"/>
<path fill="none" stroke="black" d="M159,-549.5C159,-549.5 152,-479.5 152,-479.5"/>
</g>
<!-- NASALib/topology -->
<g id="node24" class="node">
<title>NASALib/topology</title>
<polygon fill="#fcfcd7" stroke="black" points="337,-424.5 273,-424.5 273,-388.5 337,-388.5 337,-424.5"/>
<text text-anchor="middle" x="305" y="-401.45" font-family="Times,serif" font-size="14.00">topology</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/topology -->
<g id="edge28" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M159,-549.5C159,-549.5 222,-460.5 222,-460.5 222,-460.5 246.42,-444.9 268.77,-430.63"/>
<polygon fill="black" stroke="black" points="270.28,-433.19 276.82,-424.85 266.51,-427.29 270.28,-433.19"/>
</g>
<!-- NASALib/dL -->
<g id="node9" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="113,-712.5 59,-712.5 59,-676.5 113,-676.5 113,-712.5"/>
<text text-anchor="middle" x="86" y="-689.45" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge29" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M80.31,-676.2C77.81,-668.57 74.8,-659.42 72,-650.9"/>
<polygon fill="black" stroke="black" points="75.07,-650.01 68.62,-641.6 68.42,-652.2 75.07,-650.01"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge30" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M172,-189.5C172,-189.5 356.09,-146.97 437.29,-128.21"/>
<polygon fill="black" stroke="black" points="437.62,-131.5 446.58,-125.84 436.05,-124.68 437.62,-131.5"/>
<path fill="none" stroke="black" d="M17,-333.5C17,-333.5 17,-263.5 17,-263.5"/>
<path fill="none" stroke="black" d="M17,-261.5C17,-261.5 32,-244.5 32,-244.5 32,-244.5 172,-191.5 172,-191.5"/>
<path fill="none" stroke="black" d="M66.68,-676.15C49.47,-660.69 27,-640.5 27,-640.5 27,-640.5 17,-551.5 17,-551.5 17,-551.5 17,-551.5 17,-477.5 17,-477.5 17,-335.5 17,-335.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge31" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M90.26,-676.15C94.05,-660.69 99,-640.5 99,-640.5 99,-640.5 99,-604.5 99,-604.5 99,-604.5 98.77,-592.42 98.53,-579.8"/>
<polygon fill="black" stroke="black" points="102.02,-579.79 98.33,-569.85 95.02,-579.92 102.02,-579.79"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/orders -->
<g id="edge32" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M113.31,-691.49C244.64,-681.81 805,-640.5 805,-640.5 805,-640.5 828,-551.5 828,-551.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge33" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M37,-261.5C37,-261.5 317.67,-216.64 429.65,-198.75"/>
<polygon fill="black" stroke="black" points="429.94,-202.09 439.26,-197.05 428.84,-195.17 429.94,-202.09"/>
<path fill="none" stroke="black" d="M17,-333.5C17,-333.5 37,-263.5 37,-263.5"/>
</g>
<!-- NASALib/examples -->
<g id="node10" class="node">
<title>NASALib/examples</title>
<polygon fill="#fcfcd7" stroke="black" points="531.88,-640.5 464.12,-640.5 464.12,-604.5 531.88,-604.5 531.88,-640.5"/>
<text text-anchor="middle" x="498" y="-617.45" font-family="Times,serif" font-size="14.00">examples</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Bernstein -->
<g id="edge34" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Bernstein</title>
<path fill="none" stroke="black" d="M491.33,-604.2C488.35,-596.48 484.77,-587.21 481.46,-578.61"/>
<polygon fill="black" stroke="black" points="484.46,-577.67 477.6,-569.6 477.93,-580.19 484.46,-577.67"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/algebra -->
<g id="edge35" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M532.3,-607.94C537.41,-605.92 541,-604.5 541,-604.5 541,-604.5 674,-568.5 674,-568.5 674,-568.5 701.7,-531.71 721.47,-505.44"/>
<polygon fill="black" stroke="black" points="724.86,-507.75 728.08,-497.66 719.27,-503.54 724.86,-507.75"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/complex -->
<g id="edge36" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/complex</title>
<path fill="none" stroke="black" d="M531.72,-604.02C549.81,-594.64 572.26,-583 591.42,-573.06"/>
<polygon fill="black" stroke="black" points="592.84,-575.75 600.1,-568.04 589.61,-569.54 592.84,-575.75"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/ints -->
<g id="edge37" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M463.76,-613.91C397.67,-599.25 259,-568.5 259,-568.5 259,-568.5 172,-407.5 172,-407.5 172,-407.5 172,-407.5 172,-333.5 172,-333.5 172,-191.5 172,-191.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/sets_aux -->
<g id="edge38" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M503.24,-604.15C507.91,-588.69 514,-568.5 514,-568.5 514,-568.5 514,-532.5 514,-532.5 514,-532.5 505,-496.5 505,-496.5 505,-496.5 505,-460.5 505,-460.5 505,-460.5 508,-407.5 508,-407.5"/>
<path fill="none" stroke="black" d="M508,-405.5C508,-405.5 490.83,-381.46 476.61,-361.56"/>
<polygon fill="black" stroke="black" points="479.02,-359.91 470.36,-353.8 473.32,-363.98 479.02,-359.91"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/structures -->
<g id="edge39" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M508,-405.5C508,-405.5 508,-263.5 508,-263.5"/>
</g>
<!-- NASALib/extended_nnreal -->
<g id="node11" class="node">
<title>NASALib/extended_nnreal</title>
<polygon fill="#fcfcd7" stroke="black" points="634.62,-496.5 529.38,-496.5 529.38,-460.5 634.62,-460.5 634.62,-496.5"/>
<text text-anchor="middle" x="582" y="-473.45" font-family="Times,serif" font-size="14.00">extended_nnreal</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set -->
<g id="edge40" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M599.8,-460.2C608.45,-451.78 619.01,-441.52 628.5,-432.29"/>
<polygon fill="black" stroke="black" points="630.43,-435.33 635.16,-425.85 625.55,-430.31 630.43,-435.33"/>
</g>
<!-- NASALib/graphs -->
<g id="node12" class="node">
<title>NASALib/graphs</title>
<polygon fill="#fcfcd7" stroke="black" points="133,-424.5 79,-424.5 79,-388.5 133,-388.5 133,-424.5"/>
<text text-anchor="middle" x="106" y="-401.45" font-family="Times,serif" font-size="14.00">graphs</text>
</g>
<!-- NASALib/graphs&#45;&gt;NASALib/ints -->
<g id="edge41" class="edge">
<title>NASALib/graphs&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M95.09,-388.09C71.32,-350.17 17,-263.5 17,-263.5"/>
</g>
<!-- NASALib/graphs&#45;&gt;NASALib/sets_aux -->
<g id="edge42" class="edge">
<title>NASALib/graphs&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M133.24,-400.8C208.38,-387.83 413,-352.5 413,-352.5 413,-352.5 414.11,-352.08 415.99,-351.37"/>
<polygon fill="black" stroke="black" points="417.14,-354.3 425.26,-347.49 414.67,-347.75 417.14,-354.3"/>
</g>
<!-- NASALib/graphs&#45;&gt;NASALib/structures -->
<g id="edge43" class="edge">
<title>NASALib/graphs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M152,-333.5C152,-333.5 356,-263.5 356,-263.5"/>
<path fill="none" stroke="black" d="M117.37,-388.2C130.99,-367.47 152,-335.5 152,-335.5"/>
<path fill="none" stroke="black" d="M356,-261.5C356,-261.5 401.14,-234.94 435.82,-214.55"/>
<polygon fill="black" stroke="black" points="437.43,-217.07 444.28,-208.98 433.88,-211.04 437.43,-217.07"/>
</g>
<!-- NASALib/graphs&#45;&gt;lib/finite_sets -->
<g id="edge44" class="edge">
<title>NASALib/graphs&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M133.16,-402.58C178.34,-397.72 264,-388.5 264,-388.5 264,-388.5 803,-352.5 803,-352.5 803,-352.5 817,-335.5 817,-335.5"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge45" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M502.33,-103.32C526.64,-90.71 562.59,-72.05 590.78,-57.42"/>
<polygon fill="black" stroke="black" points="592.14,-60.14 599.4,-52.43 588.91,-53.93 592.14,-60.14"/>
</g>
<!-- NASALib/lebesgue -->
<g id="node14" class="node">
<title>NASALib/lebesgue</title>
<polygon fill="#fcfcd7" stroke="black" points="613.62,-640.5 550.38,-640.5 550.38,-604.5 613.62,-604.5 613.62,-640.5"/>
<text text-anchor="middle" x="582" y="-617.45" font-family="Times,serif" font-size="14.00">lebesgue</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal -->
<g id="edge46" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M582,-604.2C582,-583.47 582,-551.5 582,-551.5"/>
<path fill="none" stroke="black" d="M582,-549.5C582,-549.5 582,-527.16 582,-507.72"/>
<polygon fill="black" stroke="black" points="585.5,-507.8 582,-497.8 578.5,-507.8 585.5,-507.8"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/measure_integration -->
<g id="edge47" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M550.1,-608.27C544.81,-606.08 541,-604.5 541,-604.5 541,-604.5 468.27,-585.79 409.23,-570.6"/>
<polygon fill="black" stroke="black" points="410.33,-567.01 399.77,-567.91 408.58,-573.79 410.33,-567.01"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/metric_space -->
<g id="edge48" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M550.1,-608.27C544.81,-606.08 541,-604.5 541,-604.5 541,-604.5 263,-568.5 263,-568.5 263,-568.5 263,-532.5 263,-532.5 263,-532.5 265.79,-520.18 268.68,-507.42"/>
<polygon fill="black" stroke="black" points="272.28,-508.38 271.07,-497.85 265.45,-506.83 272.28,-508.38"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sets_aux -->
<g id="edge49" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M612.12,-604.15C638.96,-588.69 674,-568.5 674,-568.5 674,-568.5 698,-424.5 698,-424.5 698,-424.5 698,-388.5 698,-388.5 698,-388.5 523,-352.5 523,-352.5 523,-352.5 512.56,-349.77 500.05,-346.5"/>
<polygon fill="black" stroke="black" points="501.3,-342.95 490.74,-343.8 499.53,-349.72 501.3,-342.95"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sigma_set -->
<g id="edge50" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M582,-549.5C582,-549.5 592,-532.5 592,-532.5 592,-532.5 644,-496.5 644,-496.5 644,-496.5 647.92,-461.61 650.85,-435.52"/>
<polygon fill="black" stroke="black" points="654.43,-435.99 652.07,-425.66 647.48,-435.21 654.43,-435.99"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/structures -->
<g id="edge51" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M613.89,-613.45C672.64,-598.62 792,-568.5 792,-568.5 792,-568.5 793,-424.5 793,-424.5 793,-424.5 793,-388.5 793,-388.5 793,-388.5 788,-335.5 788,-335.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/topology -->
<g id="edge52" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M550.1,-608.27C544.81,-606.08 541,-604.5 541,-604.5 541,-604.5 428,-568.5 428,-568.5 428,-568.5 408,-532.5 408,-532.5 408,-532.5 363,-460.5 363,-460.5 363,-460.5 346.98,-445.86 331.78,-431.97"/>
<polygon fill="black" stroke="black" points="334.73,-430.02 324.99,-425.85 330.01,-435.18 334.73,-430.02"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal -->
<g id="edge53" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M396.69,-532.02C433.92,-521.47 481.23,-508.06 518.74,-497.43"/>
<polygon fill="black" stroke="black" points="519.37,-500.6 528.04,-494.51 517.46,-493.87 519.37,-500.6"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/metric_space -->
<g id="edge54" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M320.17,-532.2C313.12,-523.97 304.56,-513.98 296.79,-504.92"/>
<polygon fill="black" stroke="black" points="298.83,-502.92 289.66,-497.6 293.51,-507.47 298.83,-502.92"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/orders -->
<g id="edge55" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M358,-477.5C358,-477.5 408,-335.5 408,-335.5"/>
<path fill="none" stroke="black" d="M408,-333.5C408,-333.5 418,-316.5 418,-316.5 418,-316.5 490.41,-291.9 536.57,-276.22"/>
<polygon fill="black" stroke="black" points="537.48,-279.26 545.83,-272.73 535.23,-272.63 537.48,-279.26"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sets_aux -->
<g id="edge56" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M488,-405.5C488,-405.5 478.16,-382.53 469.75,-362.91"/>
<polygon fill="black" stroke="black" points="472.57,-361.62 465.42,-353.8 466.14,-364.37 472.57,-361.62"/>
<path fill="none" stroke="black" d="M358,-477.5C358,-477.5 478,-424.5 478,-424.5 478,-424.5 488,-407.5 488,-407.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sigma_set -->
<g id="edge57" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M510,-477.5C510,-477.5 520,-460.5 520,-460.5 520,-460.5 569.5,-440.92 608.33,-425.56"/>
<polygon fill="black" stroke="black" points="609.43,-428.5 617.44,-421.56 606.86,-421.99 609.43,-428.5"/>
<path fill="none" stroke="black" d="M382.48,-532.15C424.77,-516.69 480,-496.5 480,-496.5 480,-496.5 510,-479.5 510,-479.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/structures -->
<g id="edge58" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M356,-405.5C356,-405.5 356,-335.5 356,-335.5"/>
<path fill="none" stroke="black" d="M358,-477.5C358,-477.5 356,-407.5 356,-407.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/topology -->
<g id="edge59" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M340.69,-532.2C347.5,-511.47 358,-479.5 358,-479.5"/>
<path fill="none" stroke="black" d="M358,-477.5C358,-477.5 339.8,-453.46 324.73,-433.56"/>
<polygon fill="black" stroke="black" points="326.93,-431.66 318.1,-425.8 321.35,-435.89 326.93,-431.66"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;lib/finite_sets -->
<g id="edge60" class="edge">
<title>NASALib/measure_integration&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M398.83,-537.83C415.06,-534.87 428,-532.5 428,-532.5 428,-532.5 841,-496.5 841,-496.5 841,-496.5 857,-407.5 857,-407.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/sets_aux -->
<g id="edge61" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M271.4,-460.15C268.19,-444.69 264,-424.5 264,-424.5 264,-424.5 264,-388.5 264,-388.5 264,-388.5 413,-352.5 413,-352.5 413,-352.5 414.11,-352.08 415.99,-351.37"/>
<polygon fill="black" stroke="black" points="417.14,-354.3 425.26,-347.49 414.67,-347.75 417.14,-354.3"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/topology -->
<g id="edge62" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M282.42,-460.2C285.72,-452.48 289.69,-443.21 293.38,-434.61"/>
<polygon fill="black" stroke="black" points="296.95,-436.17 297.67,-425.6 290.51,-433.42 296.95,-436.17"/>
</g>
<!-- NASALib/metric_space&#45;&gt;lib/finite_sets -->
<g id="edge63" class="edge">
<title>NASALib/metric_space&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M319.47,-467.81C336.98,-463.99 353,-460.5 353,-460.5 353,-460.5 841,-424.5 841,-424.5 841,-424.5 857,-407.5 857,-407.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/metric_space -->
<g id="edge64" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M140.4,-532.73C164.5,-523.2 194.94,-511.16 220.77,-500.95"/>
<polygon fill="black" stroke="black" points="221.78,-503.92 229.79,-496.98 219.2,-497.41 221.78,-503.92"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge65" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M152,-477.5C152,-477.5 152,-335.5 152,-335.5"/>
<path fill="none" stroke="black" d="M111.35,-532.2C127.34,-511.47 152,-479.5 152,-479.5"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge66" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M549.27,-244.02C536.9,-235.26 521.73,-224.54 508.34,-215.08"/>
<polygon fill="black" stroke="black" points="510.6,-211.68 500.41,-208.76 506.56,-217.39 510.6,-211.68"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge67" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M817,-189.5C817,-189.5 817,-119.5 817,-119.5"/>
<path fill="none" stroke="black" d="M601.17,-255.21C661.83,-241.17 803,-208.5 803,-208.5 803,-208.5 817,-191.5 817,-191.5"/>
</g>
<!-- NASALib/probability -->
<g id="node19" class="node">
<title>NASALib/probability</title>
<polygon fill="#fcfcd7" stroke="black" points="361.62,-640.5 286.38,-640.5 286.38,-604.5 361.62,-604.5 361.62,-640.5"/>
<text text-anchor="middle" x="324" y="-617.45" font-family="Times,serif" font-size="14.00">probability</text>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/measure_integration -->
<g id="edge68" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M326.72,-604.2C327.89,-596.74 329.29,-587.82 330.61,-579.47"/>
<polygon fill="black" stroke="black" points="334.22,-580.03 332.31,-569.6 327.3,-578.94 334.22,-580.03"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/metric_space -->
<g id="edge69" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M212,-549.5C212,-549.5 234.22,-524.81 252.27,-504.75"/>
<polygon fill="black" stroke="black" points="254.34,-507.58 258.43,-497.8 249.14,-502.89 254.34,-507.58"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/structures -->
<g id="edge70" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M356,-333.5C356,-333.5 356,-263.5 356,-263.5"/>
<path fill="none" stroke="black" d="M212,-549.5C212,-549.5 222,-460.5 222,-460.5 222,-460.5 260,-388.5 260,-388.5 260,-388.5 356,-335.5 356,-335.5"/>
<path fill="none" stroke="black" d="M292.24,-604.15C263.95,-588.69 227,-568.5 227,-568.5 227,-568.5 212,-551.5 212,-551.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/topology -->
<g id="edge71" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M212,-549.5C212,-549.5 328,-496.5 328,-496.5 328,-496.5 328,-460.5 328,-460.5 328,-460.5 322.44,-447.68 316.78,-434.65"/>
<polygon fill="black" stroke="black" points="319.72,-433.63 312.53,-425.85 313.3,-436.42 319.72,-433.63"/>
</g>
<!-- NASALib/scott -->
<g id="node20" class="node">
<title>NASALib/scott</title>
<polygon fill="#fcfcd7" stroke="black" points="783,-568.5 729,-568.5 729,-532.5 783,-532.5 783,-568.5"/>
<text text-anchor="middle" x="756" y="-545.45" font-family="Times,serif" font-size="14.00">scott</text>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/algebra -->
<g id="edge72" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M752.29,-532.2C750.68,-524.65 748.74,-515.62 746.93,-507.18"/>
<polygon fill="black" stroke="black" points="750.18,-506.65 744.67,-497.6 743.34,-508.12 750.18,-506.65"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/orders -->
<g id="edge73" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M763.2,-532.15C769.62,-516.69 778,-496.5 778,-496.5 778,-496.5 788,-407.5 788,-407.5"/>
<path fill="none" stroke="black" d="M788,-405.5C788,-405.5 710,-316.5 710,-316.5 710,-316.5 651.51,-293.71 611.24,-278.01"/>
<polygon fill="black" stroke="black" points="612.78,-274.47 602.19,-274.1 610.24,-280.99 612.78,-274.47"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/structures -->
<g id="edge74" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M788,-405.5C788,-405.5 788,-335.5 788,-335.5"/>
<path fill="none" stroke="black" d="M788,-333.5C788,-333.5 705,-263.5 705,-263.5"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/topology -->
<g id="edge75" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M734.14,-532.13C701.55,-506.23 644,-460.5 644,-460.5 644,-460.5 351,-424.5 351,-424.5 351,-424.5 349.69,-424.02 347.52,-423.22"/>
<polygon fill="black" stroke="black" points="349.04,-419.67 338.45,-419.49 346.61,-426.24 349.04,-419.67"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge76" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M476.01,-316.15C492.05,-300.69 513,-280.5 513,-280.5 513,-280.5 528,-191.5 528,-191.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge77" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M486.97,-316.02C502.23,-306.81 521.1,-295.42 537.36,-285.61"/>
<polygon fill="black" stroke="black" points="538.84,-288.2 545.59,-280.04 535.22,-282.21 538.84,-288.2"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge78" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M470.36,-316.2C485.17,-295.47 508,-263.5 508,-263.5"/>
<path fill="none" stroke="black" d="M508,-261.5C508,-261.5 497.07,-238.32 487.79,-218.64"/>
<polygon fill="black" stroke="black" points="490.59,-217.36 483.16,-209.8 484.26,-220.34 490.59,-217.36"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge79" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M489.74,-325.2C506.24,-320.88 523,-316.5 523,-316.5 523,-316.5 803,-280.5 803,-280.5 803,-280.5 817,-263.5 817,-263.5"/>
<path fill="none" stroke="black" d="M817,-261.5C817,-261.5 817,-191.5 817,-191.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/orders -->
<g id="edge80" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M640.65,-388.2C624.66,-367.47 600,-335.5 600,-335.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/sets_aux -->
<g id="edge81" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M618.51,-392.82C585.07,-380.88 534.98,-362.99 499.66,-350.38"/>
<polygon fill="black" stroke="black" points="501.26,-346.88 490.67,-346.81 498.91,-353.47 501.26,-346.88"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge82" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M475,-172.2C475,-164.74 475,-155.82 475,-147.47"/>
<polygon fill="black" stroke="black" points="478.5,-147.6 475,-137.6 471.5,-147.6 478.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge83" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M817,-117.5C817,-117.5 734.12,-80.14 679.92,-55.7"/>
<polygon fill="black" stroke="black" points="681.71,-52.22 671.15,-51.3 678.83,-58.6 681.71,-52.22"/>
<path fill="none" stroke="black" d="M509.67,-182.4C596.62,-164.61 817,-119.5 817,-119.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/sets_aux -->
<g id="edge84" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M337.45,-390.65C360.5,-380.11 391.65,-365.86 416.51,-354.48"/>
<polygon fill="black" stroke="black" points="417.75,-357.31 425.39,-349.96 414.84,-350.94 417.75,-357.31"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/structures -->
<g id="edge85" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M317.61,-388.2C332.71,-367.47 356,-335.5 356,-335.5"/>
</g>
<!-- NASALib/while -->
<g id="node25" class="node">
<title>NASALib/while</title>
<polygon fill="#fcfcd7" stroke="black" points="796,-640.5 742,-640.5 742,-604.5 796,-604.5 796,-640.5"/>
<text text-anchor="middle" x="769" y="-617.45" font-family="Times,serif" font-size="14.00">while</text>
</g>
<!-- NASALib/while&#45;&gt;NASALib/orders -->
<g id="edge86" class="edge">
<title>NASALib/while&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M828,-549.5C828,-549.5 793,-388.5 793,-388.5 793,-388.5 729,-316.5 729,-316.5 729,-316.5 657.43,-292.03 611.56,-276.34"/>
<polygon fill="black" stroke="black" points="612.95,-272.78 602.35,-272.85 610.68,-279.4 612.95,-272.78"/>
<path fill="none" stroke="black" d="M783.58,-604.2C801.06,-583.47 828,-551.5 828,-551.5"/>
</g>
<!-- NASALib/while&#45;&gt;NASALib/scott -->
<g id="edge87" class="edge">
<title>NASALib/while&#45;&gt;NASALib/scott</title>
<path fill="none" stroke="black" d="M765.79,-604.2C764.39,-596.65 762.71,-587.62 761.14,-579.18"/>
<polygon fill="black" stroke="black" points="764.44,-578.8 759.18,-569.6 757.56,-580.08 764.44,-578.8"/>
</g>
</g>
</svg>