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, ())
def assertValueEq(self, x, y):
return self.assertTrue(repeated.value_eq(x, y))
def assertValueEq(self, x, y):
return self.assertTrue(repeated.value_eq(x, y))
