nominal/nominal.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: nominal Pages: 1 -->
<svg width="124pt" height="329pt"
 viewBox="0.00 0.00 124.00 329.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 325)">
<title>nominal</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-325 120,-325 120,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-313 92,-313 92,-92.5 8,-92.5"/>
<text text-anchor="middle" x="50" y="-295.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="20,-8 20,-84.5 108,-84.5 108,-8 20,-8"/>
<text text-anchor="middle" x="64" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/ints -->
<g id="node1" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="77,-136.5 23,-136.5 23,-100.5 77,-100.5 77,-136.5"/>
<text text-anchor="middle" x="50" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- lib/finite_sets -->
<g id="node4" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="99.75,-52 28.25,-52 28.25,-16 99.75,-16 99.75,-52"/>
<text text-anchor="middle" x="64" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge1" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M52.97,-100C54.79,-89.28 57.16,-75.32 59.23,-63.08"/>
<polygon fill="black" stroke="black" points="62.81,-63.92 61.04,-53.47 55.91,-62.74 62.81,-63.92"/>
</g>
<!-- NASALib/nominal -->
<g id="node2" class="node">
<title>NASALib/nominal</title>
<polygon fill="#f7e28d" stroke="black" points="80.5,-280.5 19.5,-280.5 19.5,-244.5 80.5,-244.5 80.5,-280.5"/>
<text text-anchor="middle" x="50" y="-257.45" font-family="Times,serif" font-size="14.00">nominal</text>
</g>
<!-- NASALib/structures -->
<g id="node3" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="84.25,-208.5 15.75,-208.5 15.75,-172.5 84.25,-172.5 84.25,-208.5"/>
<text text-anchor="middle" x="50" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/nominal&#45;&gt;NASALib/structures -->
<g id="edge2" class="edge">
<title>NASALib/nominal&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M50,-244.2C50,-236.74 50,-227.82 50,-219.47"/>
<polygon fill="black" stroke="black" points="53.5,-219.6 50,-209.6 46.5,-219.6 53.5,-219.6"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge3" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M50,-172.2C50,-164.74 50,-155.82 50,-147.47"/>
<polygon fill="black" stroke="black" points="53.5,-147.6 50,-137.6 46.5,-147.6 53.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge4" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M61.79,-172.15C72.29,-156.69 86,-136.5 86,-136.5 86,-136.5 86,-92.5 86,-92.5 86,-92.5 80.11,-77.11 74.43,-62.26"/>
<polygon fill="black" stroke="black" points="77.44,-61.34 70.6,-53.25 70.91,-63.84 77.44,-61.34"/>
</g>
</g>
</svg>