Implementation and Sub-specifications
Please hover over different parts of the implementation to see the corresponding sub-specifications.
f(x,y)= if
x1
h(11, 45)=false h(1, 26)=true h(39, 29)=false h(1, 36)=true h(15, 12)=false
h(37, 1)=false h(40, 29)=false h(1, 33)=true h(34, 39)=false h(10, 1)=false
h(5, 7)=false h(1, 4)=true h(7, 21)=false h(26, 1)=false h(50, 33)=false
h(50, 1)=false h(13, 10)=false h(1, 39)=true h(46, 18)=false h(7, 1)=false
then
3x
h(1, 26)=3
h(1, 36)=3
h(1, 33)=3
h(1, 4)=3
h(1, 39)=3
elif
y1
h(11, 45)=false h(39, 29)=false h(15, 12)=false h(37, 1)=true h(40, 29)=false
h(34, 39)=false h(10, 1)=true h(5, 7)=false h(7, 21)=false h(26, 1)=true
h(50, 33)=false h(50, 1)=true h(13, 10)=false h(46, 18)=false h(7, 1)=true
then
3y
h(37, 1)=3
h(10, 1)=3
h(26, 1)=3
h(50, 1)=3
h(7, 1)=3
else
1
h(11, 45)=1
h(39, 29)=1
h(15, 12)=1
h(40, 29)=1
h(34, 39)=1
h(5, 7)=1
h(7, 21)=1
h(50, 33)=1
h(13, 10)=1
h(46, 18)=1