shapes/shapes.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: shapes Pages: 1 -->
<svg width="252pt" height="761pt"
 viewBox="0.00 0.00 252.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>shapes</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-757 248,-757 248,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-745 236,-745 236,-92.5 8,-92.5"/>
<text text-anchor="middle" x="122" 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="133,-8 133,-84.5 221,-84.5 221,-8 133,-8"/>
<text text-anchor="middle" x="177" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/ACCoRD -->
<g id="node1" class="node">
<title>NASALib/ACCoRD</title>
<polygon fill="#fcfcd7" stroke="black" points="150.62,-712.5 81.38,-712.5 81.38,-676.5 150.62,-676.5 150.62,-712.5"/>
<text text-anchor="middle" x="116" y="-689.45" font-family="Times,serif" font-size="14.00">ACCoRD</text>
</g>
<!-- NASALib/analysis -->
<g id="node2" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="187.75,-352.5 128.25,-352.5 128.25,-316.5 187.75,-316.5 187.75,-352.5"/>
<text text-anchor="middle" x="158" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/analysis -->
<g id="edge1" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M227,-405.5C227,-405.5 202.44,-380.59 182.63,-360.48"/>
<polygon fill="black" stroke="black" points="185.57,-358.47 176.06,-353.8 180.58,-363.38 185.57,-358.47"/>
<path fill="none" stroke="black" d="M207,-621.5C207,-621.5 212,-568.5 212,-568.5 212,-568.5 227,-407.5 227,-407.5"/>
</g>
<!-- NASALib/reals -->
<g id="node5" 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/ACCoRD&#45;&gt;NASALib/reals -->
<g id="edge2" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M92.76,-676.2C64.93,-655.47 22,-623.5 22,-623.5"/>
<path fill="none" stroke="black" d="M69,-333.5C69,-333.5 67.09,-311.16 65.42,-291.72"/>
<polygon fill="black" stroke="black" points="68.82,-291.47 64.48,-281.8 61.85,-292.07 68.82,-291.47"/>
<path fill="none" stroke="black" d="M69,-477.5C69,-477.5 69,-335.5 69,-335.5"/>
<path fill="none" stroke="black" d="M22,-621.5C22,-621.5 32,-532.5 32,-532.5 32,-532.5 69,-479.5 69,-479.5"/>
</g>
<!-- NASALib/shapes -->
<g id="node7" class="node">
<title>NASALib/shapes</title>
<polygon fill="#f7e28d" stroke="black" points="143,-640.5 89,-640.5 89,-604.5 143,-604.5 143,-640.5"/>
<text text-anchor="middle" x="116" y="-617.45" font-family="Times,serif" font-size="14.00">shapes</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/shapes -->
<g id="edge3" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/shapes</title>
<path fill="none" stroke="black" d="M116,-676.2C116,-668.74 116,-659.82 116,-651.47"/>
<polygon fill="black" stroke="black" points="119.5,-651.6 116,-641.6 112.5,-651.6 119.5,-651.6"/>
</g>
<!-- NASALib/structures -->
<g id="node8" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="196.25,-208.5 127.75,-208.5 127.75,-172.5 196.25,-172.5 196.25,-208.5"/>
<text text-anchor="middle" x="162" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/structures -->
<g id="edge4" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M227,-333.5C227,-333.5 207,-263.5 207,-263.5"/>
<path fill="none" stroke="black" d="M227,-405.5C227,-405.5 227,-335.5 227,-335.5"/>
</g>
<!-- NASALib/trig -->
<g id="node9" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="143,-496.5 89,-496.5 89,-460.5 143,-460.5 143,-496.5"/>
<text text-anchor="middle" x="116" y="-473.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/trig -->
<g id="edge5" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M138.49,-676.2C165.44,-655.47 207,-623.5 207,-623.5"/>
<path fill="none" stroke="black" d="M207,-621.5C207,-621.5 159.4,-547.22 133.05,-506.1"/>
<polygon fill="black" stroke="black" points="135.5,-504.44 127.16,-497.91 129.61,-508.22 135.5,-504.44"/>
</g>
<!-- NASALib/vectors -->
<g id="node10" class="node">
<title>NASALib/vectors</title>
<polygon fill="#fcfcd7" stroke="black" points="96.5,-568.5 41.5,-568.5 41.5,-532.5 96.5,-532.5 96.5,-568.5"/>
<text text-anchor="middle" x="69" y="-545.45" font-family="Times,serif" font-size="14.00">vectors</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/vectors -->
<g id="edge6" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M22,-621.5C22,-621.5 38,-597.68 51.32,-577.83"/>
<polygon fill="black" stroke="black" points="54.71,-580.06 57.38,-569.8 48.9,-576.15 54.71,-580.06"/>
</g>
<!-- lib/finite_sets -->
<g id="node11" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="212.75,-52 141.25,-52 141.25,-16 212.75,-16 212.75,-52"/>
<text text-anchor="middle" x="177" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;lib/finite_sets -->
<g id="edge7" class="edge">
<title>NASALib/ACCoRD&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M227,-333.5C227,-333.5 236,-263.5 236,-263.5"/>
</g>
<!-- NASALib/ints -->
<g id="node3" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="189,-136.5 135,-136.5 135,-100.5 189,-100.5 189,-136.5"/>
<text text-anchor="middle" x="162" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge8" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M145.89,-316.2C131.38,-295.47 109,-263.5 109,-263.5"/>
</g>
<!-- NASALib/orders -->
<g id="node4" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="185,-280.5 131,-280.5 131,-244.5 185,-244.5 185,-280.5"/>
<text text-anchor="middle" x="158" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge9" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M158,-316.2C158,-308.74 158,-299.82 158,-291.47"/>
<polygon fill="black" stroke="black" points="161.5,-291.6 158,-281.6 154.5,-291.6 161.5,-291.6"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge10" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M134.52,-316.2C122.64,-307.45 108.05,-296.69 95.15,-287.19"/>
<polygon fill="black" stroke="black" points="97.67,-283.96 87.54,-280.85 93.52,-289.6 97.67,-283.96"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge11" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M170.11,-316.2C184.62,-295.47 207,-263.5 207,-263.5"/>
<path fill="none" stroke="black" d="M207,-261.5C207,-261.5 191.68,-237.68 178.92,-217.83"/>
<polygon fill="black" stroke="black" points="181.48,-216.32 173.12,-209.8 175.59,-220.11 181.48,-216.32"/>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge12" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M178.96,-316.15C197.62,-300.69 222,-280.5 222,-280.5 222,-280.5 236,-263.5 236,-263.5"/>
<path fill="none" stroke="black" d="M236,-261.5C236,-261.5 236,-191.5 236,-191.5"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge13" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M165.18,-100C167.13,-89.28 169.67,-75.32 171.89,-63.08"/>
<polygon fill="black" stroke="black" points="175.48,-63.94 173.82,-53.47 168.59,-62.68 175.48,-63.94"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge14" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M158.99,-244.2C159.42,-236.74 159.92,-227.82 160.4,-219.47"/>
<polygon fill="black" stroke="black" points="163.95,-219.79 161.02,-209.6 156.96,-219.39 163.95,-219.79"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge15" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M178.96,-244.15C197.62,-228.69 222,-208.5 222,-208.5 222,-208.5 236,-191.5 236,-191.5"/>
<path fill="none" stroke="black" d="M236,-189.5C236,-189.5 236,-119.5 236,-119.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge16" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M74.37,-244.2C87.99,-223.47 109,-191.5 109,-191.5"/>
<path fill="none" stroke="black" d="M109,-189.5C109,-189.5 119,-172.5 119,-172.5 119,-172.5 130.23,-158.65 141.22,-145.12"/>
<polygon fill="black" stroke="black" points="144.34,-147.82 147.92,-137.85 138.9,-143.41 144.34,-147.82"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge17" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M87.73,-244.02C100.1,-235.26 115.27,-224.54 128.66,-215.08"/>
<polygon fill="black" stroke="black" points="130.44,-217.39 136.59,-208.76 126.4,-211.68 130.44,-217.39"/>
</g>
<!-- NASALib/series -->
<g id="node6" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="162,-424.5 108,-424.5 108,-388.5 162,-388.5 162,-424.5"/>
<text text-anchor="middle" x="135" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge18" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M140.69,-388.2C143.19,-380.57 146.2,-371.42 149,-362.9"/>
<polygon fill="black" stroke="black" points="152.58,-364.2 152.38,-353.6 145.93,-362.01 152.58,-364.2"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge19" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M109,-333.5C109,-333.5 109,-263.5 109,-263.5"/>
<path fill="none" stroke="black" d="M128.57,-388.2C120.87,-367.47 109,-335.5 109,-335.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge20" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M109,-333.5C109,-333.5 119,-316.5 119,-316.5 119,-316.5 129,-302.91 138.87,-289.5"/>
<polygon fill="black" stroke="black" points="142.12,-291.98 145.23,-281.85 136.48,-287.83 142.12,-291.98"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge21" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M118.69,-388.2C99.14,-367.47 69,-335.5 69,-335.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/reals -->
<g id="edge22" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M116,-604.2C116,-583.47 116,-551.5 116,-551.5"/>
<path fill="none" stroke="black" d="M116,-549.5C116,-549.5 106,-532.5 106,-532.5 106,-532.5 80,-496.5 80,-496.5 80,-496.5 69,-479.5 69,-479.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/structures -->
<g id="edge23" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M127.16,-604.09C151.46,-566.17 207,-479.5 207,-479.5 207,-479.5 207,-479.5 207,-405.5 207,-405.5 207,-263.5 207,-263.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/trig -->
<g id="edge24" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M116,-549.5C116,-549.5 116,-527.16 116,-507.72"/>
<polygon fill="black" stroke="black" points="119.5,-507.8 116,-497.8 112.5,-507.8 119.5,-507.8"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/vectors -->
<g id="edge25" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M104.38,-604.2C98.98,-596.14 92.43,-586.39 86.45,-577.48"/>
<polygon fill="black" stroke="black" points="88.96,-575.96 80.48,-569.6 83.15,-579.86 88.96,-575.96"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge26" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M162,-172.2C162,-164.74 162,-155.82 162,-147.47"/>
<polygon fill="black" stroke="black" points="165.5,-147.6 162,-137.6 158.5,-147.6 165.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge27" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M180.29,-172.2C202.21,-151.47 236,-119.5 236,-119.5"/>
<path fill="none" stroke="black" d="M236,-117.5C236,-117.5 213.07,-85.43 195.79,-61.28"/>
<polygon fill="black" stroke="black" points="198.18,-59.59 189.51,-53.5 192.48,-63.67 198.18,-59.59"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge28" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M134.01,-460.15C150.05,-444.69 171,-424.5 171,-424.5 171,-424.5 171,-388.5 171,-388.5 171,-388.5 167.98,-376.18 164.85,-363.42"/>
<polygon fill="black" stroke="black" points="168.04,-362.73 162.26,-353.85 161.24,-364.4 168.04,-362.73"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge29" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M89,-405.5C89,-405.5 109,-263.5 109,-263.5"/>
<path fill="none" stroke="black" d="M109,-261.5C109,-261.5 109,-191.5 109,-191.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/reals -->
<g id="edge30" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M89,-405.5C89,-405.5 69,-335.5 69,-335.5"/>
<path fill="none" stroke="black" d="M109.33,-460.2C101.33,-439.47 89,-407.5 89,-407.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge31" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M120.7,-460.2C122.74,-452.65 125.2,-443.62 127.49,-435.18"/>
<polygon fill="black" stroke="black" points="131.12,-436.17 130.36,-425.6 124.36,-434.34 131.12,-436.17"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/reals -->
<g id="edge32" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M69,-532.2C69,-511.47 69,-479.5 69,-479.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/structures -->
<g id="edge33" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M62.62,-532.09C48.74,-494.17 17,-407.5 17,-407.5 17,-407.5 17,-407.5 17,-333.5 17,-333.5 27,-244.5 27,-244.5 27,-244.5 78.05,-224.46 117.37,-209.02"/>
<polygon fill="black" stroke="black" points="118.56,-211.92 126.58,-205.01 116,-205.41 118.56,-211.92"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/trig -->
<g id="edge34" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M80.62,-532.2C86.02,-524.14 92.57,-514.39 98.55,-505.48"/>
<polygon fill="black" stroke="black" points="101.85,-507.86 104.52,-497.6 96.04,-503.96 101.85,-507.86"/>
</g>
</g>
</svg>