power/power.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: power Pages: 1 -->
<svg width="776pt" height="910pt"
 viewBox="0.00 0.00 776.00 909.50" 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 905.5)">
<title>power</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-905.5 772,-905.5 772,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="100,-92.5 100,-893.5 748,-893.5 748,-92.5 100,-92.5"/>
<text text-anchor="middle" x="424" y="-876.2" 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="224,-8 224,-84.5 312,-84.5 312,-8 224,-8"/>
<text text-anchor="middle" x="268" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_float</title>
<polygon fill="none" stroke="black" points="8,-596.5 8,-745 92,-745 92,-596.5 8,-596.5"/>
<text text-anchor="middle" x="50" y="-727.7" font-family="Times,serif" font-size="14.00">float</text>
</g>
<!-- NASALib/ODEs -->
<g id="node1" class="node">
<title>NASALib/ODEs</title>
<polygon fill="#fcfcd7" stroke="black" points="665,-789 611,-789 611,-753 665,-753 665,-789"/>
<text text-anchor="middle" x="638" y="-765.95" font-family="Times,serif" font-size="14.00">ODEs</text>
</g>
<!-- NASALib/analysis -->
<g id="node2" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="526.75,-352.5 467.25,-352.5 467.25,-316.5 526.75,-316.5 526.75,-352.5"/>
<text text-anchor="middle" x="497" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/analysis -->
<g id="edge1" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M719,-477.5C719,-477.5 684,-388.5 684,-388.5 684,-388.5 592.51,-362.57 537.52,-346.98"/>
<polygon fill="black" stroke="black" points="538.62,-343.37 528.04,-344.02 536.71,-350.11 538.62,-343.37"/>
<path fill="none" stroke="black" d="M665.23,-759.69C683.41,-752.8 704,-745 704,-745 704,-745 719,-479.5 719,-479.5"/>
</g>
<!-- NASALib/lnexp -->
<g id="node8" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="279,-496.5 225,-496.5 225,-460.5 279,-460.5 279,-496.5"/>
<text text-anchor="middle" x="252" y="-473.45" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/lnexp -->
<g id="edge2" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M557,-693.5C557,-693.5 467,-596.5 467,-596.5 467,-596.5 392,-532.5 392,-532.5 392,-532.5 330.87,-509.36 289.4,-493.66"/>
<polygon fill="black" stroke="black" points="290.92,-490.11 280.33,-489.84 288.44,-496.66 290.92,-490.11"/>
</g>
<!-- NASALib/metric_space -->
<g id="node10" class="node">
<title>NASALib/metric_space</title>
<polygon fill="#fcfcd7" stroke="black" points="458,-640.5 370,-640.5 370,-604.5 458,-604.5 458,-640.5"/>
<text text-anchor="middle" x="414" y="-617.45" font-family="Times,serif" font-size="14.00">metric_space</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/metric_space -->
<g id="edge3" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M610.71,-756.62C598.58,-750.68 587,-745 587,-745 587,-745 557,-695.5 557,-695.5"/>
<path fill="none" stroke="black" d="M557,-693.5C557,-693.5 501.35,-666.26 459.48,-645.76"/>
<polygon fill="black" stroke="black" points="461.24,-642.24 450.72,-640.98 458.16,-648.52 461.24,-642.24"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node11" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="680.12,-712.5 595.88,-712.5 595.88,-676.5 680.12,-676.5 680.12,-712.5"/>
<text text-anchor="middle" x="638" y="-689.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge4" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M638,-752.72C638,-744.13 638,-733.53 638,-723.8"/>
<polygon fill="black" stroke="black" points="641.5,-723.94 638,-713.94 634.5,-723.94 641.5,-723.94"/>
</g>
<!-- NASALib/structures -->
<g id="node17" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="316.25,-208.5 247.75,-208.5 247.75,-172.5 316.25,-172.5 316.25,-208.5"/>
<text text-anchor="middle" x="282" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge5" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M719,-477.5C719,-477.5 719,-407.5 719,-407.5"/>
</g>
<!-- NASALib/ints -->
<g id="node6" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="295,-136.5 241,-136.5 241,-100.5 295,-100.5 295,-136.5"/>
<text text-anchor="middle" x="268" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge6" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M474.75,-316.13C441.57,-290.23 383,-244.5 383,-244.5 383,-244.5 239,-208.5 239,-208.5 239,-208.5 229,-191.5 229,-191.5"/>
</g>
<!-- NASALib/orders -->
<g id="node12" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="302,-280.5 248,-280.5 248,-244.5 302,-244.5 302,-280.5"/>
<text text-anchor="middle" x="275" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge7" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M467.12,-324.98C422.55,-312.29 341.36,-289.15 312.35,-279.89"/>
<polygon fill="black" stroke="black" points="313.88,-276.37 303.29,-276.38 311.58,-282.98 313.88,-276.37"/>
</g>
<!-- NASALib/reals -->
<g id="node15" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="374,-280.5 320,-280.5 320,-244.5 374,-244.5 374,-280.5"/>
<text text-anchor="middle" x="347" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge8" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M467.01,-319.5C443.16,-308.37 409.67,-292.75 384.13,-280.83"/>
<polygon fill="black" stroke="black" points="385.96,-277.35 375.42,-276.29 383,-283.7 385.96,-277.35"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge9" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M521.98,-316.02C551.6,-295.28 597,-263.5 597,-263.5"/>
</g>
<!-- lib/finite_sets -->
<g id="node20" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="303.75,-52 232.25,-52 232.25,-16 303.75,-16 303.75,-52"/>
<text text-anchor="middle" x="268" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge10" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M527.04,-325.74C597.6,-307.52 768,-263.5 768,-263.5"/>
<path fill="none" stroke="black" d="M768,-261.5C768,-261.5 768,-119.5 768,-119.5"/>
</g>
<!-- NASALib/complex_alt -->
<g id="node3" class="node">
<title>NASALib/complex_alt</title>
<polygon fill="#fcfcd7" stroke="black" points="271.75,-640.5 188.25,-640.5 188.25,-604.5 271.75,-604.5 271.75,-640.5"/>
<text text-anchor="middle" x="230" y="-617.45" font-family="Times,serif" font-size="14.00">complex_alt</text>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/lnexp -->
<g id="edge11" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M209,-549.5C209,-549.5 223.5,-525.89 235.66,-506.1"/>
<polygon fill="black" stroke="black" points="239.12,-508.16 241.37,-497.8 233.15,-504.49 239.12,-508.16"/>
</g>
<!-- NASALib/power -->
<g id="node13" class="node">
<title>NASALib/power</title>
<polygon fill="#f7e28d" stroke="black" points="328,-568.5 274,-568.5 274,-532.5 328,-532.5 328,-568.5"/>
<text text-anchor="middle" x="301" y="-545.45" font-family="Times,serif" font-size="14.00">power</text>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/power -->
<g id="edge12" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M247.55,-604.2C256.15,-595.72 266.65,-585.36 276.07,-576.08"/>
<polygon fill="black" stroke="black" points="277.99,-579.12 282.65,-569.6 273.07,-574.13 277.99,-579.12"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/reals -->
<g id="edge13" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M209,-549.5C209,-549.5 216,-460.5 216,-460.5 216,-460.5 252,-407.5 252,-407.5"/>
<path fill="none" stroke="black" d="M224.81,-604.2C218.59,-583.47 209,-551.5 209,-551.5"/>
<path fill="none" stroke="black" d="M252,-405.5C252,-405.5 301.91,-330.9 329.37,-289.85"/>
<polygon fill="black" stroke="black" points="332.7,-292.17 335.35,-281.91 326.88,-288.28 332.7,-292.17"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/structures -->
<g id="edge14" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M217.62,-604.09C190.65,-566.17 129,-479.5 129,-479.5 129,-479.5 129,-479.5 129,-333.5 129,-333.5 204,-244.5 204,-244.5 204,-244.5 226.55,-229.18 247.39,-215.01"/>
<polygon fill="black" stroke="black" points="249.16,-217.37 255.46,-208.85 245.22,-211.58 249.16,-217.37"/>
</g>
<!-- NASALib/complex_integration -->
<g id="node4" class="node">
<title>NASALib/complex_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="376.25,-789 247.75,-789 247.75,-753 376.25,-753 376.25,-789"/>
<text text-anchor="middle" x="312" y="-765.95" font-family="Times,serif" font-size="14.00">complex_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/complex_alt -->
<g id="edge15" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/complex_alt</title>
<path fill="none" stroke="black" d="M230,-693.5C230,-693.5 230,-671.16 230,-651.72"/>
<polygon fill="black" stroke="black" points="233.5,-651.8 230,-641.8 226.5,-651.8 233.5,-651.8"/>
</g>
<!-- NASALib/measure_integration -->
<g id="node9" class="node">
<title>NASALib/measure_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="397.5,-712.5 270.5,-712.5 270.5,-676.5 397.5,-676.5 397.5,-712.5"/>
<text text-anchor="middle" x="334" y="-689.45" font-family="Times,serif" font-size="14.00">measure_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/measure_integration -->
<g id="edge16" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M317.1,-752.72C319.67,-744.04 322.84,-733.3 325.74,-723.48"/>
<polygon fill="black" stroke="black" points="329.37,-724.53 328.85,-713.94 322.66,-722.54 329.37,-724.53"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/metric_space -->
<g id="edge17" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M376.68,-752.98C393.5,-748.55 407,-745 407,-745 407,-745 410.31,-687.6 412.37,-651.71"/>
<polygon fill="black" stroke="black" points="415.92,-652.09 413,-641.91 408.93,-651.69 415.92,-652.09"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/power -->
<g id="edge18" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M230,-693.5C230,-693.5 246,-676.5 246,-676.5 246,-676.5 281,-640.5 281,-640.5 281,-640.5 291,-623.5 291,-623.5"/>
<path fill="none" stroke="black" d="M291,-621.5C291,-621.5 294.22,-598.95 297.01,-579.45"/>
<polygon fill="black" stroke="black" points="300.58,-580.2 298.53,-569.8 293.65,-579.21 300.58,-580.2"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/structures -->
<g id="edge19" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M274.2,-752.5C265.13,-748.3 258,-745 258,-745 258,-745 230,-695.5 230,-695.5"/>
<path fill="none" stroke="black" d="M230,-693.5C230,-693.5 179,-640.5 179,-640.5 179,-640.5 169,-551.5 169,-551.5 169,-551.5 169,-551.5 169,-405.5 169,-405.5 239,-244.5 239,-244.5 239,-244.5 250.23,-230.65 261.22,-217.12"/>
<polygon fill="black" stroke="black" points="264.34,-219.82 267.92,-209.85 258.9,-215.41 264.34,-219.82"/>
</g>
<!-- NASALib/dL -->
<g id="node5" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="618,-861 564,-861 564,-825 618,-825 618,-861"/>
<text text-anchor="middle" x="591" y="-837.95" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge20" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M602.62,-824.7C608.02,-816.64 614.57,-806.89 620.55,-797.98"/>
<polygon fill="black" stroke="black" points="623.85,-800.36 626.52,-790.1 618.04,-796.46 623.85,-800.36"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/analysis -->
<g id="edge21" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M591,-770C591,-770 537,-551.5 537,-551.5"/>
<path fill="none" stroke="black" d="M591,-824.7C591,-803.97 591,-772 591,-772"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge22" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M229,-189.5C229,-189.5 242.03,-166.11 253.03,-146.37"/>
<polygon fill="black" stroke="black" points="256.55,-148.24 258.36,-137.8 250.43,-144.84 256.55,-148.24"/>
<path fill="none" stroke="black" d="M149,-621.5C149,-621.5 109,-479.5 109,-479.5 109,-479.5 109,-479.5 109,-333.5 109,-333.5 171,-244.5 171,-244.5 171,-244.5 229,-191.5 229,-191.5"/>
<path fill="none" stroke="black" d="M563.67,-837.89C480.97,-825.43 239,-789 239,-789 239,-789 149,-623.5 149,-623.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/lnexp -->
<g id="edge23" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M149,-621.5C149,-621.5 204,-532.5 204,-532.5 204,-532.5 216.78,-518.39 229.15,-504.73"/>
<polygon fill="black" stroke="black" points="231.16,-507.62 235.28,-497.85 225.98,-502.92 231.16,-507.62"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge24" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M591,-770C591,-770 607.86,-743.28 621.38,-721.84"/>
<polygon fill="black" stroke="black" points="624.72,-724.1 627.1,-713.78 618.8,-720.37 624.72,-724.1"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/orders -->
<g id="edge25" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M149,-621.5C149,-621.5 165,-532.5 165,-532.5 165,-532.5 235.89,-359.15 263.85,-290.77"/>
<polygon fill="black" stroke="black" points="267.41,-292.32 267.95,-281.74 260.93,-289.67 267.41,-292.32"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/reals -->
<g id="edge26" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M563.68,-828.07C532.86,-812.37 487,-789 487,-789 487,-789 467,-596.5 467,-596.5 467,-596.5 387,-407.5 387,-407.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge27" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M618.18,-824.65C642.38,-809.19 674,-789 674,-789 674,-789 710,-745 710,-745 710,-745 739,-695.5 739,-695.5 739,-695.5 739,-695.5 739,-549.5 739,-549.5 719,-407.5 719,-407.5"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge28" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M268,-100C268,-89.39 268,-75.6 268,-63.46"/>
<polygon fill="black" stroke="black" points="271.5,-63.47 268,-53.47 264.5,-63.47 271.5,-63.47"/>
</g>
<!-- NASALib/lebesgue -->
<g id="node7" class="node">
<title>NASALib/lebesgue</title>
<polygon fill="#fcfcd7" stroke="black" points="457.62,-789 394.38,-789 394.38,-753 457.62,-753 457.62,-789"/>
<text text-anchor="middle" x="426" y="-765.95" font-family="Times,serif" font-size="14.00">lebesgue</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/analysis -->
<g id="edge29" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M537,-549.5C537,-549.5 497,-479.5 497,-479.5"/>
<path fill="none" stroke="black" d="M437,-693.5C437,-693.5 537,-551.5 537,-551.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/measure_integration -->
<g id="edge30" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M404.66,-752.72C392.56,-742.92 377.22,-730.5 363.93,-719.73"/>
<polygon fill="black" stroke="black" points="366.51,-716.52 356.54,-712.94 362.11,-721.96 366.51,-716.52"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/metric_space -->
<g id="edge31" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M437,-693.5C437,-693.5 429.52,-670.74 423.09,-651.18"/>
<polygon fill="black" stroke="black" points="426.13,-650.21 419.69,-641.8 419.48,-652.4 426.13,-650.21"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/power -->
<g id="edge32" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M394.1,-756.77C388.81,-754.58 385,-753 385,-753 385,-753 262,-745 262,-745 262,-745 262,-676.5 262,-676.5 262,-676.5 291,-623.5 291,-623.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/reals -->
<g id="edge33" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M428.55,-752.72C431.8,-730.71 437,-695.5 437,-695.5"/>
<path fill="none" stroke="black" d="M387,-477.5C387,-477.5 387,-407.5 387,-407.5"/>
<path fill="none" stroke="black" d="M437,-693.5C437,-693.5 361,-640.5 361,-640.5 361,-640.5 361,-596.5 361,-596.5 361,-596.5 387,-479.5 387,-479.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/structures -->
<g id="edge34" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M439.42,-752.85C479.73,-701.35 597,-551.5 597,-551.5 597,-551.5 597,-551.5 597,-405.5 597,-405.5 597,-263.5 597,-263.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/analysis -->
<g id="edge35" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M279.16,-469.74C342.94,-451.52 497,-407.5 497,-407.5"/>
<path fill="none" stroke="black" d="M497,-405.5C497,-405.5 497,-383.16 497,-363.72"/>
<polygon fill="black" stroke="black" points="500.5,-363.8 497,-353.8 493.5,-363.8 500.5,-363.8"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/ints -->
<g id="edge36" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M250.14,-460.02C245,-411.8 231,-280.5 231,-280.5 231,-280.5 229,-191.5 229,-191.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/reals -->
<g id="edge37" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M252,-460.2C252,-439.47 252,-407.5 252,-407.5"/>
</g>
<!-- NASALib/series -->
<g id="node16" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="368,-424.5 314,-424.5 314,-388.5 368,-388.5 368,-424.5"/>
<text text-anchor="middle" x="341" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/series -->
<g id="edge38" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M274,-460.2C285.02,-451.53 298.53,-440.9 310.53,-431.46"/>
<polygon fill="black" stroke="black" points="312.25,-433.78 317.94,-424.85 307.92,-428.28 312.25,-433.78"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/metric_space -->
<g id="edge39" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M353.78,-676.2C363.49,-667.7 375.36,-657.31 385.98,-648.01"/>
<polygon fill="black" stroke="black" points="387.95,-650.07 393.17,-640.85 383.34,-644.8 387.95,-650.07"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/orders -->
<g id="edge40" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M311,-621.5C311,-621.5 347,-551.5 347,-551.5"/>
<path fill="none" stroke="black" d="M347,-549.5C347,-549.5 305,-424.5 305,-424.5 305,-424.5 288.81,-337.61 280.22,-291.5"/>
<polygon fill="black" stroke="black" points="283.48,-290.92 278.21,-281.73 276.6,-292.2 283.48,-290.92"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/power -->
<g id="edge41" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M328.31,-676.2C321.5,-655.47 311,-623.5 311,-623.5"/>
<path fill="none" stroke="black" d="M311,-621.5C311,-621.5 307.78,-598.95 304.99,-579.45"/>
<polygon fill="black" stroke="black" points="308.35,-579.21 303.47,-569.8 301.42,-580.2 308.35,-579.21"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/reals -->
<g id="edge42" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M347,-477.5C347,-477.5 387,-407.5 387,-407.5"/>
<path fill="none" stroke="black" d="M387,-405.5C387,-405.5 366.51,-332.78 354.86,-291.42"/>
<polygon fill="black" stroke="black" points="357.99,-290.59 351.9,-281.91 351.25,-292.49 357.99,-290.59"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/series -->
<g id="edge43" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M347,-549.5C347,-549.5 347,-479.5 347,-479.5"/>
<path fill="none" stroke="black" d="M347,-477.5C347,-477.5 345.09,-455.16 343.42,-435.72"/>
<polygon fill="black" stroke="black" points="346.82,-435.47 342.48,-425.8 339.85,-436.07 346.82,-435.47"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/structures -->
<g id="edge44" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M338.83,-676.16C346.59,-648.26 361,-596.5 361,-596.5 361,-596.5 458,-316.5 458,-316.5 458,-316.5 597,-263.5 597,-263.5"/>
<path fill="none" stroke="black" d="M597,-261.5C597,-261.5 414.39,-220.92 327.25,-201.56"/>
<polygon fill="black" stroke="black" points="328.13,-197.94 317.61,-199.19 326.61,-204.78 328.13,-197.94"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;lib/finite_sets -->
<g id="edge45" class="edge">
<title>NASALib/measure_integration&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M398,-682.4C416.59,-679.17 432,-676.5 432,-676.5 432,-676.5 752,-640.5 752,-640.5 752,-640.5 768,-551.5 768,-551.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/analysis -->
<g id="edge46" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M424.18,-604.09C446.34,-566.17 497,-479.5 497,-479.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/power -->
<g id="edge47" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M385.78,-604.02C371.13,-594.94 353.07,-583.76 337.39,-574.04"/>
<polygon fill="black" stroke="black" points="339.82,-570.81 329.47,-568.52 336.13,-576.76 339.82,-570.81"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/reals -->
<g id="edge48" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M387,-549.5C387,-549.5 387,-479.5 387,-479.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/series -->
<g id="edge49" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M407.33,-604.2C399.33,-583.47 387,-551.5 387,-551.5"/>
<path fill="none" stroke="black" d="M387,-549.5C387,-549.5 363.34,-476.47 349.96,-435.15"/>
<polygon fill="black" stroke="black" points="353.05,-434.35 346.64,-425.91 346.39,-436.5 353.05,-434.35"/>
</g>
<!-- NASALib/metric_space&#45;&gt;lib/finite_sets -->
<g id="edge50" class="edge">
<title>NASALib/metric_space&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M768,-549.5C768,-549.5 768,-263.5 768,-263.5"/>
<path fill="none" stroke="black" d="M458.48,-612.71C553.55,-593.9 768,-551.5 768,-551.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/analysis -->
<g id="edge51" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M641.29,-676.35C651.02,-625.57 679,-479.5 679,-479.5"/>
<path fill="none" stroke="black" d="M679,-405.5C679,-405.5 590.89,-371.61 537.28,-350.99"/>
<polygon fill="black" stroke="black" points="538.64,-347.38 528.05,-347.06 536.13,-353.92 538.64,-347.38"/>
<path fill="none" stroke="black" d="M679,-477.5C679,-477.5 679,-407.5 679,-407.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/metric_space -->
<g id="edge52" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M595.6,-680.25C559.59,-669 507.66,-652.77 468.55,-640.55"/>
<polygon fill="black" stroke="black" points="469.73,-636.93 459.14,-637.29 467.64,-643.62 469.73,-636.93"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/reals -->
<g id="edge53" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M679,-405.5C679,-405.5 562,-316.5 562,-316.5 562,-316.5 446.38,-288 384.72,-272.8"/>
<polygon fill="black" stroke="black" points="385.78,-269.21 375.23,-270.21 384.1,-276 385.78,-269.21"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge54" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M719,-405.5C719,-405.5 597,-263.5 597,-263.5"/>
<path fill="none" stroke="black" d="M679,-477.5C679,-477.5 719,-407.5 719,-407.5"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge55" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M276.73,-244.2C277.48,-236.74 278.37,-227.82 279.2,-219.47"/>
<polygon fill="black" stroke="black" points="282.78,-219.9 280.29,-209.6 275.81,-219.21 282.78,-219.9"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge56" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M258.3,-244.15C243.43,-228.69 224,-208.5 224,-208.5 224,-208.5 224,-172.5 224,-172.5 224,-172.5 232,-92.5 232,-92.5 232,-92.5 242.01,-76.51 251.47,-61.4"/>
<polygon fill="black" stroke="black" points="254.86,-63.59 257.2,-53.25 248.93,-59.87 254.86,-63.59"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/analysis -->
<g id="edge57" class="edge">
<title>NASALib/power&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M497,-477.5C497,-477.5 497,-407.5 497,-407.5"/>
<path fill="none" stroke="black" d="M328.12,-538.26C335.74,-535.09 342,-532.5 342,-532.5 342,-532.5 497,-479.5 497,-479.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/lnexp -->
<g id="edge58" class="edge">
<title>NASALib/power&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M288.89,-532.2C283.25,-524.14 276.43,-514.39 270.19,-505.48"/>
<polygon fill="black" stroke="black" points="272.58,-503.79 263.97,-497.6 266.84,-507.8 272.58,-503.79"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/reals -->
<g id="edge59" class="edge">
<title>NASALib/power&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M301.43,-532.27C302.46,-490.74 305,-388.5 305,-388.5 305,-388.5 325.39,-327.8 337.76,-291"/>
<polygon fill="black" stroke="black" points="341.29,-292.47 341.16,-281.88 334.66,-290.25 341.29,-292.47"/>
</g>
<!-- NASALib/probability -->
<g id="node14" class="node">
<title>NASALib/probability</title>
<polygon fill="#fcfcd7" stroke="black" points="571.62,-789 496.38,-789 496.38,-753 571.62,-753 571.62,-789"/>
<text text-anchor="middle" x="534" y="-765.95" font-family="Times,serif" font-size="14.00">probability</text>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/analysis -->
<g id="edge60" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M532.61,-752.64C532.27,-748.37 532,-745 532,-745 532,-745 532,-676.5 532,-676.5 532,-676.5 537,-551.5 537,-551.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/measure_integration -->
<g id="edge61" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M496.19,-760.41C480.99,-756.55 467,-753 467,-753 467,-753 432,-745 432,-745 432,-745 404.3,-731.01 378.35,-717.9"/>
<polygon fill="black" stroke="black" points="380.06,-714.34 369.55,-712.95 376.9,-720.58 380.06,-714.34"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/metric_space -->
<g id="edge62" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M504.83,-752.64C497.66,-748.37 492,-745 492,-745 492,-745 453.86,-685.6 430.92,-649.86"/>
<polygon fill="black" stroke="black" points="433.52,-648.43 425.18,-641.91 427.63,-652.21 433.52,-648.43"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/reals -->
<g id="edge63" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M535.8,-752.85C541.23,-701.35 557,-551.5 557,-551.5 557,-551.5 557,-551.5 557,-405.5 557,-405.5 536,-316.5 536,-316.5 536,-316.5 440.11,-289.61 384.93,-274.14"/>
<polygon fill="black" stroke="black" points="386.06,-270.54 375.48,-271.21 384.17,-277.28 386.06,-270.54"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/structures -->
<g id="edge64" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M572.06,-757.56C579.99,-754.96 586,-753 586,-753 586,-753 689,-745 689,-745 689,-745 699,-623.5 699,-623.5 699,-623.5 699,-623.5 699,-549.5 699,-549.5 719,-407.5 719,-407.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge65" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M319.75,-248.13C287.75,-232.43 239,-208.5 239,-208.5 239,-208.5 229,-191.5 229,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge66" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M330.93,-244.2C323.22,-235.89 313.83,-225.78 305.34,-216.64"/>
<polygon fill="black" stroke="black" points="308.25,-214.55 298.88,-209.6 303.12,-219.31 308.25,-214.55"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge67" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M368.17,-393.31C392.74,-382.28 429.23,-365.91 457.1,-353.4"/>
<polygon fill="black" stroke="black" points="458.25,-356.27 465.94,-348.99 455.39,-349.89 458.25,-356.27"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge68" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M326.82,-388.12C298.79,-353.77 239,-280.5 239,-280.5 239,-280.5 229,-191.5 229,-191.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge69" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M344,-333.5C344,-333.5 319.44,-308.59 299.63,-288.48"/>
<polygon fill="black" stroke="black" points="302.57,-286.47 293.06,-281.8 297.58,-291.38 302.57,-286.47"/>
<path fill="none" stroke="black" d="M341.74,-388.2C342.63,-367.47 344,-335.5 344,-335.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge70" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M344,-333.5C344,-333.5 344.96,-311.16 345.79,-291.72"/>
<polygon fill="black" stroke="black" points="349.33,-291.94 346.26,-281.8 342.33,-291.64 349.33,-291.94"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge71" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M278.54,-172.2C277.03,-164.65 275.22,-155.62 273.54,-147.18"/>
<polygon fill="black" stroke="black" points="276.81,-146.72 271.42,-137.6 269.95,-148.1 276.81,-146.72"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge72" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M768,-117.5C768,-117.5 438.78,-63.18 314.62,-42.69"/>
<polygon fill="black" stroke="black" points="315.4,-39.11 304.96,-40.93 314.26,-46.01 315.4,-39.11"/>
<path fill="none" stroke="black" d="M316.56,-184.52C427.59,-168.53 768,-119.5 768,-119.5"/>
</g>
<!-- float/axm_bnd -->
<g id="node18" class="node">
<title>float/axm_bnd</title>
<polygon fill="#fcfcd7" stroke="black" points="83.5,-640.5 16.5,-640.5 16.5,-604.5 83.5,-604.5 83.5,-640.5"/>
<text text-anchor="middle" x="50" y="-617.45" font-family="Times,serif" font-size="14.00">axm_bnd</text>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/power -->
<g id="edge73" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M81.95,-604.14C89.8,-599.87 96,-596.5 96,-596.5 96,-596.5 204.13,-572.76 263.33,-559.77"/>
<polygon fill="black" stroke="black" points="263.76,-563.04 272.78,-557.48 262.26,-556.2 263.76,-563.04"/>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/reals -->
<g id="edge74" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M50,-604.2C50,-583.47 50,-551.5 50,-551.5"/>
</g>
<!-- float/fnd_bnd -->
<g id="node19" class="node">
<title>float/fnd_bnd</title>
<polygon fill="#fcfcd7" stroke="black" points="80.5,-712.5 19.5,-712.5 19.5,-676.5 80.5,-676.5 80.5,-712.5"/>
<text text-anchor="middle" x="50" y="-689.45" font-family="Times,serif" font-size="14.00">fnd_bnd</text>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/power -->
<g id="edge75" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M66.81,-676.16C93.84,-648.26 144,-596.5 144,-596.5 144,-596.5 216.88,-575.61 263.33,-562.3"/>
<polygon fill="black" stroke="black" points="264,-565.46 272.65,-559.34 262.08,-558.73 264,-565.46"/>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/reals -->
<g id="edge76" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M35.92,-676.15C23.38,-660.69 7,-640.5 7,-640.5 7,-640.5 7,-596.5 7,-596.5 7,-596.5 50,-551.5 50,-551.5"/>
<path fill="none" stroke="black" d="M50,-549.5C50,-549.5 104,-460.5 104,-460.5 104,-460.5 252.34,-340.24 317.22,-287.64"/>
<polygon fill="black" stroke="black" points="318.87,-290 324.44,-280.98 314.46,-284.56 318.87,-290"/>
</g>
<!-- float/fnd_bnd&#45;&gt;float/axm_bnd -->
<g id="edge77" class="edge">
<title>float/fnd_bnd&#45;&gt;float/axm_bnd</title>
<path fill="none" stroke="black" d="M50,-676.2C50,-668.74 50,-659.82 50,-651.47"/>
<polygon fill="black" stroke="black" points="53.5,-651.6 50,-641.6 46.5,-651.6 53.5,-651.6"/>
</g>
</g>
</svg>