CCG/CCG-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: CCG&#45;zoomed Pages: 1 -->
<svg width="1163pt" height="398pt"
 viewBox="0.00 0.00 1163.00 397.50" 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 393.5)">
<title>CCG&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-393.5 1159,-393.5 1159,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="655,-8 655,-84.5 1116,-84.5 1116,-8 655,-8"/>
<text text-anchor="middle" x="885.5" y="-67.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/CCG</title>
<polygon fill="none" stroke="black" points="8,-8 8,-381.5 647,-381.5 647,-8 8,-8"/>
<text text-anchor="middle" x="327.5" y="-364.2" font-family="Times,serif" font-size="14.00">NASALib/CCG</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="1059,-156.5 1059,-233 1147,-233 1147,-156.5 1059,-156.5"/>
<text text-anchor="middle" x="1103" y="-215.7" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/CCG@bounding_circuits -->
<g id="node1" class="node">
<title>NASALib/CCG@bounding_circuits</title>
<ellipse fill="#e6f3ff" stroke="black" cx="542" cy="-331" rx="77.45" ry="18"/>
<text text-anchor="middle" x="542" y="-325.95" font-family="Times,serif" font-size="14.00">bounding_circuits</text>
</g>
<!-- NASALib/CCG@bounding_circuits_defs -->
<g id="node2" class="node">
<title>NASALib/CCG@bounding_circuits_defs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="522" cy="-259" rx="97.41" ry="18"/>
<text text-anchor="middle" x="522" y="-253.95" font-family="Times,serif" font-size="14.00">bounding_circuits_defs</text>
</g>
<!-- NASALib/CCG@bounding_circuits&#45;&gt;NASALib/CCG@bounding_circuits_defs -->
<g id="edge1" class="edge">
<title>NASALib/CCG@bounding_circuits&#45;&gt;NASALib/CCG@bounding_circuits_defs</title>
<path fill="none" stroke="black" d="M537.06,-312.7C534.9,-305.15 532.32,-296.12 529.91,-287.68"/>
<polygon fill="black" stroke="black" points="533,-286.76 526.89,-278.1 526.27,-288.68 533,-286.76"/>
</g>
<!-- NASALib/CCG@matrix_wdg -->
<g id="node7" class="node">
<title>NASALib/CCG@matrix_wdg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="522" cy="-182.5" rx="55.96" ry="18"/>
<text text-anchor="middle" x="522" y="-177.45" font-family="Times,serif" font-size="14.00">matrix_wdg</text>
</g>
<!-- NASALib/CCG@bounding_circuits&#45;&gt;NASALib/CCG@matrix_wdg -->
<g id="edge2" class="edge">
<title>NASALib/CCG@bounding_circuits&#45;&gt;NASALib/CCG@matrix_wdg</title>
<path fill="none" stroke="black" d="M568.27,-313.81C593.56,-298.22 628,-277 628,-277 628,-277 638,-260 638,-260"/>
<path fill="none" stroke="black" d="M638,-258C638,-258 628,-241 628,-241 628,-241 589.72,-220.23 559.16,-203.66"/>
<polygon fill="black" stroke="black" points="561.03,-200.15 550.57,-198.46 557.69,-206.3 561.03,-200.15"/>
</g>
<!-- NASALib/digraphs -->
<g id="node12" class="node">
<title>NASALib/digraphs</title>
<polygon fill="#fcfcd7" stroke="black" points="1108.25,-52 1045.75,-52 1045.75,-16 1108.25,-16 1108.25,-52"/>
<text text-anchor="middle" x="1077" y="-28.95" font-family="Times,serif" font-size="14.00">digraphs</text>
</g>
<!-- NASALib/CCG@bounding_circuits&#45;&gt;NASALib/digraphs -->
<g id="edge3" class="edge">
<title>NASALib/CCG@bounding_circuits&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M638,-258C638,-258 1151,-233 1151,-233 1151,-233 1151,-156.5 1151,-156.5 1151,-156.5 1114.82,-97.1 1093.06,-61.36"/>
<polygon fill="black" stroke="black" points="1095.79,-60.13 1087.6,-53.41 1089.81,-63.77 1095.79,-60.13"/>
</g>
<!-- NASALib/CCG@bounding_circuits_defs&#45;&gt;NASALib/CCG@matrix_wdg -->
<g id="edge4" class="edge">
<title>NASALib/CCG@bounding_circuits_defs&#45;&gt;NASALib/CCG@matrix_wdg</title>
<path fill="none" stroke="black" d="M522,-240.72C522,-232.13 522,-221.53 522,-211.8"/>
<polygon fill="black" stroke="black" points="525.5,-211.94 522,-201.94 518.5,-211.94 525.5,-211.94"/>
</g>
<!-- NASALib/CCG@cc_def -->
<g id="node3" class="node">
<title>NASALib/CCG@cc_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="210" cy="-34" rx="35.49" ry="18"/>
<text text-anchor="middle" x="210" y="-28.95" font-family="Times,serif" font-size="14.00">cc_def</text>
</g>
<!-- NASALib/CCG@ccg -->
<g id="node4" class="node">
<title>NASALib/CCG@ccg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="210" cy="-182.5" rx="27" ry="18"/>
<text text-anchor="middle" x="210" y="-177.45" font-family="Times,serif" font-size="14.00">ccg</text>
</g>
<!-- NASALib/CCG@ccg&#45;&gt;NASALib/CCG@cc_def -->
<g id="edge5" class="edge">
<title>NASALib/CCG@ccg&#45;&gt;NASALib/CCG@cc_def</title>
<path fill="none" stroke="black" d="M210,-164.12C210,-139.23 210,-93.15 210,-63.3"/>
<polygon fill="black" stroke="black" points="213.5,-63.36 210,-53.36 206.5,-63.36 213.5,-63.36"/>
</g>
<!-- NASALib/CCG@ccg_def -->
<g id="node5" class="node">
<title>NASALib/CCG@ccg_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="269" cy="-110.5" rx="40.09" ry="18"/>
<text text-anchor="middle" x="269" y="-105.45" font-family="Times,serif" font-size="14.00">ccg_def</text>
</g>
<!-- NASALib/CCG@ccg&#45;&gt;NASALib/CCG@ccg_def -->
<g id="edge6" class="edge">
<title>NASALib/CCG@ccg&#45;&gt;NASALib/CCG@ccg_def</title>
<path fill="none" stroke="black" d="M222.8,-166.31C230.32,-157.39 240,-145.91 248.55,-135.76"/>
<polygon fill="black" stroke="black" points="251.63,-138.54 255.4,-128.63 246.28,-134.02 251.63,-138.54"/>
</g>
<!-- NASALib/CCG@scp -->
<g id="node9" class="node">
<title>NASALib/CCG@scp</title>
<ellipse fill="#e6f3ff" stroke="black" cx="164" cy="-110.5" rx="27" ry="18"/>
<text text-anchor="middle" x="164" y="-105.45" font-family="Times,serif" font-size="14.00">scp</text>
</g>
<!-- NASALib/CCG@ccg&#45;&gt;NASALib/CCG@scp -->
<g id="edge7" class="edge">
<title>NASALib/CCG@ccg&#45;&gt;NASALib/CCG@scp</title>
<path fill="none" stroke="black" d="M199.56,-165.62C193.86,-156.93 186.66,-145.99 180.24,-136.22"/>
<polygon fill="black" stroke="black" points="182.81,-134.76 174.4,-128.32 176.96,-138.6 182.81,-134.76"/>
</g>
<!-- NASALib/ints -->
<g id="node13" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="956,-52 902,-52 902,-16 956,-16 956,-52"/>
<text text-anchor="middle" x="929" y="-28.95" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/CCG@ccg&#45;&gt;NASALib/ints -->
<g id="edge8" class="edge">
<title>NASALib/CCG@ccg&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M235.96,-176.62C274.66,-169.34 343,-156.5 343,-156.5 343,-156.5 782,-92.5 782,-92.5 782,-92.5 893,-84.5 893,-84.5 893,-84.5 901.44,-72.9 910.14,-60.93"/>
<polygon fill="black" stroke="black" points="913.36,-63.46 916.41,-53.31 907.7,-59.34 913.36,-63.46"/>
</g>
<!-- NASALib/CCG@ccg_def&#45;&gt;NASALib/CCG@cc_def -->
<g id="edge9" class="edge">
<title>NASALib/CCG@ccg_def&#45;&gt;NASALib/CCG@cc_def</title>
<path fill="none" stroke="black" d="M256.2,-93.33C248.39,-83.47 238.25,-70.68 229.47,-59.58"/>
<polygon fill="black" stroke="black" points="231.73,-57.8 222.78,-52.13 226.24,-62.15 231.73,-57.8"/>
</g>
<!-- NASALib/CCG@ccg_def&#45;&gt;NASALib/digraphs -->
<g id="edge10" class="edge">
<title>NASALib/CCG@ccg_def&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M303.5,-101C320.75,-96.75 338,-92.5 338,-92.5 338,-92.5 1037,-84.5 1037,-84.5 1037,-84.5 1046.56,-72.67 1056.33,-60.58"/>
<polygon fill="black" stroke="black" points="1059.45,-63.29 1063.01,-53.31 1054,-58.89 1059.45,-63.29"/>
</g>
<!-- NASALib/structures -->
<g id="node17" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="803.25,-52 734.75,-52 734.75,-16 803.25,-16 803.25,-52"/>
<text text-anchor="middle" x="769" y="-28.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/CCG@ccg_def&#45;&gt;NASALib/structures -->
<g id="edge11" class="edge">
<title>NASALib/CCG@ccg_def&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M303.5,-101C320.75,-96.75 338,-92.5 338,-92.5 338,-92.5 726,-84.5 726,-84.5 726,-84.5 736.27,-72.67 746.78,-60.58"/>
<polygon fill="black" stroke="black" points="750.04,-63.16 753.96,-53.31 744.76,-58.57 750.04,-63.16"/>
</g>
<!-- NASALib/CCG@ccg_to_mwg -->
<g id="node6" class="node">
<title>NASALib/CCG@ccg_to_mwg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="348" cy="-259" rx="59.03" ry="18"/>
<text text-anchor="middle" x="348" y="-253.95" font-family="Times,serif" font-size="14.00">ccg_to_mwg</text>
</g>
<!-- NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@cc_def -->
<g id="edge12" class="edge">
<title>NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@cc_def</title>
<path fill="none" stroke="black" d="M348,-181.5C348,-181.5 328,-111.5 328,-111.5"/>
<path fill="none" stroke="black" d="M348,-240.72C348,-218.71 348,-183.5 348,-183.5"/>
</g>
<!-- NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@ccg -->
<g id="edge13" class="edge">
<title>NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@ccg</title>
<path fill="none" stroke="black" d="M319.74,-242.74C296.56,-230.23 263.81,-212.55 240.13,-199.77"/>
<polygon fill="black" stroke="black" points="242.06,-196.29 231.59,-194.62 238.73,-202.45 242.06,-196.29"/>
</g>
<!-- NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@matrix_wdg -->
<g id="edge14" class="edge">
<title>NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@matrix_wdg</title>
<path fill="none" stroke="black" d="M381.14,-243.81C409.04,-231.86 449.14,-214.7 479.42,-201.73"/>
<polygon fill="black" stroke="black" points="480.47,-204.66 488.28,-197.51 477.71,-198.23 480.47,-204.66"/>
</g>
<!-- NASALib/CCG@measures -->
<g id="node8" class="node">
<title>NASALib/CCG@measures</title>
<ellipse fill="#e6f3ff" stroke="black" cx="393" cy="-110.5" rx="45.72" ry="18"/>
<text text-anchor="middle" x="393" y="-105.45" font-family="Times,serif" font-size="14.00">measures</text>
</g>
<!-- NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@measures -->
<g id="edge15" class="edge">
<title>NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/CCG@measures</title>
<path fill="none" stroke="black" d="M348,-181.5C348,-181.5 363.49,-157.4 376.3,-137.48"/>
<polygon fill="black" stroke="black" points="379.64,-139.75 382.11,-129.45 373.76,-135.96 379.64,-139.75"/>
</g>
<!-- NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/structures -->
<g id="edge16" class="edge">
<title>NASALib/CCG@ccg_to_mwg&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M392.6,-246.85C405.42,-243.65 416,-241 416,-241 416,-241 1015,-233 1015,-233 1015,-233 1015,-92.5 1015,-92.5 1015,-92.5 813,-84.5 813,-84.5 813,-84.5 802.29,-72.45 791.43,-60.23"/>
<polygon fill="black" stroke="black" points="794.65,-58.46 785.39,-53.31 789.42,-63.11 794.65,-58.46"/>
</g>
<!-- NASALib/CCG@matrix_wdg&#45;&gt;NASALib/CCG@measures -->
<g id="edge17" class="edge">
<title>NASALib/CCG@matrix_wdg&#45;&gt;NASALib/CCG@measures</title>
<path fill="none" stroke="black" d="M494.33,-166.48C475.03,-156.01 449.11,-141.95 428.32,-130.66"/>
<polygon fill="black" stroke="black" points="430.33,-127.23 419.87,-125.54 426.99,-133.38 430.33,-127.23"/>
</g>
<!-- NASALib/CCG@matrix_wdg&#45;&gt;NASALib/digraphs -->
<g id="edge18" class="edge">
<title>NASALib/CCG@matrix_wdg&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M568.1,-171.89C678.52,-148.88 949,-92.5 949,-92.5 949,-92.5 1037,-84.5 1037,-84.5 1037,-84.5 1046.56,-72.67 1056.33,-60.58"/>
<polygon fill="black" stroke="black" points="1059.45,-63.29 1063.01,-53.31 1054,-58.89 1059.45,-63.29"/>
</g>
<!-- NASALib/reals -->
<g id="node15" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="717,-52 663,-52 663,-16 717,-16 717,-52"/>
<text text-anchor="middle" x="690" y="-28.95" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/CCG@measures&#45;&gt;NASALib/reals -->
<g id="edge19" class="edge">
<title>NASALib/CCG@measures&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M436.78,-104.99C485.67,-99.95 558,-92.5 558,-92.5 558,-92.5 651,-84.5 651,-84.5 651,-84.5 660.14,-72.9 669.57,-60.93"/>
<polygon fill="black" stroke="black" points="672.92,-63.33 676.36,-53.31 667.42,-59 672.92,-63.33"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node16" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="884.25,-52 821.75,-52 821.75,-16 884.25,-16 884.25,-52"/>
<text text-anchor="middle" x="853" y="-28.95" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/CCG@measures&#45;&gt;NASALib/sets_aux -->
<g id="edge20" class="edge">
<title>NASALib/CCG@measures&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M436.78,-104.99C485.67,-99.95 558,-92.5 558,-92.5 558,-92.5 812,-84.5 812,-84.5 812,-84.5 821.79,-72.67 831.81,-60.58"/>
<polygon fill="black" stroke="black" points="834.98,-63.25 838.66,-53.31 829.59,-58.78 834.98,-63.25"/>
</g>
<!-- NASALib/CCG@measures&#45;&gt;NASALib/structures -->
<g id="edge21" class="edge">
<title>NASALib/CCG@measures&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M436.78,-104.99C485.67,-99.95 558,-92.5 558,-92.5 558,-92.5 726,-84.5 726,-84.5 726,-84.5 736.27,-72.67 746.78,-60.58"/>
<polygon fill="black" stroke="black" points="750.04,-63.16 753.96,-53.31 744.76,-58.57 750.04,-63.16"/>
</g>
<!-- NASALib/CCG@scp&#45;&gt;NASALib/CCG@cc_def -->
<g id="edge22" class="edge">
<title>NASALib/CCG@scp&#45;&gt;NASALib/CCG@cc_def</title>
<path fill="none" stroke="black" d="M173.98,-93.33C179.87,-83.8 187.45,-71.52 194.14,-60.69"/>
<polygon fill="black" stroke="black" points="197.44,-63 199.72,-52.65 191.49,-59.32 197.44,-63"/>
</g>
<!-- NASALib/orders -->
<g id="node14" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="1028,-52 974,-52 974,-16 1028,-16 1028,-52"/>
<text text-anchor="middle" x="1001" y="-28.95" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/CCG@scp&#45;&gt;NASALib/orders -->
<g id="edge23" class="edge">
<title>NASALib/CCG@scp&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M188.4,-102.09C203.49,-97.51 220,-92.5 220,-92.5 220,-92.5 965,-84.5 965,-84.5 965,-84.5 973.44,-72.9 982.14,-60.93"/>
<polygon fill="black" stroke="black" points="985.36,-63.46 988.41,-53.31 979.7,-59.34 985.36,-63.46"/>
</g>
<!-- NASALib/CCG@scp_to_ccg -->
<g id="node10" class="node">
<title>NASALib/CCG@scp_to_ccg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="68" cy="-259" rx="52.38" ry="18"/>
<text text-anchor="middle" x="68" y="-253.95" font-family="Times,serif" font-size="14.00">scp_to_ccg</text>
</g>
<!-- NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/CCG@cc_def -->
<g id="edge24" class="edge">
<title>NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/CCG@cc_def</title>
<path fill="none" stroke="black" d="M118,-181.5C118,-181.5 128,-92.5 128,-92.5 128,-92.5 157.19,-72.03 180.73,-55.52"/>
<polygon fill="black" stroke="black" points="182.55,-57.82 188.73,-49.21 178.53,-52.09 182.55,-57.82"/>
<path fill="none" stroke="black" d="M79.35,-241.09C94.1,-219.11 118,-183.5 118,-183.5"/>
</g>
<!-- NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/CCG@ccg -->
<g id="edge25" class="edge">
<title>NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/CCG@ccg</title>
<path fill="none" stroke="black" d="M98.72,-244.04C111.31,-238.31 123,-233 123,-233 123,-233 155.33,-214.6 180.58,-200.24"/>
<polygon fill="black" stroke="black" points="181.86,-202.97 188.82,-194.98 178.4,-196.88 181.86,-202.97"/>
</g>
<!-- NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/CCG@scp -->
<g id="edge26" class="edge">
<title>NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/CCG@scp</title>
<path fill="none" stroke="black" d="M118,-181.5C118,-181.5 134.39,-156.56 147.6,-136.46"/>
<polygon fill="black" stroke="black" points="151,-138.66 153.56,-128.38 145.15,-134.82 151,-138.66"/>
</g>
<!-- NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/digraphs -->
<g id="edge27" class="edge">
<title>NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M107.97,-247.04C119.96,-243.75 130,-241 130,-241 130,-241 587,-233 587,-233 587,-233 963,-111.5 963,-111.5"/>
<path fill="none" stroke="black" d="M963,-109.5C963,-109.5 987,-92.5 987,-92.5 987,-92.5 1037,-84.5 1037,-84.5 1037,-84.5 1046.56,-72.67 1056.33,-60.58"/>
<polygon fill="black" stroke="black" points="1059.45,-63.29 1063.01,-53.31 1054,-58.89 1059.45,-63.29"/>
</g>
<!-- NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/orders -->
<g id="edge28" class="edge">
<title>NASALib/CCG@scp_to_ccg&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M963,-109.5C963,-109.5 976.39,-83.26 987.27,-61.92"/>
<polygon fill="black" stroke="black" points="990.76,-63.78 992.19,-53.28 984.52,-60.6 990.76,-63.78"/>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt -->
<g id="node11" class="node">
<title>NASALib/CCG@scp_to_ccg_alt</title>
<ellipse fill="#e6f3ff" stroke="black" cx="205" cy="-259" rx="66.19" ry="18"/>
<text text-anchor="middle" x="205" y="-253.95" font-family="Times,serif" font-size="14.00">scp_to_ccg_alt</text>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/CCG@cc_def -->
<g id="edge29" class="edge">
<title>NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/CCG@cc_def</title>
<path fill="none" stroke="black" d="M231.2,-242.03C239.23,-237.13 246,-233 246,-233 246,-233 318,-128.5 318,-128.5 318,-128.5 328,-111.5 328,-111.5"/>
<path fill="none" stroke="black" d="M328,-109.5C328,-109.5 318,-92.5 318,-92.5 318,-92.5 275.12,-69.67 243.4,-52.78"/>
<polygon fill="black" stroke="black" points="245.44,-49.37 234.97,-47.76 242.15,-55.55 245.44,-49.37"/>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/CCG@ccg -->
<g id="edge30" class="edge">
<title>NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/CCG@ccg</title>
<path fill="none" stroke="black" d="M206.16,-240.72C206.74,-232.13 207.45,-221.53 208.1,-211.8"/>
<polygon fill="black" stroke="black" points="211.65,-212.16 208.83,-201.94 204.67,-211.69 211.65,-212.16"/>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/CCG@scp -->
<g id="edge31" class="edge">
<title>NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/CCG@scp</title>
<path fill="none" stroke="black" d="M184.5,-241.46C178.73,-236.81 174,-233 174,-233 174,-233 169.28,-175.6 166.32,-139.71"/>
<polygon fill="black" stroke="black" points="169.74,-139.59 165.43,-129.91 162.76,-140.16 169.74,-139.59"/>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/digraphs -->
<g id="edge32" class="edge">
<title>NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M254.61,-246.76C268.56,-243.59 280,-241 280,-241 280,-241 977,-233 977,-233 977,-233 1001,-111.5 1001,-111.5"/>
<path fill="none" stroke="black" d="M1001,-109.5C1001,-109.5 1037,-84.5 1037,-84.5 1037,-84.5 1046.56,-72.67 1056.33,-60.58"/>
<polygon fill="black" stroke="black" points="1059.45,-63.29 1063.01,-53.31 1054,-58.89 1059.45,-63.29"/>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/orders -->
<g id="edge33" class="edge">
<title>NASALib/CCG@scp_to_ccg_alt&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1001,-109.5C1001,-109.5 1001,-84.2 1001,-63.09"/>
<polygon fill="black" stroke="black" points="1004.5,-63.28 1001,-53.28 997.5,-63.28 1004.5,-63.28"/>
</g>
<!-- lib/finite_sets -->
<g id="node18" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="1138.75,-200.5 1067.25,-200.5 1067.25,-164.5 1138.75,-164.5 1138.75,-200.5"/>
<text text-anchor="middle" x="1103" y="-177.45" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/CCG@scp_to_ccg_alt&#45;&gt;lib/finite_sets -->
<g id="edge34" class="edge">
<title>NASALib/CCG@scp_to_ccg_alt&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M254.61,-246.76C268.56,-243.59 280,-241 280,-241 280,-241 1015,-233 1015,-233 1015,-233 1039.6,-219.16 1062.79,-206.12"/>
<polygon fill="black" stroke="black" points="1064.22,-208.77 1071.22,-200.81 1060.79,-202.66 1064.22,-208.77"/>
</g>
</g>
</svg>