def setUp(self): x = T.Variable(1, 'x') y = T.Variable(1, 'y') z = T.Variable(2, 'z') f = lambda x, y: x == y self.op1 = T.BoolBinaryOperator(x, y, '==', '!=', f) self.op2 = T.BoolBinaryOperator(x, z, '==', '!=', f)
def setUp(self): x = T.Variable(1, 'x') y = T.Variable(1, 'y') z = T.Variable(2, 'z') def f(x, y): return x == y self.op1 = T.BoolBinaryOperator(x, y, '==', '!=', f) self.op2 = T.BoolBinaryOperator(x, z, '==', '!=', f)