diff options
Diffstat (limited to 'docs/lattice_if.svg')
| -rw-r--r-- | docs/lattice_if.svg | 405 |
1 files changed, 211 insertions, 194 deletions
diff --git a/docs/lattice_if.svg b/docs/lattice_if.svg index 1f6af94a..7e2e8fc1 100644 --- a/docs/lattice_if.svg +++ b/docs/lattice_if.svg @@ -4,262 +4,279 @@ <!-- Generated by graphviz version 12.2.0 (20241103.1931)
-->
<!-- Title: Lattice Pages: 1 -->
-<svg width="837pt" height="351pt"
- viewBox="0.00 0.00 836.60 350.81" 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 346.81)">
+<svg width="788pt" height="709pt"
+ viewBox="0.00 0.00 788.33 708.86" 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 704.86)">
<title>Lattice</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-346.81 832.6,-346.81 832.6,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-704.86 784.33,-704.86 784.33,4 -4,4"/>
<!-- TOP -->
<g id="node1" class="node">
<title>TOP</title>
-<ellipse fill="black" stroke="black" cx="451.6" cy="-321.68" rx="21.12" ry="21.12"/>
-<text text-anchor="start" x="443.72" y="-317.26" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊤</text>
+<ellipse fill="black" stroke="black" cx="389" cy="-679.73" rx="21.12" ry="21.12"/>
+<text text-anchor="start" x="381.12" y="-675.31" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊤</text>
</g>
<!-- INT_TOP -->
<g id="node3" class="node">
<title>INT_TOP</title>
-<ellipse fill="lightblue" stroke="black" cx="316.6" cy="-246.56" rx="33.95" ry="18"/>
-<text text-anchor="start" x="299.72" y="-242.51" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
-<text text-anchor="start" x="315.47" y="-242.51" font-family="Times New Roman,serif" font-size="14.00">:int</text>
+<ellipse fill="lightblue" stroke="black" cx="335" cy="-604.61" rx="33.95" ry="18"/>
+<text text-anchor="start" x="318.12" y="-600.56" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
+<text text-anchor="start" x="333.88" y="-600.56" font-family="Times New Roman,serif" font-size="14.00">:int</text>
</g>
<!-- TOP->INT_TOP -->
<g id="edge1" class="edge">
<title>TOP->INT_TOP</title>
-<path fill="none" stroke="black" d="M433.11,-310.67C411.69,-299.07 375.98,-279.72 349.73,-265.51"/>
-<polygon fill="black" stroke="black" points="351.62,-262.55 341.16,-260.86 348.29,-268.71 351.62,-262.55"/>
+<path fill="none" stroke="black" d="M376.75,-662.14C369.93,-652.91 361.31,-641.24 353.68,-630.9"/>
+<polygon fill="black" stroke="black" points="356.67,-629.07 347.92,-623.1 351.04,-633.23 356.67,-629.07"/>
</g>
<!-- FLT_TOP -->
<g id="node12" class="node">
<title>FLT_TOP</title>
-<ellipse fill="aqua" stroke="black" cx="669.6" cy="-246.56" rx="32.41" ry="18"/>
-<text text-anchor="start" x="653.85" y="-242.51" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
-<text text-anchor="start" x="669.6" y="-242.51" font-family="Times New Roman,serif" font-size="14.00">:flt</text>
+<ellipse fill="aqua" stroke="black" cx="502" cy="-604.61" rx="32.41" ry="18"/>
+<text text-anchor="start" x="486.25" y="-600.56" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
+<text text-anchor="start" x="502" y="-600.56" font-family="Times New Roman,serif" font-size="14.00">:flt</text>
</g>
<!-- TOP->FLT_TOP -->
-<g id="edge23" class="edge">
+<g id="edge15" class="edge">
<title>TOP->FLT_TOP</title>
-<path fill="none" stroke="black" d="M471.71,-313.93C508.04,-301.75 585.1,-275.9 631.61,-260.3"/>
-<polygon fill="black" stroke="black" points="632.65,-263.64 641.02,-257.14 630.43,-257.01 632.65,-263.64"/>
+<path fill="none" stroke="black" d="M406.66,-667.31C424.05,-656.05 450.95,-638.64 471.75,-625.18"/>
+<polygon fill="black" stroke="black" points="473.64,-628.13 480.13,-619.76 469.84,-622.25 473.64,-628.13"/>
</g>
<!-- BOT -->
<g id="node2" class="node">
<title>BOT</title>
-<ellipse fill="black" stroke="black" cx="451.6" cy="-21.12" rx="21.12" ry="21.12"/>
-<text text-anchor="start" x="443.72" y="-16.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊥</text>
+<ellipse fill="black" stroke="black" cx="394" cy="-21.12" rx="21.12" ry="21.12"/>
+<text text-anchor="start" x="386.12" y="-16.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊥</text>
</g>
-<!-- INT_MIN -->
+<!-- INT_HI -->
<g id="node5" class="node">
-<title>INT_MIN</title>
-<ellipse fill="lightblue" stroke="black" cx="18.6" cy="-171.4" rx="18.6" ry="18.6"/>
-<text text-anchor="middle" x="18.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">-n</text>
+<title>INT_HI</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-532.61" rx="52.89" ry="18"/>
+<text text-anchor="middle" x="211" y="-527.56" font-family="Times New Roman,serif" font-size="14.00">max < min</text>
</g>
-<!-- INT_TOP->INT_MIN -->
+<!-- INT_TOP->INT_HI -->
<g id="edge2" class="edge">
-<title>INT_TOP->INT_MIN</title>
-<path fill="none" stroke="black" d="M286.1,-238.07C228.49,-223.93 104.36,-193.46 47.78,-179.57"/>
-<polygon fill="black" stroke="black" points="48.79,-176.21 38.24,-177.23 47.12,-183.01 48.79,-176.21"/>
+<title>INT_TOP->INT_HI</title>
+<path fill="none" stroke="black" d="M312.26,-590.77C294.11,-580.53 268.34,-565.98 247.34,-554.13"/>
+<polygon fill="black" stroke="black" points="249.22,-551.17 238.79,-549.3 245.78,-557.26 249.22,-551.17"/>
</g>
-<!-- INT_MINDOTS -->
+<!-- INT_BOT -->
+<g id="node4" class="node">
+<title>INT_BOT</title>
+<ellipse fill="lightblue" stroke="black" cx="340" cy="-96.25" rx="33.95" ry="18"/>
+<text text-anchor="start" x="323.12" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
+<text text-anchor="start" x="338.88" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:int</text>
+</g>
+<!-- INT_BOT->BOT -->
+<g id="edge12" class="edge">
+<title>INT_BOT->BOT</title>
+<path fill="none" stroke="black" d="M351.98,-79.02C358.74,-69.87 367.34,-58.23 374.99,-47.87"/>
+<polygon fill="black" stroke="black" points="377.65,-50.16 380.78,-40.03 372.02,-46 377.65,-50.16"/>
+</g>
+<!-- INT_XBOOL -->
<g id="node6" class="node">
-<title>INT_MINDOTS</title>
-<ellipse fill="lightblue" stroke="black" cx="107.6" cy="-171.4" rx="27" ry="18"/>
-<text text-anchor="middle" x="107.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">...</text>
+<title>INT_XBOOL</title>
+<ellipse fill="lightblue" stroke="black" cx="97" cy="-450.29" rx="27.81" ry="18"/>
+<text text-anchor="middle" x="97" y="-445.24" font-family="Times New Roman,serif" font-size="14.00">1...0</text>
</g>
-<!-- INT_TOP->INT_MINDOTS -->
+<!-- INT_HI->INT_XBOOL -->
<g id="edge3" class="edge">
-<title>INT_TOP->INT_MINDOTS</title>
-<path fill="none" stroke="black" d="M288.84,-235.84C250.98,-222.59 183.17,-198.86 142.09,-184.48"/>
-<polygon fill="black" stroke="black" points="143.28,-181.19 132.69,-181.19 140.97,-187.79 143.28,-181.19"/>
+<title>INT_HI->INT_XBOOL</title>
+<path fill="none" stroke="black" d="M188.75,-515.93C170.46,-503.04 144.44,-484.72 124.78,-470.87"/>
+<polygon fill="black" stroke="black" points="126.86,-468.05 116.67,-465.15 122.83,-473.77 126.86,-468.05"/>
</g>
-<!-- INT_MINUS -->
+<!-- INT_CON -->
<g id="node7" class="node">
-<title>INT_MINUS</title>
-<ellipse fill="lightblue" stroke="black" cx="196.6" cy="-171.4" rx="18.6" ry="18.6"/>
-<text text-anchor="middle" x="196.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">-1</text>
+<title>INT_CON</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-345.31" rx="52.89" ry="18"/>
+<text text-anchor="middle" x="211" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">constants...</text>
</g>
-<!-- INT_TOP->INT_MINUS -->
-<g id="edge4" class="edge">
-<title>INT_TOP->INT_MINUS</title>
-<path fill="none" stroke="black" d="M294.86,-232.31C274.43,-219.85 243.84,-201.21 222.23,-188.03"/>
-<polygon fill="black" stroke="black" points="224.08,-185.06 213.71,-182.84 220.43,-191.03 224.08,-185.06"/>
+<!-- INT_HI->INT_CON -->
+<g id="edge6" class="edge">
+<title>INT_HI->INT_CON</title>
+<path fill="none" stroke="black" d="M211,-514.31C211,-481.93 211,-414.27 211,-375.09"/>
+<polygon fill="black" stroke="black" points="214.5,-375.2 211,-365.2 207.5,-375.2 214.5,-375.2"/>
</g>
-<!-- INT_ZERO -->
+<!-- INT_CON0 -->
<g id="node8" class="node">
-<title>INT_ZERO</title>
-<ellipse fill="lightblue" stroke="black" cx="276.6" cy="-171.4" rx="18" ry="18"/>
-<text text-anchor="middle" x="276.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">0</text>
+<title>INT_CON0</title>
+<ellipse fill="lightblue" stroke="black" cx="18" cy="-345.31" rx="18" ry="18"/>
+<text text-anchor="middle" x="18" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">0</text>
</g>
-<!-- INT_TOP->INT_ZERO -->
-<g id="edge5" class="edge">
-<title>INT_TOP->INT_ZERO</title>
-<path fill="none" stroke="black" d="M307.52,-228.96C302.4,-219.6 295.91,-207.72 290.19,-197.27"/>
-<polygon fill="black" stroke="black" points="293.41,-195.87 285.55,-188.77 287.27,-199.23 293.41,-195.87"/>
+<!-- INT_XBOOL->INT_CON0 -->
+<g id="edge4" class="edge">
+<title>INT_XBOOL->INT_CON0</title>
+<path fill="none" stroke="black" d="M85,-433.65C71.8,-416.44 50.45,-388.61 35.41,-369"/>
+<polygon fill="black" stroke="black" points="38.38,-367.12 29.51,-361.32 32.82,-371.38 38.38,-367.12"/>
</g>
-<!-- INT_PLUS -->
+<!-- INT_CON1 -->
<g id="node9" class="node">
-<title>INT_PLUS</title>
-<ellipse fill="lightblue" stroke="black" cx="355.6" cy="-171.4" rx="18" ry="18"/>
-<text text-anchor="middle" x="355.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">1</text>
+<title>INT_CON1</title>
+<ellipse fill="lightblue" stroke="black" cx="97" cy="-345.31" rx="18" ry="18"/>
+<text text-anchor="middle" x="97" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">1</text>
</g>
-<!-- INT_TOP->INT_PLUS -->
-<g id="edge6" class="edge">
-<title>INT_TOP->INT_PLUS</title>
-<path fill="none" stroke="black" d="M325.45,-228.96C330.32,-219.82 336.47,-208.29 341.94,-198.02"/>
-<polygon fill="black" stroke="black" points="344.99,-199.74 346.6,-189.27 338.81,-196.45 344.99,-199.74"/>
+<!-- INT_XBOOL->INT_CON1 -->
+<g id="edge5" class="edge">
+<title>INT_XBOOL->INT_CON1</title>
+<path fill="none" stroke="black" d="M97,-431.82C97,-416.27 97,-393.22 97,-374.97"/>
+<polygon fill="black" stroke="black" points="100.5,-375.04 97,-365.04 93.5,-375.04 100.5,-375.04"/>
+</g>
+<!-- INT_LO -->
+<g id="node11" class="node">
+<title>INT_LO</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-168.25" rx="52.89" ry="18"/>
+<text text-anchor="middle" x="211" y="-163.2" font-family="Times New Roman,serif" font-size="14.00">max > min</text>
+</g>
+<!-- INT_CON->INT_LO -->
+<g id="edge10" class="edge">
+<title>INT_CON->INT_LO</title>
+<path fill="none" stroke="black" d="M211,-327.03C211,-296.55 211,-235.05 211,-198.18"/>
+<polygon fill="black" stroke="black" points="214.5,-198.21 211,-188.21 207.5,-198.21 214.5,-198.21"/>
</g>
-<!-- INT_MAXDOTS -->
+<!-- INT_CON0->INT_CON1 -->
+<!-- INT_BOOL -->
<g id="node10" class="node">
-<title>INT_MAXDOTS</title>
-<ellipse fill="lightblue" stroke="black" cx="443.6" cy="-171.4" rx="27" ry="18"/>
-<text text-anchor="middle" x="443.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">...</text>
+<title>INT_BOOL</title>
+<ellipse fill="lightblue" stroke="black" cx="97" cy="-245.45" rx="27.81" ry="18"/>
+<text text-anchor="middle" x="97" y="-240.4" font-family="Times New Roman,serif" font-size="14.00">0...1</text>
</g>
-<!-- INT_TOP->INT_MAXDOTS -->
+<!-- INT_CON0->INT_BOOL -->
<g id="edge7" class="edge">
-<title>INT_TOP->INT_MAXDOTS</title>
-<path fill="none" stroke="black" d="M339.01,-232.65C359.76,-220.7 390.76,-202.84 413.63,-189.66"/>
-<polygon fill="black" stroke="black" points="415.27,-192.76 422.19,-184.73 411.77,-186.69 415.27,-192.76"/>
+<title>INT_CON0->INT_BOOL</title>
+<path fill="none" stroke="black" d="M28.98,-330.7C41.46,-315.25 62.06,-289.73 77.33,-270.81"/>
+<polygon fill="black" stroke="black" points="80.04,-273.03 83.6,-263.05 74.59,-268.64 80.04,-273.03"/>
</g>
-<!-- INT_MAX -->
-<g id="node11" class="node">
-<title>INT_MAX</title>
-<ellipse fill="lightblue" stroke="black" cx="534.6" cy="-171.4" rx="21.15" ry="21.15"/>
-<text text-anchor="middle" x="534.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">+n</text>
-</g>
-<!-- INT_TOP->INT_MAX -->
+<!-- INT_CON1->INT_CON -->
+<!-- INT_CON1->INT_BOOL -->
<g id="edge8" class="edge">
-<title>INT_TOP->INT_MAX</title>
-<path fill="none" stroke="black" d="M344.65,-236.14C385.52,-222.43 461.18,-197.04 503.63,-182.79"/>
-<polygon fill="black" stroke="black" points="504.62,-186.15 512.98,-179.66 502.39,-179.52 504.62,-186.15"/>
-</g>
-<!-- INT_BOT -->
-<g id="node4" class="node">
-<title>INT_BOT</title>
-<ellipse fill="lightblue" stroke="black" cx="316.6" cy="-96.25" rx="33.95" ry="18"/>
-<text text-anchor="start" x="299.72" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
-<text text-anchor="start" x="315.47" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:int</text>
+<title>INT_CON1->INT_BOOL</title>
+<path fill="none" stroke="black" d="M97,-326.82C97,-312.48 97,-291.91 97,-275.16"/>
+<polygon fill="black" stroke="black" points="100.5,-275.31 97,-265.31 93.5,-275.31 100.5,-275.31"/>
</g>
-<!-- INT_BOT->BOT -->
-<g id="edge16" class="edge">
-<title>INT_BOT->BOT</title>
-<path fill="none" stroke="black" d="M339.8,-82.68C362.89,-70.17 398.36,-50.96 423.13,-37.54"/>
-<polygon fill="black" stroke="black" points="424.57,-40.74 431.7,-32.9 421.24,-34.59 424.57,-40.74"/>
-</g>
-<!-- INT_MIN->INT_BOT -->
+<!-- INT_BOOL->INT_LO -->
<g id="edge9" class="edge">
-<title>INT_MIN->INT_BOT</title>
-<path fill="none" stroke="black" d="M36.79,-165.94C83.64,-154.44 209.35,-123.58 275.15,-107.42"/>
-<polygon fill="black" stroke="black" points="275.98,-110.82 284.85,-105.04 274.31,-104.03 275.98,-110.82"/>
+<title>INT_BOOL->INT_LO</title>
+<path fill="none" stroke="black" d="M116.08,-231.86C132.97,-220.72 157.98,-204.22 178.09,-190.96"/>
+<polygon fill="black" stroke="black" points="179.83,-194.01 186.25,-185.58 175.97,-188.16 179.83,-194.01"/>
</g>
-<!-- INT_MIN->INT_MINDOTS -->
-<!-- INT_MINDOTS->INT_BOT -->
-<g id="edge10" class="edge">
-<title>INT_MINDOTS->INT_BOT</title>
-<path fill="none" stroke="black" d="M131.16,-162.15C166.91,-149.64 235.21,-125.73 278.2,-110.69"/>
-<polygon fill="black" stroke="black" points="279.1,-114.08 287.38,-107.47 276.79,-107.47 279.1,-114.08"/>
-</g>
-<!-- INT_MINDOTS->INT_MINUS -->
-<!-- INT_MINUS->INT_BOT -->
+<!-- INT_LO->INT_BOT -->
<g id="edge11" class="edge">
-<title>INT_MINUS->INT_BOT</title>
-<path fill="none" stroke="black" d="M212.28,-160.84C230.74,-149.59 261.83,-130.63 285.28,-116.34"/>
-<polygon fill="black" stroke="black" points="286.79,-119.51 293.51,-111.32 283.15,-113.54 286.79,-119.51"/>
+<title>INT_LO->INT_BOT</title>
+<path fill="none" stroke="black" d="M238.36,-152.4C258.44,-141.5 285.81,-126.65 307.09,-115.1"/>
+<polygon fill="black" stroke="black" points="308.54,-118.3 315.66,-110.45 305.2,-112.15 308.54,-118.3"/>
</g>
-<!-- INT_MINUS->INT_ZERO -->
-<!-- INT_ZERO->INT_BOT -->
-<g id="edge12" class="edge">
-<title>INT_ZERO->INT_BOT</title>
-<path fill="none" stroke="black" d="M284.88,-155.25C289.83,-146.21 296.24,-134.47 302.01,-123.92"/>
-<polygon fill="black" stroke="black" points="305.03,-125.7 306.76,-115.24 298.89,-122.34 305.03,-125.7"/>
-</g>
-<!-- INT_ZERO->INT_PLUS -->
-<!-- INT_PLUS->INT_BOT -->
-<g id="edge13" class="edge">
-<title>INT_PLUS->INT_BOT</title>
-<path fill="none" stroke="black" d="M347.32,-154.89C342.53,-145.89 336.36,-134.32 330.81,-123.9"/>
-<polygon fill="black" stroke="black" points="334.04,-122.53 326.25,-115.35 327.86,-125.82 334.04,-122.53"/>
-</g>
-<!-- INT_PLUS->INT_MAXDOTS -->
-<!-- INT_MAXDOTS->INT_BOT -->
-<g id="edge14" class="edge">
-<title>INT_MAXDOTS->INT_BOT</title>
-<path fill="none" stroke="black" d="M423.47,-158.81C403.37,-147.23 372.15,-129.25 348.63,-115.7"/>
-<polygon fill="black" stroke="black" points="350.48,-112.73 340.07,-110.77 346.99,-118.79 350.48,-112.73"/>
-</g>
-<!-- INT_MAXDOTS->INT_MAX -->
-<!-- INT_MAX->INT_BOT -->
-<g id="edge15" class="edge">
-<title>INT_MAX->INT_BOT</title>
-<path fill="none" stroke="black" d="M514.48,-163.65C478.45,-151.56 402.33,-126.02 355.71,-110.37"/>
-<polygon fill="black" stroke="black" points="356.84,-107.06 346.25,-107.2 354.62,-113.7 356.84,-107.06"/>
-</g>
-<!-- FLT_MINDOTS -->
+<!-- FLT_CON64 -->
<g id="node14" class="node">
-<title>FLT_MINDOTS</title>
-<ellipse fill="aqua" stroke="black" cx="625.6" cy="-171.4" rx="27" ry="18"/>
-<text text-anchor="middle" x="625.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">...</text>
-</g>
-<!-- FLT_TOP->FLT_MINDOTS -->
-<g id="edge24" class="edge">
-<title>FLT_TOP->FLT_MINDOTS</title>
-<path fill="none" stroke="black" d="M659.61,-228.96C654.17,-219.92 647.32,-208.52 641.19,-198.34"/>
-<polygon fill="black" stroke="black" points="644.32,-196.75 636.17,-189.98 638.32,-200.36 644.32,-196.75"/>
-</g>
-<!-- FLT_ZERO -->
-<g id="node15" class="node">
-<title>FLT_ZERO</title>
-<ellipse fill="aqua" stroke="black" cx="713.6" cy="-171.4" rx="18" ry="18"/>
-<text text-anchor="middle" x="713.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">0</text>
+<title>FLT_CON64</title>
+<ellipse fill="aqua" stroke="black" cx="725" cy="-345.31" rx="55.33" ry="40.66"/>
+<text text-anchor="middle" x="725" y="-356.76" font-family="Times New Roman,serif" font-size="14.00">64b consts</text>
+<text text-anchor="middle" x="725" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">[excludes</text>
+<text text-anchor="middle" x="725" y="-323.76" font-family="Times New Roman,serif" font-size="14.00">32b consts]</text>
</g>
-<!-- FLT_TOP->FLT_ZERO -->
-<g id="edge25" class="edge">
-<title>FLT_TOP->FLT_ZERO</title>
-<path fill="none" stroke="black" d="M679.58,-228.96C685.21,-219.6 692.35,-207.72 698.64,-197.27"/>
-<polygon fill="black" stroke="black" points="701.61,-199.11 703.77,-188.74 695.62,-195.51 701.61,-199.11"/>
+<!-- FLT_TOP->FLT_CON64 -->
+<g id="edge16" class="edge">
+<title>FLT_TOP->FLT_CON64</title>
+<path fill="none" stroke="black" d="M516.29,-587.99C550.39,-548.34 637.45,-447.11 687.7,-388.69"/>
+<polygon fill="black" stroke="black" points="690.28,-391.05 694.15,-381.19 684.97,-386.49 690.28,-391.05"/>
</g>
-<!-- FLT_MAXDOTS -->
+<!-- FLT_CONPI -->
<g id="node16" class="node">
-<title>FLT_MAXDOTS</title>
-<ellipse fill="aqua" stroke="black" cx="801.6" cy="-171.4" rx="27" ry="18"/>
-<text text-anchor="middle" x="801.6" y="-166.35" font-family="Times New Roman,serif" font-size="14.00">...</text>
-</g>
-<!-- FLT_TOP->FLT_MAXDOTS -->
-<g id="edge26" class="edge">
-<title>FLT_TOP->FLT_MAXDOTS</title>
-<path fill="none" stroke="black" d="M691.99,-233.15C713.77,-221.07 747.03,-202.64 771.2,-189.25"/>
-<polygon fill="black" stroke="black" points="772.89,-192.31 779.94,-184.4 769.5,-186.19 772.89,-192.31"/>
+<title>FLT_CONPI</title>
+<ellipse fill="aqua" stroke="black" cx="578" cy="-345.31" rx="48.79" ry="18"/>
+<text text-anchor="middle" x="578" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">3.14159...</text>
+</g>
+<!-- FLT_TOP->FLT_CONPI -->
+<g id="edge17" class="edge">
+<title>FLT_TOP->FLT_CONPI</title>
+<path fill="none" stroke="black" d="M507.34,-586.38C520.34,-542.02 553.71,-428.19 569.49,-374.35"/>
+<polygon fill="black" stroke="black" points="572.78,-375.56 572.24,-364.98 566.06,-373.59 572.78,-375.56"/>
+</g>
+<!-- FLT_X32 -->
+<g id="node17" class="node">
+<title>FLT_X32</title>
+<ellipse fill="aqua" stroke="black" cx="436" cy="-450.29" rx="28.32" ry="28.32"/>
+<text text-anchor="middle" x="436" y="-445.24" font-family="Times New Roman,serif" font-size="14.00">~f32</text>
+</g>
+<!-- FLT_TOP->FLT_X32 -->
+<g id="edge20" class="edge">
+<title>FLT_TOP->FLT_X32</title>
+<path fill="none" stroke="black" d="M494.43,-586.91C484.07,-562.69 465.23,-518.63 451.74,-487.1"/>
+<polygon fill="black" stroke="black" points="454.96,-485.73 447.81,-477.91 448.53,-488.48 454.96,-485.73"/>
</g>
<!-- FLT_BOT -->
<g id="node13" class="node">
<title>FLT_BOT</title>
-<ellipse fill="aqua" stroke="black" cx="669.6" cy="-96.25" rx="32.41" ry="18"/>
-<text text-anchor="start" x="653.85" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
-<text text-anchor="start" x="669.6" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:flt</text>
+<ellipse fill="aqua" stroke="black" cx="507" cy="-96.25" rx="32.41" ry="18"/>
+<text text-anchor="start" x="491.25" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
+<text text-anchor="start" x="507" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:flt</text>
</g>
<!-- FLT_BOT->BOT -->
-<g id="edge30" class="edge">
+<g id="edge26" class="edge">
<title>FLT_BOT->BOT</title>
-<path fill="none" stroke="black" d="M642.43,-86.13C601.76,-72.49 525.27,-46.84 482.51,-32.49"/>
-<polygon fill="black" stroke="black" points="483.69,-29.2 473.09,-29.33 481.46,-35.83 483.69,-29.2"/>
-</g>
-<!-- FLT_MINDOTS->FLT_BOT -->
-<g id="edge27" class="edge">
-<title>FLT_MINDOTS->FLT_BOT</title>
-<path fill="none" stroke="black" d="M635.36,-154.17C640.79,-145.14 647.68,-133.68 653.85,-123.42"/>
-<polygon fill="black" stroke="black" points="656.77,-125.36 658.93,-114.99 650.77,-121.75 656.77,-125.36"/>
-</g>
-<!-- FLT_MINDOTS->FLT_ZERO -->
-<!-- FLT_ZERO->FLT_BOT -->
-<g id="edge28" class="edge">
-<title>FLT_ZERO->FLT_BOT</title>
-<path fill="none" stroke="black" d="M704.69,-155.6C699.17,-146.42 691.93,-134.37 685.45,-123.61"/>
-<polygon fill="black" stroke="black" points="688.49,-121.88 680.34,-115.11 682.5,-125.49 688.49,-121.88"/>
-</g>
-<!-- FLT_ZERO->FLT_MAXDOTS -->
-<!-- FLT_MAXDOTS->FLT_BOT -->
-<g id="edge29" class="edge">
-<title>FLT_MAXDOTS->FLT_BOT</title>
-<path fill="none" stroke="black" d="M781.26,-159.13C760.12,-147.42 726.74,-128.92 701.97,-115.19"/>
-<polygon fill="black" stroke="black" points="703.71,-112.15 693.27,-110.37 700.32,-118.28 703.71,-112.15"/>
+<path fill="none" stroke="black" d="M486.54,-82.01C468.15,-70.11 441.01,-52.55 420.88,-39.52"/>
+<polygon fill="black" stroke="black" points="422.92,-36.67 412.62,-34.17 419.11,-42.55 422.92,-36.67"/>
+</g>
+<!-- FLT_CON64->FLT_BOT -->
+<g id="edge18" class="edge">
+<title>FLT_CON64->FLT_BOT</title>
+<path fill="none" stroke="black" d="M694.92,-310.94C650.44,-260.13 568.19,-166.15 528.94,-121.32"/>
+<polygon fill="black" stroke="black" points="531.69,-119.14 522.47,-113.92 526.42,-123.75 531.69,-119.14"/>
+</g>
+<!-- FLT_CON32 -->
+<g id="node15" class="node">
+<title>FLT_CON32</title>
+<ellipse fill="aqua" stroke="black" cx="436" cy="-345.31" rx="50.33" ry="18"/>
+<text text-anchor="middle" x="436" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">32b consts</text>
+</g>
+<!-- FLT_CON32->FLT_CONPI -->
+<!-- FLT_32 -->
+<g id="node19" class="node">
+<title>FLT_32</title>
+<ellipse fill="aqua" stroke="black" cx="436" cy="-245.45" rx="23.2" ry="23.2"/>
+<text text-anchor="middle" x="436" y="-240.4" font-family="Times New Roman,serif" font-size="14.00">f32</text>
+</g>
+<!-- FLT_CON32->FLT_32 -->
+<g id="edge24" class="edge">
+<title>FLT_CON32->FLT_32</title>
+<path fill="none" stroke="black" d="M436,-326.82C436,-313.94 436,-296.02 436,-280.37"/>
+<polygon fill="black" stroke="black" points="439.5,-280.47 436,-270.47 432.5,-280.47 439.5,-280.47"/>
+</g>
+<!-- FLT_CONPI->FLT_BOT -->
+<g id="edge19" class="edge">
+<title>FLT_CONPI->FLT_BOT</title>
+<path fill="none" stroke="black" d="M572.78,-327C560.57,-284.16 530.06,-177.15 515.28,-125.31"/>
+<polygon fill="black" stroke="black" points="518.66,-124.37 512.55,-115.71 511.92,-126.29 518.66,-124.37"/>
+</g>
+<!-- FLT_CONPI->FLT_CON64 -->
+<!-- FLT_X32->FLT_CON32 -->
+<g id="edge22" class="edge">
+<title>FLT_X32->FLT_CON32</title>
+<path fill="none" stroke="black" d="M436,-421.69C436,-407.26 436,-389.62 436,-375.03"/>
+<polygon fill="black" stroke="black" points="439.5,-375.14 436,-365.14 432.5,-375.14 439.5,-375.14"/>
+</g>
+<!-- FLT_CON0 -->
+<g id="node18" class="node">
+<title>FLT_CON0</title>
+<ellipse fill="aqua" stroke="black" cx="325" cy="-345.31" rx="18.08" ry="18.08"/>
+<text text-anchor="middle" x="325" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">0.</text>
+</g>
+<!-- FLT_X32->FLT_CON0 -->
+<g id="edge21" class="edge">
+<title>FLT_X32->FLT_CON0</title>
+<path fill="none" stroke="black" d="M415.38,-430.16C395.7,-411.9 366.18,-384.51 346.28,-366.05"/>
+<polygon fill="black" stroke="black" points="348.7,-363.53 338.99,-359.29 343.94,-368.66 348.7,-363.53"/>
+</g>
+<!-- FLT_CON0->FLT_CON32 -->
+<!-- FLT_CON0->FLT_32 -->
+<g id="edge23" class="edge">
+<title>FLT_CON0->FLT_32</title>
+<path fill="none" stroke="black" d="M338.17,-332.7C355.91,-317.06 387.87,-288.88 410.42,-269"/>
+<polygon fill="black" stroke="black" points="412.53,-271.81 417.72,-262.57 407.9,-266.56 412.53,-271.81"/>
+</g>
+<!-- FLT_32->FLT_BOT -->
+<g id="edge25" class="edge">
+<title>FLT_32->FLT_BOT</title>
+<path fill="none" stroke="black" d="M446.17,-224.07C458.68,-197.78 479.96,-153.08 493.74,-124.12"/>
+<polygon fill="black" stroke="black" points="496.83,-125.76 497.97,-115.22 490.51,-122.75 496.83,-125.76"/>
</g>
</g>
</svg>
|
