TRS/TRS.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: TRS Pages: 1 -->
<svg width="146pt" height="473pt"
 viewBox="0.00 0.00 146.00 473.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 469)">
<title>TRS</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-469 142,-469 142,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-457 118,-457 118,-92.5 8,-92.5"/>
<text text-anchor="middle" x="63" y="-439.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="28,-8 28,-84.5 116,-84.5 116,-8 28,-8"/>
<text text-anchor="middle" x="72" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/TRS -->
<g id="node1" class="node">
<title>NASALib/TRS</title>
<polygon fill="#f7e28d" stroke="black" points="98,-424.5 44,-424.5 44,-388.5 98,-388.5 98,-424.5"/>
<text text-anchor="middle" x="71" y="-401.45" font-family="Times,serif" font-size="14.00">TRS</text>
</g>
<!-- NASALib/orders -->
<g id="node3" class="node">
<title>NASALib/orders</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">orders</text>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/orders -->
<g id="edge1" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M80.39,-388.2C91.65,-367.47 109,-335.5 109,-335.5"/>
<path fill="none" stroke="black" d="M109,-333.5C109,-333.5 99,-316.5 99,-316.5 99,-316.5 89.95,-303.17 80.92,-289.88"/>
<polygon fill="black" stroke="black" points="83.3,-288.16 74.79,-281.85 77.51,-292.09 83.3,-288.16"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node4" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="90.25,-352.5 27.75,-352.5 27.75,-316.5 90.25,-316.5 90.25,-352.5"/>
<text text-anchor="middle" x="59" y="-329.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/sets_aux -->
<g id="edge2" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M68.03,-388.2C66.74,-380.65 65.19,-371.62 63.75,-363.18"/>
<polygon fill="black" stroke="black" points="67.07,-362.87 61.93,-353.6 60.17,-364.05 67.07,-362.87"/>
</g>
<!-- NASALib/structures -->
<g id="node5" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="104.25,-208.5 35.75,-208.5 35.75,-172.5 104.25,-172.5 104.25,-208.5"/>
<text text-anchor="middle" x="70" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/structures -->
<g id="edge3" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M109,-333.5C109,-333.5 99,-244.5 99,-244.5 99,-244.5 91.85,-231.43 84.65,-218.27"/>
<polygon fill="black" stroke="black" points="87.37,-216.95 79.5,-209.85 81.23,-220.31 87.37,-216.95"/>
</g>
<!-- NASALib/ints -->
<g id="node2" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="97,-136.5 43,-136.5 43,-100.5 97,-100.5 97,-136.5"/>
<text text-anchor="middle" x="70" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- lib/finite_sets -->
<g id="node6" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="107.75,-52 36.25,-52 36.25,-16 107.75,-16 107.75,-52"/>
<text text-anchor="middle" x="72" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge4" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M70.42,-100C70.68,-89.39 71.02,-75.6 71.31,-63.46"/>
<polygon fill="black" stroke="black" points="74.83,-63.55 71.58,-53.47 67.84,-63.38 74.83,-63.55"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge5" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M64.73,-244.2C65.48,-236.74 66.37,-227.82 67.2,-219.47"/>
<polygon fill="black" stroke="black" points="70.78,-219.9 68.29,-209.6 63.81,-219.21 70.78,-219.9"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge6" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M82.32,-244.15C99.53,-228.69 122,-208.5 122,-208.5 122,-208.5 138,-191.5 138,-191.5"/>
<path fill="none" stroke="black" d="M138,-189.5C138,-189.5 138,-119.5 138,-119.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge7" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M17,-261.5C17,-261.5 27,-172.5 27,-172.5 27,-172.5 38.23,-158.65 49.22,-145.12"/>
<polygon fill="black" stroke="black" points="52.34,-147.82 55.92,-137.85 46.9,-143.41 52.34,-147.82"/>
<path fill="none" stroke="black" d="M48.52,-316.15C39.19,-300.69 27,-280.5 27,-280.5 27,-280.5 17,-263.5 17,-263.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge8" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M59.99,-316.2C60.42,-308.74 60.92,-299.82 61.4,-291.47"/>
<polygon fill="black" stroke="black" points="64.95,-291.79 62.02,-281.6 57.96,-291.39 64.95,-291.79"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge9" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M17,-261.5C17,-261.5 27,-244.5 27,-244.5 27,-244.5 38.23,-230.65 49.22,-217.12"/>
<polygon fill="black" stroke="black" points="52.34,-219.82 55.92,-209.85 46.9,-215.41 52.34,-219.82"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge10" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M79.63,-316.15C98,-300.69 122,-280.5 122,-280.5 122,-280.5 138,-191.5 138,-191.5"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge11" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M70,-172.2C70,-164.74 70,-155.82 70,-147.47"/>
<polygon fill="black" stroke="black" points="73.5,-147.6 70,-137.6 66.5,-147.6 73.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge12" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M138,-117.5C138,-117.5 112.12,-85.15 92.77,-60.96"/>
<polygon fill="black" stroke="black" points="94.98,-59.12 86,-53.5 89.51,-63.49 94.98,-59.12"/>
<path fill="none" stroke="black" d="M86.81,-172.2C106.95,-151.47 138,-119.5 138,-119.5"/>
</g>
</g>
</svg>