コード例 #1
0
ファイル: solve.py プロジェクト: kleopatra999/dotty 
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, ())
コード例 #2
0
ファイル: repeated.py プロジェクト: kleopatra999/dotty 
 def assertValueEq(self, x, y):
     return self.assertTrue(repeated.value_eq(x, y))
コード例 #3
0
 def assertValueEq(self, x, y):
     return self.assertTrue(repeated.value_eq(x, y))