Bernstein/Bernstein-zoomed.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: Bernstein&#45;zoomed Pages: 1 -->
<svg width="1108pt" height="905pt"
 viewBox="0.00 0.00 1108.00 905.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 901)">
<title>Bernstein&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-901 1104,-901 1104,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="741,-8 741,-84.5 1092,-84.5 1092,-8 741,-8"/>
<text text-anchor="middle" x="916.5" y="-67.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/Bernstein</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-889 805,-889 805,-92.5 8,-92.5"/>
<text text-anchor="middle" x="406.5" y="-871.7" font-family="Times,serif" font-size="14.00">NASALib/Bernstein</text>
</g>
<!-- NASALib/Bernstein@MPoly -->
<g id="node1" class="node">
<title>NASALib/Bernstein@MPoly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="524" cy="-262.5" rx="36.51" ry="18"/>
<text text-anchor="middle" x="524" y="-257.45" font-family="Times,serif" font-size="14.00">MPoly</text>
</g>
<!-- NASALib/Bernstein@multi_polynomial -->
<g id="node15" class="node">
<title>NASALib/Bernstein@multi_polynomial</title>
<ellipse fill="#e6f3ff" stroke="black" cx="580" cy="-190.5" rx="77.97" ry="18"/>
<text text-anchor="middle" x="580" y="-185.45" font-family="Times,serif" font-size="14.00">multi_polynomial</text>
</g>
<!-- NASALib/Bernstein@MPoly&#45;&gt;NASALib/Bernstein@multi_polynomial -->
<g id="edge1" class="edge">
<title>NASALib/Bernstein@MPoly&#45;&gt;NASALib/Bernstein@multi_polynomial</title>
<path fill="none" stroke="black" d="M536.99,-245.26C543.72,-236.85 552.09,-226.39 559.65,-216.94"/>
<polygon fill="black" stroke="black" points="562.79,-219.62 566.3,-209.62 557.32,-215.25 562.79,-219.62"/>
</g>
<!-- NASALib/Bernstein@util -->
<g id="node22" class="node">
<title>NASALib/Bernstein@util</title>
<ellipse fill="#e6f3ff" stroke="black" cx="468" cy="-118.5" rx="27" ry="18"/>
<text text-anchor="middle" x="468" y="-113.45" font-family="Times,serif" font-size="14.00">util</text>
</g>
<!-- NASALib/Bernstein@MPoly&#45;&gt;NASALib/Bernstein@util -->
<g id="edge2" class="edge">
<title>NASALib/Bernstein@MPoly&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M511.01,-245.26C494.47,-224.59 468,-191.5 468,-191.5"/>
</g>
<!-- NASALib/Bernstein@OutBoxes -->
<g id="node2" class="node">
<title>NASALib/Bernstein@OutBoxes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="732" cy="-694.5" rx="47.77" ry="18"/>
<text text-anchor="middle" x="732" y="-689.45" font-family="Times,serif" font-size="14.00">OutBoxes</text>
</g>
<!-- NASALib/Bernstein@boxes_def -->
<g id="node10" class="node">
<title>NASALib/Bernstein@boxes_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="748" cy="-550.5" rx="48.79" ry="18"/>
<text text-anchor="middle" x="748" y="-545.45" font-family="Times,serif" font-size="14.00">boxes_def</text>
</g>
<!-- NASALib/Bernstein@OutBoxes&#45;&gt;NASALib/Bernstein@boxes_def -->
<g id="edge3" class="edge">
<title>NASALib/Bernstein@OutBoxes&#45;&gt;NASALib/Bernstein@boxes_def</title>
<path fill="none" stroke="black" d="M733.96,-676.09C736.68,-652 741.61,-608.25 744.84,-579.53"/>
<polygon fill="black" stroke="black" points="748.43,-579.94 746.07,-569.61 741.47,-579.16 748.43,-579.94"/>
</g>
<!-- NASALib/Bernstein@Outcome -->
<g id="node3" class="node">
<title>NASALib/Bernstein@Outcome</title>
<ellipse fill="#e6f3ff" stroke="black" cx="595" cy="-622.5" rx="45.21" ry="18"/>
<text text-anchor="middle" x="595" y="-617.45" font-family="Times,serif" font-size="14.00">Outcome</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax -->
<g id="node4" class="node">
<title>NASALib/Bernstein@a2l__bernstein_minmax</title>
<ellipse fill="#e6f3ff" stroke="black" cx="329" cy="-550.5" rx="101" ry="18"/>
<text text-anchor="middle" x="329" y="-545.45" font-family="Times,serif" font-size="14.00">a2l__bernstein_minmax</text>
</g>
<!-- NASALib/Bernstein@a2l__multi_bernstein -->
<g id="node5" class="node">
<title>NASALib/Bernstein@a2l__multi_bernstein</title>
<ellipse fill="#e6f3ff" stroke="black" cx="265" cy="-334.5" rx="89.74" ry="18"/>
<text text-anchor="middle" x="265" y="-329.45" font-family="Times,serif" font-size="14.00">a2l__multi_bernstein</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@a2l__multi_bernstein -->
<g id="edge4" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@a2l__multi_bernstein</title>
<path fill="none" stroke="black" d="M333.94,-532.2C339.87,-511.47 349,-479.5 349,-479.5"/>
<path fill="none" stroke="black" d="M349,-477.5C349,-477.5 339,-460.5 339,-460.5 339,-460.5 275,-424.5 275,-424.5 275,-424.5 271.08,-389.61 268.15,-363.52"/>
<polygon fill="black" stroke="black" points="271.52,-363.21 266.93,-353.66 264.57,-363.99 271.52,-363.21"/>
</g>
<!-- NASALib/Bernstein@a2l__vardirselector -->
<g id="node7" class="node">
<title>NASALib/Bernstein@a2l__vardirselector</title>
<ellipse fill="#e6f3ff" stroke="black" cx="141" cy="-406.5" rx="82.06" ry="18"/>
<text text-anchor="middle" x="141" y="-401.45" font-family="Times,serif" font-size="14.00">a2l__vardirselector</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@a2l__vardirselector -->
<g id="edge5" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@a2l__vardirselector</title>
<path fill="none" stroke="black" d="M17,-477.5C17,-477.5 27,-460.5 27,-460.5 27,-460.5 65.19,-442.74 97.36,-427.79"/>
<polygon fill="black" stroke="black" points="98.51,-430.65 106.1,-423.26 95.56,-424.3 98.51,-430.65"/>
</g>
<!-- NASALib/Bernstein@bernstein_minmax -->
<g id="node8" class="node">
<title>NASALib/Bernstein@bernstein_minmax</title>
<ellipse fill="#e6f3ff" stroke="black" cx="449" cy="-478.5" rx="80.52" ry="18"/>
<text text-anchor="middle" x="449" y="-473.45" font-family="Times,serif" font-size="14.00">bernstein_minmax</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@bernstein_minmax -->
<g id="edge6" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@bernstein_minmax</title>
<path fill="none" stroke="black" d="M357.44,-532.91C373.7,-523.43 394.27,-511.42 411.8,-501.2"/>
<polygon fill="black" stroke="black" points="413.31,-503.79 420.18,-495.73 409.78,-497.74 413.31,-503.79"/>
</g>
<!-- NASALib/Bernstein@minmax -->
<g id="node12" class="node">
<title>NASALib/Bernstein@minmax</title>
<ellipse fill="#e6f3ff" stroke="black" cx="468" cy="-406.5" rx="42.14" ry="18"/>
<text text-anchor="middle" x="468" y="-401.45" font-family="Times,serif" font-size="14.00">minmax</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@minmax -->
<g id="edge7" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@minmax</title>
<path fill="none" stroke="black" d="M349,-477.5C349,-477.5 359,-460.5 359,-460.5 359,-460.5 399.3,-440.91 430.89,-425.55"/>
<polygon fill="black" stroke="black" points="432.31,-428.26 439.78,-420.74 429.25,-421.96 432.31,-428.26"/>
</g>
<!-- NASALib/Bernstein@multibernstein_into_polylist -->
<g id="node16" class="node">
<title>NASALib/Bernstein@multibernstein_into_polylist</title>
<ellipse fill="#e6f3ff" stroke="black" cx="157" cy="-262.5" rx="115.84" ry="18"/>
<text text-anchor="middle" x="157" y="-257.45" font-family="Times,serif" font-size="14.00">multibernstein_into_polylist</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@multibernstein_into_polylist -->
<g id="edge8" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@multibernstein_into_polylist</title>
<path fill="none" stroke="black" d="M17,-477.5C17,-477.5 50,-388.5 50,-388.5 50,-388.5 104.03,-325.38 135.3,-288.85"/>
<polygon fill="black" stroke="black" points="138.5,-291.49 142.35,-281.62 133.18,-286.94 138.5,-291.49"/>
<path fill="none" stroke="black" d="M258.96,-537.21C169.74,-521.55 27,-496.5 27,-496.5 27,-496.5 17,-479.5 17,-479.5"/>
</g>
<!-- NASALib/Bernstein@vardirselector_into_a2lvardirselector -->
<g id="node24" class="node">
<title>NASALib/Bernstein@vardirselector_into_a2lvardirselector</title>
<ellipse fill="#e6f3ff" stroke="black" cx="183" cy="-478.5" rx="147.06" ry="18"/>
<text text-anchor="middle" x="183" y="-473.45" font-family="Times,serif" font-size="14.00">vardirselector_into_a2lvardirselector</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@vardirselector_into_a2lvardirselector -->
<g id="edge9" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/Bernstein@vardirselector_into_a2lvardirselector</title>
<path fill="none" stroke="black" d="M294.77,-533.09C274.91,-523.56 249.65,-511.45 228.17,-501.16"/>
<polygon fill="black" stroke="black" points="229.82,-497.58 219.29,-496.42 226.79,-503.9 229.82,-497.58"/>
</g>
<!-- NASALib/structures -->
<g id="node28" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="977.25,-52 908.75,-52 908.75,-16 977.25,-16 977.25,-52"/>
<text text-anchor="middle" x="943" y="-28.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/structures -->
<g id="edge10" class="edge">
<title>NASALib/Bernstein@a2l__bernstein_minmax&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M413.16,-540.21C550.82,-525.01 809,-496.5 809,-496.5 809,-496.5 905,-407.5 905,-407.5"/>
</g>
<!-- NASALib/Bernstein@a2l__util -->
<g id="node6" class="node">
<title>NASALib/Bernstein@a2l__util</title>
<ellipse fill="#e6f3ff" stroke="black" cx="292" cy="-190.5" rx="43.67" ry="18"/>
<text text-anchor="middle" x="292" y="-185.45" font-family="Times,serif" font-size="14.00">a2l__util</text>
</g>
<!-- NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/Bernstein@a2l__util -->
<g id="edge11" class="edge">
<title>NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/Bernstein@a2l__util</title>
<path fill="none" stroke="black" d="M270.57,-316.15C275.52,-300.69 282,-280.5 282,-280.5 282,-280.5 285.92,-245.61 288.85,-219.52"/>
<polygon fill="black" stroke="black" points="292.43,-219.99 290.07,-209.66 285.48,-219.21 292.43,-219.99"/>
</g>
<!-- NASALib/Bernstein@multi_bernstein -->
<g id="node13" class="node">
<title>NASALib/Bernstein@multi_bernstein</title>
<ellipse fill="#e6f3ff" stroke="black" cx="380" cy="-262.5" rx="69.26" ry="18"/>
<text text-anchor="middle" x="380" y="-257.45" font-family="Times,serif" font-size="14.00">multi_bernstein</text>
</g>
<!-- NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/Bernstein@multi_bernstein -->
<g id="edge12" class="edge">
<title>NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/Bernstein@multi_bernstein</title>
<path fill="none" stroke="black" d="M292.25,-316.91C307.95,-307.36 327.84,-295.25 344.71,-284.98"/>
<polygon fill="black" stroke="black" points="346.01,-287.68 352.73,-279.49 342.37,-281.7 346.01,-287.68"/>
</g>
<!-- NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/Bernstein@multibernstein_into_polylist -->
<g id="edge13" class="edge">
<title>NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/Bernstein@multibernstein_into_polylist</title>
<path fill="none" stroke="black" d="M239.41,-316.91C225.36,-307.8 207.72,-296.37 192.37,-286.42"/>
<polygon fill="black" stroke="black" points="194.46,-282.96 184.16,-280.46 190.65,-288.83 194.46,-282.96"/>
</g>
<!-- NASALib/reals -->
<g id="node26" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="891,-52 837,-52 837,-16 891,-16 891,-52"/>
<text text-anchor="middle" x="864" y="-28.95" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/reals -->
<g id="edge14" class="edge">
<title>NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M331.18,-322C420.88,-306.41 570,-280.5 570,-280.5 570,-280.5 755,-208.5 755,-208.5 755,-208.5 829,-119.5 829,-119.5"/>
<path fill="none" stroke="black" d="M829,-117.5C829,-117.5 842.13,-86.55 852.31,-62.56"/>
<polygon fill="black" stroke="black" points="855.89,-64.07 856.58,-53.5 849.45,-61.34 855.89,-64.07"/>
</g>
<!-- NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/structures -->
<g id="edge15" class="edge">
<title>NASALib/Bernstein@a2l__multi_bernstein&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M829,-117.5C829,-117.5 900,-84.5 900,-84.5 900,-84.5 910.27,-72.67 920.78,-60.58"/>
<polygon fill="black" stroke="black" points="924.04,-63.16 927.96,-53.31 918.76,-58.57 924.04,-63.16"/>
</g>
<!-- NASALib/Bernstein@a2l__util&#45;&gt;NASALib/Bernstein@util -->
<g id="edge16" class="edge">
<title>NASALib/Bernstein@a2l__util&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M322.66,-177.31C354.21,-164.76 403.17,-145.28 435.41,-132.46"/>
<polygon fill="black" stroke="black" points="436.25,-135.5 444.24,-128.55 433.66,-128.99 436.25,-135.5"/>
</g>
<!-- NASALib/Bernstein@a2l__vardirselector&#45;&gt;NASALib/Bernstein@a2l__multi_bernstein -->
<g id="edge17" class="edge">
<title>NASALib/Bernstein@a2l__vardirselector&#45;&gt;NASALib/Bernstein@a2l__multi_bernstein</title>
<path fill="none" stroke="black" d="M169.76,-389.26C186.62,-379.75 208.13,-367.6 226.45,-357.26"/>
<polygon fill="black" stroke="black" points="227.98,-359.85 234.97,-351.89 224.54,-353.76 227.98,-359.85"/>
</g>
<!-- NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/Bernstein@minmax -->
<g id="edge18" class="edge">
<title>NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/Bernstein@minmax</title>
<path fill="none" stroke="black" d="M453.7,-460.2C455.74,-452.65 458.2,-443.62 460.49,-435.18"/>
<polygon fill="black" stroke="black" points="464.12,-436.17 463.36,-425.6 457.36,-434.34 464.12,-436.17"/>
</g>
<!-- NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/Bernstein@multi_bernstein -->
<g id="edge19" class="edge">
<title>NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/Bernstein@multi_bernstein</title>
<path fill="none" stroke="black" d="M471.15,-460.73C491.66,-445.2 519,-424.5 519,-424.5 519,-424.5 519,-388.5 519,-388.5 519,-388.5 446.89,-323.65 406.55,-287.37"/>
<polygon fill="black" stroke="black" points="409.23,-285.18 399.46,-281.1 404.55,-290.39 409.23,-285.18"/>
</g>
<!-- NASALib/Bernstein@vardirselector -->
<g id="node23" class="node">
<title>NASALib/Bernstein@vardirselector</title>
<ellipse fill="#e6f3ff" stroke="black" cx="346" cy="-406.5" rx="61.59" ry="18"/>
<text text-anchor="middle" x="346" y="-401.45" font-family="Times,serif" font-size="14.00">vardirselector</text>
</g>
<!-- NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/Bernstein@vardirselector -->
<g id="edge20" class="edge">
<title>NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/Bernstein@vardirselector</title>
<path fill="none" stroke="black" d="M424.59,-460.91C410.8,-451.54 393.38,-439.7 378.45,-429.55"/>
<polygon fill="black" stroke="black" points="380.76,-426.21 370.53,-423.49 376.83,-432 380.76,-426.21"/>
</g>
<!-- NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/structures -->
<g id="edge21" class="edge">
<title>NASALib/Bernstein@bernstein_minmax&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M513.85,-467.55C639.74,-448.22 905,-407.5 905,-407.5"/>
<path fill="none" stroke="black" d="M905,-405.5C905,-405.5 905,-263.5 905,-263.5 905,-263.5 905,-263.5 905,-189.5 905,-189.5 925.21,-107.34 936.15,-62.85"/>
<polygon fill="black" stroke="black" points="939.73,-63.97 938.71,-53.42 932.93,-62.3 939.73,-63.97"/>
</g>
<!-- NASALib/Bernstein@boxes -->
<g id="node9" class="node">
<title>NASALib/Bernstein@boxes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="659" cy="-766.5" rx="32.41" ry="18"/>
<text text-anchor="middle" x="659" y="-761.45" font-family="Times,serif" font-size="14.00">boxes</text>
</g>
<!-- NASALib/Bernstein@boxes&#45;&gt;NASALib/Bernstein@OutBoxes -->
<g id="edge22" class="edge">
<title>NASALib/Bernstein@boxes&#45;&gt;NASALib/Bernstein@OutBoxes</title>
<path fill="none" stroke="black" d="M674.84,-750.31C684.33,-741.21 696.6,-729.45 707.33,-719.15"/>
<polygon fill="black" stroke="black" points="709.38,-722.08 714.17,-712.63 704.53,-717.03 709.38,-722.08"/>
</g>
<!-- NASALib/Bernstein@poly2bernstein -->
<g id="node17" class="node">
<title>NASALib/Bernstein@poly2bernstein</title>
<ellipse fill="#e6f3ff" stroke="black" cx="616" cy="-550.5" rx="65.68" ry="18"/>
<text text-anchor="middle" x="616" y="-545.45" font-family="Times,serif" font-size="14.00">poly2bernstein</text>
</g>
<!-- NASALib/Bernstein@boxes&#45;&gt;NASALib/Bernstein@poly2bernstein -->
<g id="edge23" class="edge">
<title>NASALib/Bernstein@boxes&#45;&gt;NASALib/Bernstein@poly2bernstein</title>
<path fill="none" stroke="black" d="M657.93,-748.27C655.35,-706.74 649,-604.5 649,-604.5 649,-604.5 640.6,-591 632.27,-577.63"/>
<polygon fill="black" stroke="black" points="634.88,-576.2 626.62,-569.56 628.94,-579.9 634.88,-576.2"/>
</g>
<!-- NASALib/Bernstein@strat_util -->
<g id="node19" class="node">
<title>NASALib/Bernstein@strat_util</title>
<ellipse fill="#e6f3ff" stroke="black" cx="547" cy="-694.5" rx="43.67" ry="18"/>
<text text-anchor="middle" x="547" y="-689.45" font-family="Times,serif" font-size="14.00">strat_util</text>
</g>
<!-- NASALib/Bernstein@boxes&#45;&gt;NASALib/Bernstein@strat_util -->
<g id="edge24" class="edge">
<title>NASALib/Bernstein@boxes&#45;&gt;NASALib/Bernstein@strat_util</title>
<path fill="none" stroke="black" d="M637.93,-752.33C621.45,-742.03 598.26,-727.53 579.41,-715.76"/>
<polygon fill="black" stroke="black" points="581.63,-712.39 571.29,-710.06 577.92,-718.33 581.63,-712.39"/>
</g>
<!-- NASALib/Bernstein@boxes&#45;&gt;NASALib/structures -->
<g id="edge25" class="edge">
<title>NASALib/Bernstein@boxes&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M684.68,-755.03C722.57,-739.58 789,-712.5 789,-712.5 789,-712.5 981,-623.5 981,-623.5 981,-623.5 981,-623.5 981,-189.5 981,-189.5 960.79,-107.34 949.85,-62.85"/>
<polygon fill="black" stroke="black" points="953.07,-62.3 947.29,-53.42 946.27,-63.97 953.07,-62.3"/>
</g>
<!-- NASALib/Bernstein@boxes_def&#45;&gt;NASALib/Bernstein@util -->
<g id="edge26" class="edge">
<title>NASALib/Bernstein@boxes_def&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M747.51,-532.09C746.44,-494.17 744,-407.5 744,-407.5 744,-407.5 744,-407.5 744,-333.5 744,-333.5 724,-191.5 724,-191.5"/>
</g>
<!-- NASALib/Bernstein@boxes_def&#45;&gt;NASALib/reals -->
<g id="edge27" class="edge">
<title>NASALib/Bernstein@boxes_def&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M943,-117.5C943,-117.5 900,-84.5 900,-84.5 900,-84.5 891.56,-72.9 882.86,-60.93"/>
<polygon fill="black" stroke="black" points="885.3,-59.34 876.59,-53.31 879.64,-63.46 885.3,-59.34"/>
<path fill="none" stroke="black" d="M784.26,-538.26C834.46,-522.7 919,-496.5 919,-496.5 919,-496.5 943,-407.5 943,-407.5 943,-407.5 943,-407.5 943,-261.5 943,-261.5 943,-119.5 943,-119.5"/>
</g>
<!-- NASALib/Bernstein@boxes_def&#45;&gt;NASALib/structures -->
<g id="edge28" class="edge">
<title>NASALib/Bernstein@boxes_def&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M943,-117.5C943,-117.5 943,-87.1 943,-63.21"/>
<polygon fill="black" stroke="black" points="946.5,-63.5 943,-53.5 939.5,-63.5 946.5,-63.5"/>
</g>
<!-- NASALib/Bernstein@grizzly -->
<g id="node11" class="node">
<title>NASALib/Bernstein@grizzly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="611" cy="-838.5" rx="36.51" ry="18"/>
<text text-anchor="middle" x="611" y="-833.45" font-family="Times,serif" font-size="14.00">grizzly</text>
</g>
<!-- NASALib/Bernstein@grizzly&#45;&gt;NASALib/Bernstein@boxes -->
<g id="edge29" class="edge">
<title>NASALib/Bernstein@grizzly&#45;&gt;NASALib/Bernstein@boxes</title>
<path fill="none" stroke="black" d="M622.38,-820.91C628.2,-812.42 635.4,-801.91 641.88,-792.46"/>
<polygon fill="black" stroke="black" points="645.27,-794.71 648.04,-784.49 639.49,-790.76 645.27,-794.71"/>
</g>
<!-- NASALib/Bernstein@strategies -->
<g id="node20" class="node">
<title>NASALib/Bernstein@strategies</title>
<ellipse fill="#e6f3ff" stroke="black" cx="563" cy="-766.5" rx="45.72" ry="18"/>
<text text-anchor="middle" x="563" y="-761.45" font-family="Times,serif" font-size="14.00">strategies</text>
</g>
<!-- NASALib/Bernstein@grizzly&#45;&gt;NASALib/Bernstein@strategies -->
<g id="edge30" class="edge">
<title>NASALib/Bernstein@grizzly&#45;&gt;NASALib/Bernstein@strategies</title>
<path fill="none" stroke="black" d="M599.62,-820.91C593.89,-812.54 586.8,-802.21 580.4,-792.87"/>
<polygon fill="black" stroke="black" points="582.84,-791.24 574.29,-784.97 577.06,-795.2 582.84,-791.24"/>
</g>
<!-- NASALib/Bernstein@minmax&#45;&gt;NASALib/Bernstein@util -->
<g id="edge31" class="edge">
<title>NASALib/Bernstein@minmax&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M468,-388.35C468,-337.57 468,-191.5 468,-191.5"/>
</g>
<!-- NASALib/Bernstein@multi_bernstein&#45;&gt;NASALib/Bernstein@util -->
<g id="edge32" class="edge">
<title>NASALib/Bernstein@multi_bernstein&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M468,-189.5C468,-189.5 468,-167.16 468,-147.72"/>
<polygon fill="black" stroke="black" points="471.5,-147.8 468,-137.8 464.5,-147.8 471.5,-147.8"/>
<path fill="none" stroke="black" d="M400.85,-244.91C426.88,-224.21 468,-191.5 468,-191.5"/>
</g>
<!-- NASALib/Bernstein@multi_bernstein&#45;&gt;NASALib/reals -->
<g id="edge33" class="edge">
<title>NASALib/Bernstein@multi_bernstein&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M753,-117.5C753,-117.5 777,-92.5 777,-92.5 777,-92.5 828,-84.5 828,-84.5 828,-84.5 836.44,-72.9 845.14,-60.93"/>
<polygon fill="black" stroke="black" points="848.36,-63.46 851.41,-53.31 842.7,-59.34 848.36,-63.46"/>
<path fill="none" stroke="black" d="M436.44,-251.71C458.22,-247.93 478,-244.5 478,-244.5 478,-244.5 729,-208.5 729,-208.5 729,-208.5 753,-119.5 753,-119.5"/>
</g>
<!-- NASALib/sigma_set -->
<g id="node27" class="node">
<title>NASALib/sigma_set</title>
<polygon fill="#fcfcd7" stroke="black" points="819.38,-52 748.62,-52 748.62,-16 819.38,-16 819.38,-52"/>
<text text-anchor="middle" x="784" y="-28.95" font-family="Times,serif" font-size="14.00">sigma_set</text>
</g>
<!-- NASALib/Bernstein@multi_bernstein&#45;&gt;NASALib/sigma_set -->
<g id="edge34" class="edge">
<title>NASALib/Bernstein@multi_bernstein&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M753,-117.5C753,-117.5 764.63,-86.55 773.64,-62.56"/>
<polygon fill="black" stroke="black" points="777.18,-64.09 777.43,-53.5 770.63,-61.63 777.18,-64.09"/>
</g>
<!-- NASALib/Bernstein@multi_polylist -->
<g id="node14" class="node">
<title>NASALib/Bernstein@multi_polylist</title>
<ellipse fill="#e6f3ff" stroke="black" cx="662" cy="-334.5" rx="63.12" ry="18"/>
<text text-anchor="middle" x="662" y="-329.45" font-family="Times,serif" font-size="14.00">multi_polylist</text>
</g>
<!-- NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/Bernstein@MPoly -->
<g id="edge35" class="edge">
<title>NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/Bernstein@MPoly</title>
<path fill="none" stroke="black" d="M632.06,-318.31C610.37,-307.31 581.02,-292.42 558.38,-280.94"/>
<polygon fill="black" stroke="black" points="560.32,-277.49 549.81,-276.09 557.15,-283.73 560.32,-277.49"/>
</g>
<!-- NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/Bernstein@multi_polynomial -->
<g id="edge36" class="edge">
<title>NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/Bernstein@multi_polynomial</title>
<path fill="none" stroke="black" d="M677.01,-316.55C695.36,-295.84 724,-263.5 724,-263.5"/>
<path fill="none" stroke="black" d="M724,-261.5C724,-261.5 664.67,-232.66 622.17,-212"/>
<polygon fill="black" stroke="black" points="623.84,-208.43 613.32,-207.21 620.78,-214.73 623.84,-208.43"/>
</g>
<!-- NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/Bernstein@util -->
<g id="edge37" class="edge">
<title>NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M724,-189.5C724,-189.5 667,-172.5 667,-172.5 667,-172.5 560.34,-144.09 503.19,-128.87"/>
<polygon fill="black" stroke="black" points="504.37,-125.3 493.8,-126.11 502.56,-132.06 504.37,-125.3"/>
<path fill="none" stroke="black" d="M724,-261.5C724,-261.5 724,-191.5 724,-191.5"/>
</g>
<!-- NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/reals -->
<g id="edge38" class="edge">
<title>NASALib/Bernstein@multi_polylist&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M704.89,-320.94C758.42,-305.27 843,-280.5 843,-280.5 843,-280.5 856.12,-127.12 861.62,-62.83"/>
<polygon fill="black" stroke="black" points="865.16,-63.53 862.52,-53.26 858.18,-62.93 865.16,-63.53"/>
</g>
<!-- NASALib/Bernstein@multi_polynomial&#45;&gt;NASALib/Bernstein@util -->
<g id="edge39" class="edge">
<title>NASALib/Bernstein@multi_polynomial&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M553.74,-173.09C536.5,-162.31 513.97,-148.23 496.32,-137.2"/>
<polygon fill="black" stroke="black" points="498.43,-133.76 488.09,-131.43 494.72,-139.7 498.43,-133.76"/>
</g>
<!-- NASALib/Bernstein@multi_polynomial&#45;&gt;NASALib/reals -->
<g id="edge40" class="edge">
<title>NASALib/Bernstein@multi_polynomial&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M715,-117.5C715,-117.5 739,-92.5 739,-92.5 739,-92.5 828,-84.5 828,-84.5 828,-84.5 836.44,-72.9 845.14,-60.93"/>
<polygon fill="black" stroke="black" points="848.36,-63.46 851.41,-53.31 842.7,-59.34 848.36,-63.46"/>
</g>
<!-- NASALib/Bernstein@multi_polynomial&#45;&gt;NASALib/sigma_set -->
<g id="edge41" class="edge">
<title>NASALib/Bernstein@multi_polynomial&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M715,-117.5C715,-117.5 742.3,-84.86 762.55,-60.64"/>
<polygon fill="black" stroke="black" points="765.64,-63.41 769.37,-53.5 760.27,-58.92 765.64,-63.41"/>
<path fill="none" stroke="black" d="M610.63,-173.62C650.46,-152.96 715,-119.5 715,-119.5"/>
</g>
<!-- NASALib/Bernstein@multibernstein_into_polylist&#45;&gt;NASALib/Bernstein@a2l__util -->
<g id="edge42" class="edge">
<title>NASALib/Bernstein@multibernstein_into_polylist&#45;&gt;NASALib/Bernstein@a2l__util</title>
<path fill="none" stroke="black" d="M189.34,-244.73C209.45,-234.31 235.33,-220.88 256.08,-210.12"/>
<polygon fill="black" stroke="black" points="257.54,-212.79 264.81,-205.08 254.32,-206.58 257.54,-212.79"/>
</g>
<!-- NASALib/Bernstein@multibernstein_into_polylist&#45;&gt;NASALib/Bernstein@util -->
<g id="edge43" class="edge">
<title>NASALib/Bernstein@multibernstein_into_polylist&#45;&gt;NASALib/Bernstein@util</title>
<path fill="none" stroke="black" d="M172.81,-244.34C196.64,-218.48 239,-172.5 239,-172.5 239,-172.5 367.68,-142.72 432.12,-127.8"/>
<polygon fill="black" stroke="black" points="432.66,-131.04 441.62,-125.37 431.09,-124.22 432.66,-131.04"/>
</g>
<!-- NASALib/Bernstein@multibernstein_into_polylist&#45;&gt;NASALib/structures -->
<g id="edge44" class="edge">
<title>NASALib/Bernstein@multibernstein_into_polylist&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M247.18,-250.93C276.67,-247.47 302,-244.5 302,-244.5 302,-244.5 729,-208.5 729,-208.5 729,-208.5 815,-92.5 815,-92.5 815,-92.5 900,-84.5 900,-84.5 900,-84.5 910.27,-72.67 920.78,-60.58"/>
<polygon fill="black" stroke="black" points="924.04,-63.16 927.96,-53.31 918.76,-58.57 924.04,-63.16"/>
</g>
<!-- NASALib/Bernstein@poly2bernstein&#45;&gt;NASALib/Bernstein@multi_bernstein -->
<g id="edge45" class="edge">
<title>NASALib/Bernstein@poly2bernstein&#45;&gt;NASALib/Bernstein@multi_bernstein</title>
<path fill="none" stroke="black" d="M580,-333.5C580,-333.5 489.55,-301.84 430.3,-281.1"/>
<polygon fill="black" stroke="black" points="431.59,-277.5 420.99,-277.5 429.27,-284.1 431.59,-277.5"/>
<path fill="none" stroke="black" d="M613.11,-532.35C604.57,-481.57 580,-335.5 580,-335.5"/>
</g>
<!-- NASALib/Bernstein@poly2bernstein&#45;&gt;NASALib/Bernstein@multi_polynomial -->
<g id="edge46" class="edge">
<title>NASALib/Bernstein@poly2bernstein&#45;&gt;NASALib/Bernstein@multi_polynomial</title>
<path fill="none" stroke="black" d="M580,-333.5C580,-333.5 580,-261.09 580,-219.68"/>
<polygon fill="black" stroke="black" points="583.5,-219.91 580,-209.91 576.5,-219.91 583.5,-219.91"/>
</g>
<!-- NASALib/Bernstein@poly_minmax -->
<g id="node18" class="node">
<title>NASALib/Bernstein@poly_minmax</title>
<ellipse fill="#e6f3ff" stroke="black" cx="449" cy="-622.5" rx="63.12" ry="18"/>
<text text-anchor="middle" x="449" y="-617.45" font-family="Times,serif" font-size="14.00">poly_minmax</text>
</g>
<!-- NASALib/Bernstein@poly_minmax&#45;&gt;NASALib/Bernstein@a2l__bernstein_minmax -->
<g id="edge47" class="edge">
<title>NASALib/Bernstein@poly_minmax&#45;&gt;NASALib/Bernstein@a2l__bernstein_minmax</title>
<path fill="none" stroke="black" d="M422.07,-605.79C405.71,-596.25 384.58,-583.92 366.59,-573.43"/>
<polygon fill="black" stroke="black" points="368.91,-570.15 358.51,-568.13 365.39,-576.19 368.91,-570.15"/>
</g>
<!-- NASALib/Bernstein@poly_minmax&#45;&gt;NASALib/Bernstein@bernstein_minmax -->
<g id="edge48" class="edge">
<title>NASALib/Bernstein@poly_minmax&#45;&gt;NASALib/Bernstein@bernstein_minmax</title>
<path fill="none" stroke="black" d="M449,-604.09C449,-580 449,-536.25 449,-507.53"/>
<polygon fill="black" stroke="black" points="452.5,-507.61 449,-497.61 445.5,-507.61 452.5,-507.61"/>
</g>
<!-- NASALib/Bernstein@poly_minmax&#45;&gt;NASALib/Bernstein@poly2bernstein -->
<g id="edge49" class="edge">
<title>NASALib/Bernstein@poly_minmax&#45;&gt;NASALib/Bernstein@poly2bernstein</title>
<path fill="none" stroke="black" d="M483.6,-607C509.04,-596.33 543.84,-581.75 571.37,-570.21"/>
<polygon fill="black" stroke="black" points="572.29,-573.2 580.15,-566.11 569.58,-566.74 572.29,-573.2"/>
</g>
<!-- NASALib/Bernstein@strat_util&#45;&gt;NASALib/Bernstein@MPoly -->
<g id="edge50" class="edge">
<title>NASALib/Bernstein@strat_util&#45;&gt;NASALib/Bernstein@MPoly</title>
<path fill="none" stroke="black" d="M545.04,-676.15C543.29,-660.69 541,-640.5 541,-640.5 541,-640.5 539,-460.5 539,-460.5 539,-460.5 530.29,-346.06 526.14,-291.62"/>
<polygon fill="black" stroke="black" points="529.58,-291.69 525.33,-281.98 522.6,-292.22 529.58,-291.69"/>
</g>
<!-- NASALib/Bernstein@strat_util&#45;&gt;NASALib/Bernstein@Outcome -->
<g id="edge51" class="edge">
<title>NASALib/Bernstein@strat_util&#45;&gt;NASALib/Bernstein@Outcome</title>
<path fill="none" stroke="black" d="M558.38,-676.91C564.11,-668.54 571.2,-658.21 577.6,-648.87"/>
<polygon fill="black" stroke="black" points="580.94,-651.2 583.71,-640.97 575.16,-647.24 580.94,-651.2"/>
</g>
<!-- NASALib/Bernstein@strat_util&#45;&gt;NASALib/Bernstein@poly_minmax -->
<g id="edge52" class="edge">
<title>NASALib/Bernstein@strat_util&#45;&gt;NASALib/Bernstein@poly_minmax</title>
<path fill="none" stroke="black" d="M525.74,-678.31C512.5,-668.85 495.23,-656.52 480.43,-645.95"/>
<polygon fill="black" stroke="black" points="482.76,-642.6 472.59,-639.63 478.69,-648.29 482.76,-642.6"/>
</g>
<!-- NASALib/Bernstein@strategies&#45;&gt;NASALib/Bernstein@strat_util -->
<g id="edge53" class="edge">
<title>NASALib/Bernstein@strategies&#45;&gt;NASALib/Bernstein@strat_util</title>
<path fill="none" stroke="black" d="M559.04,-748.2C557.32,-740.65 555.26,-731.62 553.33,-723.18"/>
<polygon fill="black" stroke="black" points="556.55,-722.57 550.91,-713.6 549.73,-724.13 556.55,-722.57"/>
</g>
<!-- NASALib/interval_arith -->
<g id="node25" class="node">
<title>NASALib/interval_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="1084.38,-52 995.62,-52 995.62,-16 1084.38,-16 1084.38,-52"/>
<text text-anchor="middle" x="1040" y="-28.95" font-family="Times,serif" font-size="14.00">interval_arith</text>
</g>
<!-- NASALib/Bernstein@strategies&#45;&gt;NASALib/interval_arith -->
<g id="edge54" class="edge">
<title>NASALib/Bernstein@strategies&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M1019,-117.5C1019,-117.5 1026.81,-86.83 1032.9,-62.89"/>
<polygon fill="black" stroke="black" points="1036.47,-64.05 1035.55,-53.5 1029.69,-62.32 1036.47,-64.05"/>
<path fill="none" stroke="black" d="M598.14,-754.64C608.92,-751.31 618,-748.5 618,-748.5 618,-748.5 789,-712.5 789,-712.5 789,-712.5 1019,-623.5 1019,-623.5 1019,-623.5 1019,-623.5 1019,-261.5 1019,-261.5 1019,-119.5 1019,-119.5"/>
</g>
<!-- NASALib/Bernstein@strategies&#45;&gt;NASALib/structures -->
<g id="edge55" class="edge">
<title>NASALib/Bernstein@strategies&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1019,-117.5C1019,-117.5 987,-84.5 987,-84.5 987,-84.5 976.29,-72.45 965.43,-60.23"/>
<polygon fill="black" stroke="black" points="968.65,-58.46 959.39,-53.31 963.42,-63.11 968.65,-58.46"/>
</g>
<!-- NASALib/Bernstein@tests -->
<g id="node21" class="node">
<title>NASALib/Bernstein@tests</title>
<ellipse fill="#e6f3ff" stroke="black" cx="472" cy="-766.5" rx="27.3" ry="18"/>
<text text-anchor="middle" x="472" y="-761.45" font-family="Times,serif" font-size="14.00">tests</text>
</g>
<!-- NASALib/Bernstein@tests&#45;&gt;NASALib/Bernstein@strat_util -->
<g id="edge56" class="edge">
<title>NASALib/Bernstein@tests&#45;&gt;NASALib/Bernstein@strat_util</title>
<path fill="none" stroke="black" d="M487.18,-751.33C497.17,-742.01 510.48,-729.59 522.01,-718.83"/>
<polygon fill="black" stroke="black" points="524.09,-721.74 529.01,-712.35 519.31,-716.62 524.09,-721.74"/>
</g>
<!-- NASALib/Bernstein@util&#45;&gt;NASALib/reals -->
<g id="edge57" class="edge">
<title>NASALib/Bernstein@util&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M494.73,-114.63C555.93,-108.07 701,-92.5 701,-92.5 701,-92.5 828,-84.5 828,-84.5 828,-84.5 836.44,-72.9 845.14,-60.93"/>
<polygon fill="black" stroke="black" points="848.36,-63.46 851.41,-53.31 842.7,-59.34 848.36,-63.46"/>
</g>
<!-- NASALib/Bernstein@util&#45;&gt;NASALib/structures -->
<g id="edge58" class="edge">
<title>NASALib/Bernstein@util&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M494.73,-114.63C555.93,-108.07 701,-92.5 701,-92.5 701,-92.5 900,-84.5 900,-84.5 900,-84.5 910.27,-72.67 920.78,-60.58"/>
<polygon fill="black" stroke="black" points="924.04,-63.16 927.96,-53.31 918.76,-58.57 924.04,-63.16"/>
</g>
<!-- NASALib/Bernstein@vardirselector&#45;&gt;NASALib/Bernstein@multi_bernstein -->
<g id="edge59" class="edge">
<title>NASALib/Bernstein@vardirselector&#45;&gt;NASALib/Bernstein@multi_bernstein</title>
<path fill="none" stroke="black" d="M351.89,-388.15C357.14,-372.69 364,-352.5 364,-352.5 364,-352.5 370.33,-317.3 375.03,-291.17"/>
<polygon fill="black" stroke="black" points="378.59,-292.12 376.92,-281.66 371.7,-290.88 378.59,-292.12"/>
</g>
<!-- NASALib/Bernstein@vardirselector_into_a2lvardirselector&#45;&gt;NASALib/Bernstein@a2l__vardirselector -->
<g id="edge60" class="edge">
<title>NASALib/Bernstein@vardirselector_into_a2lvardirselector&#45;&gt;NASALib/Bernstein@a2l__vardirselector</title>
<path fill="none" stroke="black" d="M172.62,-460.2C167.84,-452.23 162.06,-442.6 156.76,-433.76"/>
<polygon fill="black" stroke="black" points="159.41,-432.38 151.26,-425.6 153.41,-435.98 159.41,-432.38"/>
</g>
<!-- NASALib/Bernstein@vardirselector_into_a2lvardirselector&#45;&gt;NASALib/Bernstein@vardirselector -->
<g id="edge61" class="edge">
<title>NASALib/Bernstein@vardirselector_into_a2lvardirselector&#45;&gt;NASALib/Bernstein@vardirselector</title>
<path fill="none" stroke="black" d="M222.04,-460.73C246.21,-450.35 277.3,-437 302.29,-426.27"/>
<polygon fill="black" stroke="black" points="303.43,-429.16 311.24,-422 300.67,-422.73 303.43,-429.16"/>
</g>
</g>
</svg>