blob: 680b0ac9d7be6476f2bfc3f4e311df5bb64b6c0e (
plain)
1
2
3
4
5
6
7
|
T=d f ld li
V=x
R=-10,10,1
F=1*((x*x)=-16) + 2*((x*x)<-16) + 4*((x*x)<=-16) + \
8*((x*x)>-16) + -16*((x*x)>=-16) + 32*((x*x)!=-16)
C=1*fp_equal((x*x),-16) + 2*fp_less((x*x),-16) + 4*fp_lessOrEq((x*x),-16) + \
8*fp_greater((x*x),-16) + -16*fp_greaterOrEq((x*x),-16) + 32*fp_nequal((x*x),-16)
|
