HowToCalculateChangeableInstanceTest-explained.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 2.43.0 (0)
 -->
<!-- Title: rules Pages: 1 -->
<svg width="1147px" height="314px"
 viewBox="0.00 0.00 1147.00 314.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1.0 1.0) rotate(0.0) translate(4.0 310.0)">
<title>rules</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-310 1143,-310 1143,4 -4,4"/>
<!-- id0 -->
<g id="node1" class="node">
<title>id0</title>
<polygon fill="#cfcfcf" stroke="black" points="146.5,-306 8.5,-306 8.5,-270 146.5,-270 146.5,-306"/>
<text text-anchor="middle" x="77.5" y="-284.3" font-family="Times,serif" font-size="14.00">Item.price() {Item#0}</text>
</g>
<!-- id7 -->
<g id="node8" class="node">
<title>id7</title>
<polygon fill="lightskyblue" stroke="black" points="286,-252 191,-252 191,-216 286,-216 286,-252"/>
<text text-anchor="middle" x="238.5" y="-230.3" font-family="Times,serif" font-size="14.00">price*quantity</text>
</g>
<!-- id0&#45;&gt;id7 -->
<g id="edge2" class="edge">
<title>id0&#45;&gt;id7</title>
<path fill="none" stroke="black" d="M131.89,-269.87C147.73,-264.49 165.12,-258.58 181.14,-253.14"/>
<polygon fill="black" stroke="black" points="182.57,-256.35 190.91,-249.82 180.32,-249.72 182.57,-256.35"/>
</g>
<!-- id1 -->
<g id="node2" class="node">
<title>id1</title>
<polygon fill="#cfcfcf" stroke="black" points="155,-252 0,-252 0,-216 155,-216 155,-252"/>
<text text-anchor="middle" x="77.5" y="-230.3" font-family="Times,serif" font-size="14.00">Item.quantity() {Item#0}</text>
</g>
<!-- id1&#45;&gt;id7 -->
<g id="edge3" class="edge">
<title>id1&#45;&gt;id7</title>
<path fill="none" stroke="black" d="M155.21,-234C163.8,-234 172.45,-234 180.73,-234"/>
<polygon fill="black" stroke="black" points="181,-237.5 191,-234 181,-230.5 181,-237.5"/>
</g>
<!-- id2 -->
<g id="node3" class="node">
<title>id2</title>
<polygon fill="#cfcfcf" stroke="black" points="146.5,-198 8.5,-198 8.5,-162 146.5,-162 146.5,-198"/>
<text text-anchor="middle" x="77.5" y="-176.3" font-family="Times,serif" font-size="14.00">Item.price() {Item#1}</text>
</g>
<!-- id12 -->
<g id="node13" class="node">
<title>id12</title>
<polygon fill="lightskyblue" stroke="black" points="286,-171 191,-171 191,-135 286,-135 286,-171"/>
<text text-anchor="middle" x="238.5" y="-149.3" font-family="Times,serif" font-size="14.00">price*quantity</text>
</g>
<!-- id2&#45;&gt;id12 -->
<g id="edge8" class="edge">
<title>id2&#45;&gt;id12</title>
<path fill="none" stroke="black" d="M146.85,-168.39C158.19,-166.47 169.85,-164.49 180.86,-162.62"/>
<polygon fill="black" stroke="black" points="181.49,-166.06 190.76,-160.94 180.32,-159.16 181.49,-166.06"/>
</g>
<!-- id3 -->
<g id="node4" class="node">
<title>id3</title>
<polygon fill="#cfcfcf" stroke="black" points="155,-144 0,-144 0,-108 155,-108 155,-144"/>
<text text-anchor="middle" x="77.5" y="-122.3" font-family="Times,serif" font-size="14.00">Item.quantity() {Item#1}</text>
</g>
<!-- id3&#45;&gt;id12 -->
<g id="edge9" class="edge">
<title>id3&#45;&gt;id12</title>
<path fill="none" stroke="black" d="M155.21,-139.03C163.9,-140.5 172.64,-141.99 181.01,-143.41"/>
<polygon fill="black" stroke="black" points="180.55,-146.88 191,-145.1 181.73,-139.98 180.55,-146.88"/>
</g>
<!-- id4 -->
<g id="node5" class="node">
<title>id4</title>
<polygon fill="#cfcfcf" stroke="black" points="146.5,-90 8.5,-90 8.5,-54 146.5,-54 146.5,-90"/>
<text text-anchor="middle" x="77.5" y="-68.3" font-family="Times,serif" font-size="14.00">Item.price() {Item#2}</text>
</g>
<!-- id16 -->
<g id="node17" class="node">
<title>id16</title>
<polygon fill="lightskyblue" stroke="black" points="286,-90 191,-90 191,-54 286,-54 286,-90"/>
<text text-anchor="middle" x="238.5" y="-68.3" font-family="Times,serif" font-size="14.00">price*quantity</text>
</g>
<!-- id4&#45;&gt;id16 -->
<g id="edge14" class="edge">
<title>id4&#45;&gt;id16</title>
<path fill="none" stroke="black" d="M146.85,-72C158.08,-72 169.61,-72 180.52,-72"/>
<polygon fill="black" stroke="black" points="180.76,-75.5 190.76,-72 180.76,-68.5 180.76,-75.5"/>
</g>
<!-- id5 -->
<g id="node6" class="node">
<title>id5</title>
<polygon fill="#cfcfcf" stroke="black" points="155,-36 0,-36 0,0 155,0 155,-36"/>
<text text-anchor="middle" x="77.5" y="-14.3" font-family="Times,serif" font-size="14.00">Item.quantity() {Item#2}</text>
</g>
<!-- id5&#45;&gt;id16 -->
<g id="edge15" class="edge">
<title>id5&#45;&gt;id16</title>
<path fill="none" stroke="black" d="M131.89,-36.13C147.73,-41.51 165.12,-47.42 181.14,-52.86"/>
<polygon fill="black" stroke="black" points="180.32,-56.28 190.91,-56.18 182.57,-49.65 180.32,-56.28"/>
</g>
<!-- id6 -->
<g id="node7" class="node">
<title>id6</title>
<polygon fill="#cfcfcf" stroke="black" points="468,-225 322,-225 322,-189 468,-189 468,-225"/>
<text text-anchor="middle" x="395" y="-203.3" font-family="Times,serif" font-size="14.00">Item.sum#rw {Item#0}</text>
</g>
<!-- id9 -->
<g id="node10" class="node">
<title>id9</title>
<polygon fill="lightskyblue" stroke="black" points="921,-217 843,-217 843,-181 921,-181 921,-217"/>
<text text-anchor="middle" x="882" y="-195.3" font-family="Times,serif" font-size="14.00">min==sum</text>
</g>
<!-- id6&#45;&gt;id9 -->
<g id="edge6" class="edge">
<title>id6&#45;&gt;id9</title>
<path fill="none" stroke="black" d="M457.19,-225.06C472.35,-228.77 488.65,-232.11 504,-234 637.66,-250.45 675.61,-263.51 807,-234 818.69,-231.37 830.71,-226.68 841.57,-221.57"/>
<polygon fill="black" stroke="black" points="843.36,-224.58 850.77,-217.01 840.26,-218.31 843.36,-224.58"/>
</g>
<!-- id20 -->
<g id="node21" class="node">
<title>id20</title>
<polygon fill="lightskyblue" stroke="black" points="564,-225 504,-225 504,-189 564,-189 564,-225"/>
<text text-anchor="middle" x="534" y="-203.3" font-family="Times,serif" font-size="14.00">sum(...)</text>
</g>
<!-- id6&#45;&gt;id20 -->
<g id="edge20" class="edge">
<title>id6&#45;&gt;id20</title>
<path fill="none" stroke="black" d="M468.11,-207C476.9,-207 485.6,-207 493.65,-207"/>
<polygon fill="black" stroke="black" points="493.8,-210.5 503.8,-207 493.8,-203.5 493.8,-210.5"/>
</g>
<!-- id21 -->
<g id="node22" class="node">
<title>id21</title>
<polygon fill="lightskyblue" stroke="black" points="561,-117 507,-117 507,-81 561,-81 561,-117"/>
<text text-anchor="middle" x="534" y="-95.3" font-family="Times,serif" font-size="14.00">min</text>
</g>
<!-- id6&#45;&gt;id21 -->
<g id="edge24" class="edge">
<title>id6&#45;&gt;id21</title>
<path fill="none" stroke="black" d="M454.34,-188.86C459.18,-186.26 463.82,-183.32 468,-180 490.59,-162.07 485.32,-147.98 504,-126 504.48,-125.43 504.98,-124.86 505.49,-124.29"/>
<polygon fill="black" stroke="black" points="508.06,-126.67 512.43,-117.01 502.99,-121.83 508.06,-126.67"/>
</g>
<!-- id23 -->
<g id="node24" class="node">
<title>id23</title>
<polygon fill="lightskyblue" stroke="black" points="561,-171 507,-171 507,-135 561,-135 561,-171"/>
<text text-anchor="middle" x="534" y="-149.3" font-family="Times,serif" font-size="14.00">max</text>
</g>
<!-- id6&#45;&gt;id23 -->
<g id="edge28" class="edge">
<title>id6&#45;&gt;id23</title>
<path fill="none" stroke="black" d="M444.89,-188.93C452.64,-185.99 460.55,-182.94 468,-180 477.63,-176.19 488.01,-171.95 497.58,-167.97"/>
<polygon fill="black" stroke="black" points="498.95,-171.19 506.83,-164.11 496.26,-164.73 498.95,-171.19"/>
</g>
<!-- id7&#45;&gt;id6 -->
<g id="edge1" class="edge">
<title>id7&#45;&gt;id6</title>
<path fill="none" stroke="black" d="M286.27,-225.83C294.41,-224.4 303.07,-222.89 311.82,-221.36"/>
<polygon fill="black" stroke="black" points="312.47,-224.8 321.72,-219.63 311.26,-217.91 312.47,-224.8"/>
</g>
<!-- id8 -->
<g id="node9" class="node">
<title>id8</title>
<polygon fill="#cfcfcf" stroke="black" points="1139,-217 957,-217 957,-181 1139,-181 1139,-217"/>
<text text-anchor="middle" x="1048" y="-195.3" font-family="Times,serif" font-size="14.00">Item.isCheapest#rw {Item#0}</text>
</g>
<!-- id9&#45;&gt;id8 -->
<g id="edge4" class="edge">
<title>id9&#45;&gt;id8</title>
<path fill="none" stroke="black" d="M921.04,-199C928.94,-199 937.62,-199 946.62,-199"/>
<polygon fill="black" stroke="black" points="946.87,-202.5 956.87,-199 946.87,-195.5 946.87,-202.5"/>
</g>
<!-- id10 -->
<g id="node11" class="node">
<title>id10</title>
<polygon fill="#cfcfcf" stroke="black" points="772,-117 635,-117 635,-81 772,-81 772,-117"/>
<text text-anchor="middle" x="703.5" y="-95.3" font-family="Times,serif" font-size="14.00">min(Double)&#45;&gt;Cart#0</text>
</g>
<!-- id10&#45;&gt;id9 -->
<g id="edge5" class="edge">
<title>id10&#45;&gt;id9</title>
<path fill="none" stroke="black" d="M772.1,-111.44C784.16,-115.14 796.29,-119.89 807,-126 827.96,-137.95 847.21,-157.33 860.82,-173.12"/>
<polygon fill="black" stroke="black" points="858.3,-175.56 867.4,-180.99 863.67,-171.07 858.3,-175.56"/>
</g>
<!-- id14 -->
<g id="node15" class="node">
<title>id14</title>
<polygon fill="lightskyblue" stroke="black" points="921,-109 843,-109 843,-73 921,-73 921,-109"/>
<text text-anchor="middle" x="882" y="-87.3" font-family="Times,serif" font-size="14.00">min==sum</text>
</g>
<!-- id10&#45;&gt;id14 -->
<g id="edge11" class="edge">
<title>id10&#45;&gt;id14</title>
<path fill="none" stroke="black" d="M772.23,-95.93C792.41,-95.02 814.11,-94.03 832.77,-93.19"/>
<polygon fill="black" stroke="black" points="832.97,-96.68 842.8,-92.73 832.65,-89.69 832.97,-96.68"/>
</g>
<!-- id18 -->
<g id="node19" class="node">
<title>id18</title>
<polygon fill="lightskyblue" stroke="black" points="921,-48 843,-48 843,-12 921,-12 921,-48"/>
<text text-anchor="middle" x="882" y="-26.3" font-family="Times,serif" font-size="14.00">min==sum</text>
</g>
<!-- id10&#45;&gt;id18 -->
<g id="edge17" class="edge">
<title>id10&#45;&gt;id18</title>
<path fill="none" stroke="black" d="M750.87,-80.87C776.32,-70.92 807.82,-58.61 833.45,-48.59"/>
<polygon fill="black" stroke="black" points="834.92,-51.77 842.96,-44.87 832.38,-45.25 834.92,-51.77"/>
</g>
<!-- id11 -->
<g id="node12" class="node">
<title>id11</title>
<polygon fill="#cfcfcf" stroke="black" points="468,-171 322,-171 322,-135 468,-135 468,-171"/>
<text text-anchor="middle" x="395" y="-149.3" font-family="Times,serif" font-size="14.00">Item.sum#rw {Item#1}</text>
</g>
<!-- id11&#45;&gt;id14 -->
<g id="edge12" class="edge">
<title>id11&#45;&gt;id14</title>
<path fill="none" stroke="black" d="M454.34,-134.86C459.18,-132.26 463.82,-129.32 468,-126 490.59,-108.07 478.57,-85.61 504,-72 610.17,-15.18 758.16,-49.72 833.23,-73.74"/>
<polygon fill="black" stroke="black" points="832.3,-77.11 842.89,-76.9 834.48,-70.46 832.3,-77.11"/>
</g>
<!-- id11&#45;&gt;id20 -->
<g id="edge21" class="edge">
<title>id11&#45;&gt;id20</title>
<path fill="none" stroke="black" d="M444.89,-171.07C452.64,-174.01 460.55,-177.06 468,-180 476.68,-183.43 485.97,-187.22 494.72,-190.84"/>
<polygon fill="black" stroke="black" points="493.39,-194.08 503.97,-194.69 496.08,-187.61 493.39,-194.08"/>
</g>
<!-- id11&#45;&gt;id21 -->
<g id="edge25" class="edge">
<title>id11&#45;&gt;id21</title>
<path fill="none" stroke="black" d="M444.89,-134.93C452.64,-131.99 460.55,-128.94 468,-126 477.63,-122.19 488.01,-117.95 497.58,-113.97"/>
<polygon fill="black" stroke="black" points="498.95,-117.19 506.83,-110.11 496.26,-110.73 498.95,-117.19"/>
</g>
<!-- id11&#45;&gt;id23 -->
<g id="edge29" class="edge">
<title>id11&#45;&gt;id23</title>
<path fill="none" stroke="black" d="M468.11,-153C478.12,-153 488.02,-153 496.97,-153"/>
<polygon fill="black" stroke="black" points="496.97,-156.5 506.97,-153 496.97,-149.5 496.97,-156.5"/>
</g>
<!-- id12&#45;&gt;id11 -->
<g id="edge7" class="edge">
<title>id12&#45;&gt;id11</title>
<path fill="none" stroke="black" d="M286.27,-153C294.32,-153 302.89,-153 311.54,-153"/>
<polygon fill="black" stroke="black" points="311.72,-156.5 321.72,-153 311.72,-149.5 311.72,-156.5"/>
</g>
<!-- id13 -->
<g id="node14" class="node">
<title>id13</title>
<polygon fill="#cfcfcf" stroke="black" points="1139,-109 957,-109 957,-73 1139,-73 1139,-109"/>
<text text-anchor="middle" x="1048" y="-87.3" font-family="Times,serif" font-size="14.00">Item.isCheapest#rw {Item#1}</text>
</g>
<!-- id14&#45;&gt;id13 -->
<g id="edge10" class="edge">
<title>id14&#45;&gt;id13</title>
<path fill="none" stroke="black" d="M921.04,-91C928.94,-91 937.62,-91 946.62,-91"/>
<polygon fill="black" stroke="black" points="946.87,-94.5 956.87,-91 946.87,-87.5 946.87,-94.5"/>
</g>
<!-- id15 -->
<g id="node16" class="node">
<title>id15</title>
<polygon fill="#cfcfcf" stroke="black" points="468,-117 322,-117 322,-81 468,-81 468,-117"/>
<text text-anchor="middle" x="395" y="-95.3" font-family="Times,serif" font-size="14.00">Item.sum#rw {Item#2}</text>
</g>
<!-- id15&#45;&gt;id18 -->
<g id="edge18" class="edge">
<title>id15&#45;&gt;id18</title>
<path fill="none" stroke="black" d="M427.04,-80.89C448.06,-69.51 476.84,-55.59 504,-48 618.44,-16.02 759.91,-20.32 832.7,-25.54"/>
<polygon fill="black" stroke="black" points="832.69,-29.05 842.93,-26.31 833.22,-22.07 832.69,-29.05"/>
</g>
<!-- id15&#45;&gt;id20 -->
<g id="edge22" class="edge">
<title>id15&#45;&gt;id20</title>
<path fill="none" stroke="black" d="M454.34,-117.14C459.18,-119.74 463.82,-122.68 468,-126 490.59,-143.93 485.32,-158.02 504,-180 504.48,-180.57 504.98,-181.14 505.49,-181.71"/>
<polygon fill="black" stroke="black" points="502.99,-184.17 512.43,-188.99 508.06,-179.33 502.99,-184.17"/>
</g>
<!-- id15&#45;&gt;id21 -->
<g id="edge26" class="edge">
<title>id15&#45;&gt;id21</title>
<path fill="none" stroke="black" d="M468.11,-99C478.12,-99 488.02,-99 496.97,-99"/>
<polygon fill="black" stroke="black" points="496.97,-102.5 506.97,-99 496.97,-95.5 496.97,-102.5"/>
</g>
<!-- id15&#45;&gt;id23 -->
<g id="edge30" class="edge">
<title>id15&#45;&gt;id23</title>
<path fill="none" stroke="black" d="M444.89,-117.07C452.64,-120.01 460.55,-123.06 468,-126 477.63,-129.81 488.01,-134.05 497.58,-138.03"/>
<polygon fill="black" stroke="black" points="496.26,-141.27 506.83,-141.89 498.95,-134.81 496.26,-141.27"/>
</g>
<!-- id16&#45;&gt;id15 -->
<g id="edge13" class="edge">
<title>id16&#45;&gt;id15</title>
<path fill="none" stroke="black" d="M286.27,-80.17C294.41,-81.6 303.07,-83.11 311.82,-84.64"/>
<polygon fill="black" stroke="black" points="311.26,-88.09 321.72,-86.37 312.47,-81.2 311.26,-88.09"/>
</g>
<!-- id17 -->
<g id="node18" class="node">
<title>id17</title>
<polygon fill="#cfcfcf" stroke="black" points="1139,-48 957,-48 957,-12 1139,-12 1139,-48"/>
<text text-anchor="middle" x="1048" y="-26.3" font-family="Times,serif" font-size="14.00">Item.isCheapest#rw {Item#2}</text>
</g>
<!-- id18&#45;&gt;id17 -->
<g id="edge16" class="edge">
<title>id18&#45;&gt;id17</title>
<path fill="none" stroke="black" d="M921.04,-30C928.94,-30 937.62,-30 946.62,-30"/>
<polygon fill="black" stroke="black" points="946.87,-33.5 956.87,-30 946.87,-26.5 946.87,-33.5"/>
</g>
<!-- id19 -->
<g id="node20" class="node">
<title>id19</title>
<polygon fill="#cfcfcf" stroke="black" points="807,-225 600,-225 600,-189 807,-189 807,-225"/>
<text text-anchor="middle" x="703.5" y="-203.3" font-family="Times,serif" font-size="14.00">Cart.sumWithoutTax#rw {Cart#0}</text>
</g>
<!-- id20&#45;&gt;id19 -->
<g id="edge19" class="edge">
<title>id20&#45;&gt;id19</title>
<path fill="none" stroke="black" d="M564.18,-207C571.75,-207 580.37,-207 589.53,-207"/>
<polygon fill="black" stroke="black" points="589.66,-210.5 599.66,-207 589.65,-203.5 589.66,-210.5"/>
</g>
<!-- id21&#45;&gt;id10 -->
<g id="edge23" class="edge">
<title>id21&#45;&gt;id10</title>
<path fill="none" stroke="black" d="M561.17,-99C578.4,-99 601.94,-99 624.86,-99"/>
<polygon fill="black" stroke="black" points="624.97,-102.5 634.97,-99 624.97,-95.5 624.97,-102.5"/>
</g>
<!-- id22 -->
<g id="node23" class="node">
<title>id22</title>
<polygon fill="#cfcfcf" stroke="black" points="773,-171 634,-171 634,-135 773,-135 773,-171"/>
<text text-anchor="middle" x="703.5" y="-149.3" font-family="Times,serif" font-size="14.00">max(Double)&#45;&gt;Cart#0</text>
</g>
<!-- id23&#45;&gt;id22 -->
<g id="edge27" class="edge">
<title>id23&#45;&gt;id22</title>
<path fill="none" stroke="black" d="M561.17,-153C578.09,-153 601.08,-153 623.6,-153"/>
<polygon fill="black" stroke="black" points="623.89,-156.5 633.89,-153 623.89,-149.5 623.89,-156.5"/>
</g>
</g>
</svg>