extended_nnreal/extended_nnreal.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: extended_nnreal Pages: 1 -->
<svg width="392pt" height="761pt"
 viewBox="0.00 0.00 392.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>extended_nnreal</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-757 388,-757 388,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-745 376,-745 376,-92.5 8,-92.5"/>
<text text-anchor="middle" x="192" 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="222,-8 222,-84.5 310,-84.5 310,-8 222,-8"/>
<text text-anchor="middle" x="266" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/analysis -->
<g id="node1" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="161.75,-352.5 102.25,-352.5 102.25,-316.5 161.75,-316.5 161.75,-352.5"/>
<text text-anchor="middle" x="132" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/ints -->
<g id="node4" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="228,-136.5 174,-136.5 174,-100.5 228,-100.5 228,-136.5"/>
<text text-anchor="middle" x="201" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge1" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M135,-261.5C135,-261.5 135,-191.5 135,-191.5"/>
<path fill="none" stroke="black" d="M132.74,-316.2C133.63,-295.47 135,-263.5 135,-263.5"/>
</g>
<!-- NASALib/orders -->
<g id="node7" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="228,-280.5 174,-280.5 174,-244.5 228,-244.5 228,-280.5"/>
<text text-anchor="middle" x="201" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge2" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M149.06,-316.2C157.33,-307.8 167.42,-297.57 176.49,-288.36"/>
<polygon fill="black" stroke="black" points="178.61,-291.18 183.14,-281.6 173.63,-286.27 178.61,-291.18"/>
</g>
<!-- NASALib/reals -->
<g id="node9" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="90,-280.5 36,-280.5 36,-244.5 90,-244.5 90,-280.5"/>
<text text-anchor="middle" x="63" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge3" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M114.94,-316.2C106.67,-307.8 96.58,-297.57 87.51,-288.36"/>
<polygon fill="black" stroke="black" points="90.37,-286.27 80.86,-281.6 85.39,-291.18 90.37,-286.27"/>
</g>
<!-- NASALib/structures -->
<g id="node13" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="235.25,-208.5 166.75,-208.5 166.75,-172.5 235.25,-172.5 235.25,-208.5"/>
<text text-anchor="middle" x="201" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge4" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M138.36,-316.34C147.95,-290.48 165,-244.5 165,-244.5 165,-244.5 174.05,-231.17 183.08,-217.88"/>
<polygon fill="black" stroke="black" points="186.49,-220.09 189.21,-209.85 180.7,-216.16 186.49,-220.09"/>
</g>
<!-- lib/finite_sets -->
<g id="node14" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="301.75,-52 230.25,-52 230.25,-16 301.75,-16 301.75,-52"/>
<text text-anchor="middle" x="266" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge5" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M162.13,-325.5C178.73,-321.09 196,-316.5 196,-316.5 196,-316.5 362,-280.5 362,-280.5 362,-280.5 376,-263.5 376,-263.5"/>
<path fill="none" stroke="black" d="M376,-261.5C376,-261.5 376,-191.5 376,-191.5"/>
</g>
<!-- NASALib/complex_integration -->
<g id="node2" class="node">
<title>NASALib/complex_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="368.25,-712.5 239.75,-712.5 239.75,-676.5 368.25,-676.5 368.25,-712.5"/>
<text text-anchor="middle" x="304" y="-689.45" font-family="Times,serif" font-size="14.00">complex_integration</text>
</g>
<!-- NASALib/measure_integration -->
<g id="node6" class="node">
<title>NASALib/measure_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="261.5,-640.5 134.5,-640.5 134.5,-604.5 261.5,-604.5 261.5,-640.5"/>
<text text-anchor="middle" x="198" y="-617.45" font-family="Times,serif" font-size="14.00">measure_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/measure_integration -->
<g id="edge6" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M277.53,-676.02C264.14,-667.18 247.73,-656.34 233.29,-646.8"/>
<polygon fill="black" stroke="black" points="235.41,-643.35 225.14,-640.76 231.55,-649.19 235.41,-643.35"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/structures -->
<g id="edge7" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M311.73,-676.09C328.55,-638.17 367,-551.5 367,-551.5 367,-551.5 367,-551.5 367,-477.5 367,-477.5 347,-335.5 347,-335.5"/>
</g>
<!-- NASALib/extended_nnreal -->
<g id="node3" class="node">
<title>NASALib/extended_nnreal</title>
<polygon fill="#f7e28d" stroke="black" points="239.62,-568.5 134.38,-568.5 134.38,-532.5 239.62,-532.5 239.62,-568.5"/>
<text text-anchor="middle" x="187" y="-545.45" font-family="Times,serif" font-size="14.00">extended_nnreal</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/analysis -->
<g id="edge8" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M135,-477.5C135,-477.5 135,-407.5 135,-407.5"/>
<path fill="none" stroke="black" d="M173.25,-532.15C161,-516.69 145,-496.5 145,-496.5 145,-496.5 135,-479.5 135,-479.5"/>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/reals -->
<g id="edge9" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M159.03,-532.02C125.85,-511.28 75,-479.5 75,-479.5"/>
</g>
<!-- NASALib/series -->
<g id="node10" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="208,-424.5 154,-424.5 154,-388.5 208,-388.5 208,-424.5"/>
<text text-anchor="middle" x="181" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/series -->
<g id="edge10" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M135,-477.5C135,-477.5 145,-460.5 145,-460.5 145,-460.5 154.05,-447.17 163.08,-433.88"/>
<polygon fill="black" stroke="black" points="166.49,-436.09 169.21,-425.85 160.7,-432.16 166.49,-436.09"/>
</g>
<!-- NASALib/sigma_set -->
<g id="node12" class="node">
<title>NASALib/sigma_set</title>
<polygon fill="#fcfcd7" stroke="black" points="224.38,-496.5 153.62,-496.5 153.62,-460.5 224.38,-460.5 224.38,-496.5"/>
<text text-anchor="middle" x="189" y="-473.45" font-family="Times,serif" font-size="14.00">sigma_set</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set -->
<g id="edge11" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M187.49,-532.2C187.71,-524.74 187.96,-515.82 188.2,-507.47"/>
<polygon fill="black" stroke="black" points="191.72,-507.7 188.51,-497.6 184.73,-507.5 191.72,-507.7"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge12" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M214.78,-100C223.75,-88.63 235.59,-73.6 245.63,-60.85"/>
<polygon fill="black" stroke="black" points="248.8,-63.49 252.24,-53.47 243.3,-59.16 248.8,-63.49"/>
</g>
<!-- NASALib/lebesgue -->
<g id="node5" class="node">
<title>NASALib/lebesgue</title>
<polygon fill="#fcfcd7" stroke="black" points="221.62,-712.5 158.38,-712.5 158.38,-676.5 221.62,-676.5 221.62,-712.5"/>
<text text-anchor="middle" x="190" y="-689.45" font-family="Times,serif" font-size="14.00">lebesgue</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/analysis -->
<g id="edge13" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M115,-621.5C115,-621.5 130,-460.5 130,-460.5 130,-460.5 135,-407.5 135,-407.5"/>
<path fill="none" stroke="black" d="M135,-405.5C135,-405.5 134.04,-383.16 133.21,-363.72"/>
<polygon fill="black" stroke="black" points="136.67,-363.64 132.74,-353.8 129.67,-363.94 136.67,-363.64"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal -->
<g id="edge14" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M115,-621.5C115,-621.5 125,-604.5 125,-604.5 125,-604.5 142.13,-589.86 158.38,-575.97"/>
<polygon fill="black" stroke="black" points="160.37,-578.01 165.7,-568.85 155.82,-572.69 160.37,-578.01"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/measure_integration -->
<g id="edge15" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M191.98,-676.2C192.83,-668.74 193.85,-659.82 194.8,-651.47"/>
<polygon fill="black" stroke="black" points="198.39,-651.94 196.05,-641.6 191.43,-651.14 198.39,-651.94"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/reals -->
<g id="edge16" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M75,-477.5C75,-477.5 83,-335.5 83,-335.5"/>
<path fill="none" stroke="black" d="M115,-621.5C115,-621.5 75,-479.5 75,-479.5"/>
<path fill="none" stroke="black" d="M168.72,-676.15C149.76,-660.69 125,-640.5 125,-640.5 125,-640.5 115,-623.5 115,-623.5"/>
<path fill="none" stroke="black" d="M83,-333.5C83,-333.5 76.5,-310.74 70.91,-291.18"/>
<polygon fill="black" stroke="black" points="74.06,-290.46 67.94,-281.8 67.33,-292.38 74.06,-290.46"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node11" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="328.25,-352.5 265.75,-352.5 265.75,-316.5 328.25,-316.5 328.25,-352.5"/>
<text text-anchor="middle" x="297" y="-329.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sets_aux -->
<g id="edge17" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M347,-405.5C347,-405.5 329.83,-381.46 315.61,-361.56"/>
<polygon fill="black" stroke="black" points="318.02,-359.91 309.36,-353.8 312.32,-363.98 318.02,-359.91"/>
<path fill="none" stroke="black" d="M216.52,-676.15C240.15,-660.69 271,-640.5 271,-640.5 271,-640.5 347,-407.5 347,-407.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sigma_set -->
<g id="edge18" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M115,-621.5C115,-621.5 125,-604.5 125,-604.5 125,-604.5 249,-568.5 249,-568.5 249,-568.5 249,-532.5 249,-532.5 249,-532.5 232.43,-517.86 216.7,-503.97"/>
<polygon fill="black" stroke="black" points="219.46,-501.85 209.65,-497.85 214.82,-507.1 219.46,-501.85"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/structures -->
<g id="edge19" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M347,-333.5C347,-333.5 337,-316.5 337,-316.5 337,-316.5 272,-244.5 272,-244.5 272,-244.5 251.84,-229.45 233.01,-215.4"/>
<polygon fill="black" stroke="black" points="235.36,-212.03 225.25,-208.85 231.17,-217.64 235.36,-212.03"/>
<path fill="none" stroke="black" d="M347,-405.5C347,-405.5 347,-335.5 347,-335.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal -->
<g id="edge20" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M195.28,-604.2C194.11,-596.74 192.71,-587.82 191.39,-579.47"/>
<polygon fill="black" stroke="black" points="194.7,-578.94 189.69,-569.6 187.78,-580.03 194.7,-578.94"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/orders -->
<g id="edge21" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M247,-333.5C247,-333.5 231.34,-309.68 218.3,-289.83"/>
<polygon fill="black" stroke="black" points="220.79,-288.24 212.37,-281.8 214.94,-292.08 220.79,-288.24"/>
<path fill="none" stroke="black" d="M247,-405.5C247,-405.5 247,-335.5 247,-335.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/reals -->
<g id="edge22" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M247,-405.5C247,-405.5 232,-388.5 232,-388.5 232,-388.5 181,-335.5 181,-335.5"/>
<path fill="none" stroke="black" d="M247,-477.5C247,-477.5 247,-407.5 247,-407.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/series -->
<g id="edge23" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M247,-477.5C247,-477.5 233,-460.5 233,-460.5 233,-460.5 218.9,-446.13 205.38,-432.35"/>
<polygon fill="black" stroke="black" points="208.53,-430.54 199.03,-425.85 203.53,-435.44 208.53,-430.54"/>
<path fill="none" stroke="black" d="M279,-549.5C279,-549.5 247,-479.5 247,-479.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sets_aux -->
<g id="edge24" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M247,-405.5C247,-405.5 264.17,-381.46 278.39,-361.56"/>
<polygon fill="black" stroke="black" points="281.68,-363.98 284.64,-353.8 275.98,-359.91 281.68,-363.98"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sigma_set -->
<g id="edge25" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M219.61,-604.15C238.86,-588.69 264,-568.5 264,-568.5 264,-568.5 279,-551.5 279,-551.5"/>
<path fill="none" stroke="black" d="M279,-549.5C279,-549.5 264,-532.5 264,-532.5 264,-532.5 242.32,-517.18 222.27,-503.01"/>
<polygon fill="black" stroke="black" points="224.74,-499.77 214.56,-496.85 220.7,-505.48 224.74,-499.77"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/structures -->
<g id="edge26" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M247,-333.5C247,-333.5 237,-244.5 237,-244.5 237,-244.5 227.95,-231.17 218.92,-217.88"/>
<polygon fill="black" stroke="black" points="221.3,-216.16 212.79,-209.85 215.51,-220.09 221.3,-216.16"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;lib/finite_sets -->
<g id="edge27" class="edge">
<title>NASALib/measure_integration&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M226.16,-604.15C251.24,-588.69 284,-568.5 284,-568.5 284,-568.5 362,-424.5 362,-424.5 362,-424.5 376,-263.5 376,-263.5"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge28" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M201,-244.2C201,-236.74 201,-227.82 201,-219.47"/>
<polygon fill="black" stroke="black" points="204.5,-219.6 201,-209.6 197.5,-219.6 204.5,-219.6"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge29" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M228.31,-252.51C274.25,-237.39 362,-208.5 362,-208.5 362,-208.5 376,-191.5 376,-191.5"/>
<path fill="none" stroke="black" d="M376,-189.5C376,-189.5 376,-119.5 376,-119.5"/>
</g>
<!-- NASALib/probability -->
<g id="node8" class="node">
<title>NASALib/probability</title>
<polygon fill="#fcfcd7" stroke="black" points="136.62,-712.5 61.38,-712.5 61.38,-676.5 136.62,-676.5 136.62,-712.5"/>
<text text-anchor="middle" x="99" y="-689.45" font-family="Times,serif" font-size="14.00">probability</text>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/analysis -->
<g id="edge30" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M95,-621.5C95,-621.5 110,-460.5 110,-460.5 110,-460.5 120.59,-400.32 127.08,-363.47"/>
<polygon fill="black" stroke="black" points="130.65,-364.34 128.94,-353.88 123.76,-363.12 130.65,-364.34"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/measure_integration -->
<g id="edge31" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M123.73,-676.02C136.1,-667.26 151.27,-656.54 164.66,-647.08"/>
<polygon fill="black" stroke="black" points="166.44,-649.39 172.59,-640.76 162.4,-643.68 166.44,-649.39"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/reals -->
<g id="edge32" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M63,-333.5C63,-333.5 63,-311.16 63,-291.72"/>
<polygon fill="black" stroke="black" points="66.5,-291.8 63,-281.8 59.5,-291.8 66.5,-291.8"/>
<path fill="none" stroke="black" d="M95,-621.5C95,-621.5 70,-568.5 70,-568.5 70,-568.5 63,-335.5 63,-335.5"/>
<path fill="none" stroke="black" d="M98.01,-676.2C96.83,-655.47 95,-623.5 95,-623.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/structures -->
<g id="edge33" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M63,-333.5C63,-333.5 27,-280.5 27,-280.5 27,-280.5 27,-244.5 27,-244.5 27,-244.5 104.82,-220.8 156.38,-205.09"/>
<polygon fill="black" stroke="black" points="157.08,-208.23 165.62,-201.97 155.04,-201.54 157.08,-208.23"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge34" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M135,-189.5C135,-189.5 158.28,-164.81 177.19,-144.75"/>
<polygon fill="black" stroke="black" points="179.37,-147.48 183.69,-137.8 174.28,-142.68 179.37,-147.48"/>
<path fill="none" stroke="black" d="M80.8,-244.2C102.12,-223.47 135,-191.5 135,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge35" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M90.26,-247.67C109.27,-238.03 135.04,-224.96 156.94,-213.85"/>
<polygon fill="black" stroke="black" points="158.35,-216.55 165.69,-208.9 155.19,-210.31 158.35,-216.55"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge36" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M168.89,-388.2C163.25,-380.14 156.43,-370.39 150.19,-361.48"/>
<polygon fill="black" stroke="black" points="152.58,-359.79 143.97,-353.6 146.84,-363.8 152.58,-359.79"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge37" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M185.94,-388.2C191.87,-367.47 201,-335.5 201,-335.5"/>
<path fill="none" stroke="black" d="M201,-333.5C201,-333.5 186,-316.5 186,-316.5 186,-316.5 135,-263.5 135,-263.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge38" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M201,-333.5C201,-333.5 201,-311.16 201,-291.72"/>
<polygon fill="black" stroke="black" points="204.5,-291.8 201,-281.8 197.5,-291.8 204.5,-291.8"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge39" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M181,-388.2C181,-367.47 181,-335.5 181,-335.5"/>
<path fill="none" stroke="black" d="M181,-333.5C181,-333.5 171,-316.5 171,-316.5 171,-316.5 131.3,-297.02 100.04,-281.68"/>
<polygon fill="black" stroke="black" points="101.77,-278.14 91.25,-276.87 98.69,-284.42 101.77,-278.14"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge40" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M267,-261.5C267,-261.5 244,-172.5 244,-172.5 244,-172.5 232.77,-158.65 221.78,-145.12"/>
<polygon fill="black" stroke="black" points="224.1,-143.41 215.08,-137.85 218.66,-147.82 224.1,-143.41"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge41" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M273.27,-316.2C261.27,-307.45 246.52,-296.69 233.49,-287.19"/>
<polygon fill="black" stroke="black" points="235.93,-283.91 225.79,-280.85 231.81,-289.57 235.93,-283.91"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge42" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M267,-261.5C267,-261.5 252,-244.5 252,-244.5 252,-244.5 238.42,-230.39 225.28,-216.73"/>
<polygon fill="black" stroke="black" points="228.16,-214.63 218.7,-209.85 223.11,-219.49 228.16,-214.63"/>
<path fill="none" stroke="black" d="M289.58,-316.2C280.7,-295.47 267,-263.5 267,-263.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge43" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M318.28,-316.15C337.24,-300.69 362,-280.5 362,-280.5 362,-280.5 376,-263.5 376,-263.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/analysis -->
<g id="edge44" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M174.59,-460.15C161.76,-444.69 145,-424.5 145,-424.5 145,-424.5 135,-407.5 135,-407.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/orders -->
<g id="edge45" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M198.39,-460.2C209.65,-439.47 227,-407.5 227,-407.5"/>
<path fill="none" stroke="black" d="M227,-405.5C227,-405.5 213.74,-333.09 206.16,-291.68"/>
<polygon fill="black" stroke="black" points="209.43,-291.12 204.19,-281.91 202.55,-292.38 209.43,-291.12"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/reals -->
<g id="edge46" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M169.68,-460.15C152.47,-444.69 130,-424.5 130,-424.5 130,-424.5 83,-335.5 83,-335.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/series -->
<g id="edge47" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M187.02,-460.2C186.17,-452.74 185.15,-443.82 184.2,-435.47"/>
<polygon fill="black" stroke="black" points="187.57,-435.14 182.95,-425.6 180.61,-435.94 187.57,-435.14"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/sets_aux -->
<g id="edge48" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M227,-405.5C227,-405.5 242,-388.5 242,-388.5 242,-388.5 256.92,-374.13 271.21,-360.35"/>
<polygon fill="black" stroke="black" points="273.22,-363.31 277.99,-353.85 268.36,-358.27 273.22,-363.31"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge49" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M201,-172.2C201,-164.74 201,-155.82 201,-147.47"/>
<polygon fill="black" stroke="black" points="204.5,-147.6 201,-137.6 197.5,-147.6 204.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge50" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M376,-117.5C376,-117.5 330.56,-83.42 298.09,-59.07"/>
<polygon fill="black" stroke="black" points="300.43,-55.7 290.33,-52.5 296.23,-61.3 300.43,-55.7"/>
<path fill="none" stroke="black" d="M235.57,-175.67C286.57,-155.27 376,-119.5 376,-119.5"/>
</g>
</g>
</svg>