PVS0/PVS0.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: PVS0 Pages: 1 -->
<svg width="356pt" height="545pt"
 viewBox="0.00 0.00 356.00 545.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 541)">
<title>PVS0</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-541 352,-541 352,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-529 328,-529 328,-92.5 8,-92.5"/>
<text text-anchor="middle" x="168" y="-511.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="167,-8 167,-84.5 255,-84.5 255,-8 167,-8"/>
<text text-anchor="middle" x="211" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/CCG -->
<g id="node1" class="node">
<title>NASALib/CCG</title>
<polygon fill="#fcfcd7" stroke="black" points="216,-424.5 162,-424.5 162,-388.5 216,-388.5 216,-424.5"/>
<text text-anchor="middle" x="189" y="-401.45" font-family="Times,serif" font-size="14.00">CCG</text>
</g>
<!-- NASALib/digraphs -->
<g id="node3" class="node">
<title>NASALib/digraphs</title>
<polygon fill="#fcfcd7" stroke="black" points="220.25,-352.5 157.75,-352.5 157.75,-316.5 220.25,-316.5 220.25,-352.5"/>
<text text-anchor="middle" x="189" y="-329.45" font-family="Times,serif" font-size="14.00">digraphs</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/digraphs -->
<g id="edge1" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M189,-388.2C189,-380.74 189,-371.82 189,-363.47"/>
<polygon fill="black" stroke="black" points="192.5,-363.6 189,-353.6 185.5,-363.6 192.5,-363.6"/>
</g>
<!-- NASALib/ints -->
<g id="node4" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="166,-136.5 112,-136.5 112,-100.5 166,-100.5 166,-136.5"/>
<text text-anchor="middle" x="139" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/ints -->
<g id="edge2" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M175.9,-388.15C164.24,-372.69 149,-352.5 149,-352.5 149,-352.5 139,-263.5 139,-263.5"/>
<path fill="none" stroke="black" d="M139,-261.5C139,-261.5 80,-191.5 80,-191.5"/>
</g>
<!-- NASALib/orders -->
<g id="node6" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="232,-280.5 178,-280.5 178,-244.5 232,-244.5 232,-280.5"/>
<text text-anchor="middle" x="205" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/orders -->
<g id="edge3" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M239,-333.5C239,-333.5 227.74,-310.32 218.18,-290.64"/>
<polygon fill="black" stroke="black" points="220.92,-289.27 213.4,-281.8 214.63,-292.33 220.92,-289.27"/>
<path fill="none" stroke="black" d="M202.1,-388.15C213.76,-372.69 229,-352.5 229,-352.5 229,-352.5 239,-335.5 239,-335.5"/>
</g>
<!-- NASALib/reals -->
<g id="node7" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="100,-280.5 46,-280.5 46,-244.5 100,-244.5 100,-280.5"/>
<text text-anchor="middle" x="73" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/reals -->
<g id="edge4" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M170.99,-388.15C154.95,-372.69 134,-352.5 134,-352.5 134,-352.5 108.78,-315.71 90.78,-289.44"/>
<polygon fill="black" stroke="black" points="93.3,-287.93 84.76,-281.66 87.53,-291.89 93.3,-287.93"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node8" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="320.25,-352.5 257.75,-352.5 257.75,-316.5 320.25,-316.5 320.25,-352.5"/>
<text text-anchor="middle" x="289" 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="M213.98,-388.02C226.6,-379.18 242.09,-368.34 255.71,-358.8"/>
<polygon fill="black" stroke="black" points="257.16,-361.36 263.34,-352.76 253.14,-355.63 257.16,-361.36"/>
</g>
<!-- NASALib/structures -->
<g id="node9" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="173.25,-208.5 104.75,-208.5 104.75,-172.5 173.25,-172.5 173.25,-208.5"/>
<text text-anchor="middle" x="139" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</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="M139,-261.5C139,-261.5 139,-239.16 139,-219.72"/>
<polygon fill="black" stroke="black" points="142.5,-219.8 139,-209.8 135.5,-219.8 142.5,-219.8"/>
</g>
<!-- lib/finite_sets -->
<g id="node10" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="246.75,-52 175.25,-52 175.25,-16 246.75,-16 246.75,-52"/>
<text text-anchor="middle" x="211" 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="M348,-333.5C348,-333.5 289,-263.5 289,-263.5"/>
<path fill="none" stroke="black" d="M216.47,-395.12C225.84,-391.58 234,-388.5 234,-388.5 234,-388.5 332,-352.5 332,-352.5 332,-352.5 348,-335.5 348,-335.5"/>
</g>
<!-- NASALib/PVS0 -->
<g id="node2" class="node">
<title>NASALib/PVS0</title>
<polygon fill="#f7e28d" stroke="black" points="216,-496.5 162,-496.5 162,-460.5 216,-460.5 216,-496.5"/>
<text text-anchor="middle" x="189" y="-473.45" font-family="Times,serif" font-size="14.00">PVS0</text>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/CCG -->
<g id="edge8" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M189,-460.2C189,-452.74 189,-443.82 189,-435.47"/>
<polygon fill="black" stroke="black" points="192.5,-435.6 189,-425.6 185.5,-435.6 192.5,-435.6"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/digraphs -->
<g id="edge9" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M201.36,-460.2C216.17,-439.47 239,-407.5 239,-407.5"/>
<path fill="none" stroke="black" d="M239,-405.5C239,-405.5 221.83,-381.46 207.61,-361.56"/>
<polygon fill="black" stroke="black" points="210.02,-359.91 201.36,-353.8 204.32,-363.98 210.02,-359.91"/>
</g>
<!-- NASALib/numbers -->
<g id="node5" class="node">
<title>NASALib/numbers</title>
<polygon fill="#fcfcd7" stroke="black" points="79.62,-352.5 16.38,-352.5 16.38,-316.5 79.62,-316.5 79.62,-352.5"/>
<text text-anchor="middle" x="48" y="-329.45" font-family="Times,serif" font-size="14.00">numbers</text>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/numbers -->
<g id="edge10" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/numbers</title>
<path fill="none" stroke="black" d="M171.7,-460.2C150.97,-439.47 119,-407.5 119,-407.5"/>
<path fill="none" stroke="black" d="M119,-405.5C119,-405.5 93.73,-380.59 73.34,-360.48"/>
<polygon fill="black" stroke="black" points="76.13,-358.33 66.55,-353.8 71.21,-363.32 76.13,-358.33"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/orders -->
<g id="edge11" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M239,-405.5C239,-405.5 239,-335.5 239,-335.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/sets_aux -->
<g id="edge12" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M239,-405.5C239,-405.5 256.17,-381.46 270.39,-361.56"/>
<polygon fill="black" stroke="black" points="273.68,-363.98 276.64,-353.8 267.98,-359.91 273.68,-363.98"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/structures -->
<g id="edge13" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M119,-405.5C119,-405.5 119,-263.5 119,-263.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;lib/finite_sets -->
<g id="edge14" class="edge">
<title>NASALib/PVS0&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M239,-405.5C239,-405.5 332,-352.5 332,-352.5 332,-352.5 348,-335.5 348,-335.5"/>
</g>
<!-- NASALib/digraphs&#45;&gt;NASALib/ints -->
<g id="edge15" class="edge">
<title>NASALib/digraphs&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M159,-261.5C159,-261.5 169,-244.5 169,-244.5 169,-244.5 222,-191.5 222,-191.5"/>
<path fill="none" stroke="black" d="M222,-189.5C222,-189.5 191.67,-163.92 167.68,-143.69"/>
<polygon fill="black" stroke="black" points="170.42,-140.57 160.52,-136.8 165.9,-145.93 170.42,-140.57"/>
</g>
<!-- NASALib/digraphs&#45;&gt;NASALib/orders -->
<g id="edge16" class="edge">
<title>NASALib/digraphs&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M192.96,-316.2C194.68,-308.65 196.74,-299.62 198.67,-291.18"/>
<polygon fill="black" stroke="black" points="202.27,-292.13 201.09,-281.6 195.45,-290.57 202.27,-292.13"/>
</g>
<!-- NASALib/digraphs&#45;&gt;NASALib/structures -->
<g id="edge17" class="edge">
<title>NASALib/digraphs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M159,-261.5C159,-261.5 152.5,-238.74 146.91,-219.18"/>
<polygon fill="black" stroke="black" points="150.06,-218.46 143.94,-209.8 143.33,-220.38 150.06,-218.46"/>
<path fill="none" stroke="black" d="M181.58,-316.2C172.7,-295.47 159,-263.5 159,-263.5"/>
</g>
<!-- NASALib/digraphs&#45;&gt;lib/finite_sets -->
<g id="edge18" class="edge">
<title>NASALib/digraphs&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M217.16,-316.15C242.24,-300.69 275,-280.5 275,-280.5 275,-280.5 289,-263.5 289,-263.5"/>
<path fill="none" stroke="black" d="M289,-261.5C289,-261.5 289,-191.5 289,-191.5"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge19" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M154.27,-100C164.29,-88.52 177.57,-73.31 188.76,-60.49"/>
<polygon fill="black" stroke="black" points="191.81,-63.31 195.75,-53.47 186.54,-58.7 191.81,-63.31"/>
</g>
<!-- NASALib/numbers&#45;&gt;NASALib/ints -->
<g id="edge20" class="edge">
<title>NASALib/numbers&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M80,-189.5C80,-189.5 100.63,-165.02 117.49,-145.02"/>
<polygon fill="black" stroke="black" points="120.65,-147.71 124.42,-137.8 115.29,-143.19 120.65,-147.71"/>
<path fill="none" stroke="black" d="M44.4,-316.15C41.19,-300.69 37,-280.5 37,-280.5 37,-280.5 37,-244.5 37,-244.5 37,-244.5 80,-191.5 80,-191.5"/>
</g>
<!-- NASALib/numbers&#45;&gt;NASALib/reals -->
<g id="edge21" class="edge">
<title>NASALib/numbers&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M54.18,-316.2C56.9,-308.57 60.17,-299.42 63.22,-290.9"/>
<polygon fill="black" stroke="black" points="66.82,-292.2 66.89,-281.6 60.23,-289.84 66.82,-292.2"/>
</g>
<!-- NASALib/numbers&#45;&gt;NASALib/structures -->
<g id="edge22" class="edge">
<title>NASALib/numbers&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M119,-261.5C119,-261.5 125.5,-238.74 131.09,-219.18"/>
<polygon fill="black" stroke="black" points="134.67,-220.38 134.06,-209.8 127.94,-218.46 134.67,-220.38"/>
<path fill="none" stroke="black" d="M67.97,-316.15C85.76,-300.69 109,-280.5 109,-280.5 109,-280.5 119,-263.5 119,-263.5"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge23" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M188.69,-244.2C180.77,-235.8 171.12,-225.57 162.44,-216.36"/>
<polygon fill="black" stroke="black" points="165.53,-214.48 156.13,-209.6 160.44,-219.28 165.53,-214.48"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge24" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M227.92,-244.15C248.34,-228.69 275,-208.5 275,-208.5 275,-208.5 289,-191.5 289,-191.5"/>
<path fill="none" stroke="black" d="M289,-189.5C289,-189.5 289,-119.5 289,-119.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge25" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M74.73,-244.2C76.8,-223.47 80,-191.5 80,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge26" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M89.31,-244.2C97.23,-235.8 106.88,-225.57 115.56,-216.36"/>
<polygon fill="black" stroke="black" points="117.56,-219.28 121.87,-209.6 112.47,-214.48 117.56,-219.28"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge27" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M251,-261.5C251,-261.5 222,-191.5 222,-191.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge28" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M268.24,-316.2C257.94,-307.61 245.33,-297.11 234.09,-287.74"/>
<polygon fill="black" stroke="black" points="236.74,-284.56 226.82,-280.85 232.26,-289.94 236.74,-284.56"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge29" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M251,-261.5C251,-261.5 241,-244.5 241,-244.5 241,-244.5 209.91,-228.35 182.06,-213.87"/>
<polygon fill="black" stroke="black" points="183.89,-210.36 173.4,-208.85 180.66,-216.57 183.89,-210.36"/>
<path fill="none" stroke="black" d="M279.61,-316.2C268.35,-295.47 251,-263.5 251,-263.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge30" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M289,-316.2C289,-295.47 289,-263.5 289,-263.5"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge31" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M139,-172.2C139,-164.74 139,-155.82 139,-147.47"/>
<polygon fill="black" stroke="black" points="142.5,-147.6 139,-137.6 135.5,-147.6 142.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge32" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M289,-117.5C289,-117.5 257.87,-84.58 234.95,-60.33"/>
<polygon fill="black" stroke="black" points="237.96,-58.36 228.54,-53.5 232.87,-63.17 237.96,-58.36"/>
<path fill="none" stroke="black" d="M173.41,-173.44C217.7,-152.77 289,-119.5 289,-119.5"/>
</g>
</g>
</svg>