def test_alpha(self, x, lower, upper):
assume(lower < upper)
f = fun.alpha(floor=lower, ceiling=upper, func=fun.noop())
if x <= lower:
assert f(x) == lower
elif x >= upper:
assert f(x) == upper
else:
assert f(x) == x
def test_alpha_2(self, x, floor, ceil, floor_clip, ceil_clip):
assume(floor < ceil)
if not (floor_clip is None or ceil_clip is None):
assume(floor_clip < ceil_clip)
f = fun.alpha(floor=floor,
ceiling=ceil,
func=fun.noop(),
floor_clip=floor_clip,
ceiling_clip=ceil_clip)
assert 0 <= f(x) <= 1
def test_normalize(self, x, height):
assume(height > 0)
f = fun.normalize(height, fun.alpha(ceiling=height, func=fun.R(0,
100)))
assert 0 <= f(x) <= 1