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_einstein_sum(self, x):
a = fun.noop()
b = fun.noop()
f = combi.einstein_sum(a, b)
assert 0 <= f(x) <= 1
def test_lukasiewicz_OR(self, x):
a = fun.noop()
b = fun.noop()
f = combi.lukasiewicz_OR(a, b)
assert 0 <= f(x) <= 1
def test_bounded_sum(self, x):
a = fun.noop()
b = fun.noop()
f = combi.bounded_sum(a, b)
assert 0 <= f(x) <= 1
def test_inv(self, x):
assume(0 <= x <= 1)
f = fun.inv(fun.noop())
assert isclose(f(f(x)), x, abs_tol=1e-16)
def test_MIN(self, x):
a = fun.noop()
b = fun.noop()
f = combi.MIN(a, b)
assert (0 <= f(x) <= 1)
def test_gamma_op(self, x, g):
a = fun.noop()
b = fun.noop()
g = combi.gamma_op(g)
f = g(a, b)
assert 0 <= f(x) <= 1
def test_very(self, x):
s = Set(fun.noop())
f = hedges.very(s)
assert 0 <= f(x) <= 1
def test_noop(self, x):
f = fun.noop()
assert f(x) == x
def test_hamacher_product(self, x):
a = fun.noop()
b = fun.noop()
f = combi.hamacher_product(a, b)
assert (0 <= f(x) <= 1)
def test_einstein_product(self, x):
a = fun.noop()
b = fun.noop()
f = combi.einstein_product(a, b)
assert (0 <= f(x) <= 1)
def test_lukasiewicz_AND(self, x):
a = fun.noop()
b = fun.noop()
f = combi.lukasiewicz_AND(a, b)
assert (0 <= f(x) <= 1)
def test_hamacher_sum(self, x):
a = fun.noop()
b = fun.noop()
f = combi.hamacher_sum(a, b)
assert 0 <= f(x) <= 1
def test_plus(self, x):
s = Set(fun.noop())
f = hedges.plus(s)
assert 0 <= f(x) <= 1
def test_lambda_op(self, x, l):
a = fun.noop()
b = fun.noop()
g = combi.lambda_op(l)
f = g(a, b)
assert 0 <= f(x) <= 1
def test_MAX(self, x):
a = fun.noop()
b = fun.noop()
f = combi.MAX(a, b)
assert 0 <= f(x) <= 1
def test_hamacher_sum(self, x):
a = fun.noop()
b = fun.noop()
f = combi.simple_disjoint_sum(a, b)
assert 0 <= f(x) <= 1
def test_product(self, x):
a = fun.noop()
b = fun.noop()
f = combi.product(a, b)
assert 0 <= f(x) <= 1
def test_moderate(self, x):
f = fun.moderate(fun.noop())
assert 0 <= f(x) <= 1
def test_minus(self, x):
s = Set(fun.noop())
f = hedges.minus(s)
assert (0 <= f(x) <= 1)
