Esempio n. 1
0
def solve_equivalence(expr, vars):
    children = iter(expr.children)
    first_value = solve(next(children), vars).value
    for child in children:
        if not repeated.value_eq(solve(child, vars).value, first_value):
            return Result(False, ())

    return Result(True, ())
Esempio n. 2
0
 def assertValueEq(self, x, y):
     return self.assertTrue(repeated.value_eq(x, y))
Esempio n. 3
0
 def assertValueEq(self, x, y):
     return self.assertTrue(repeated.value_eq(x, y))