def test_expression_parse_implicit_mixed_2(self): e = Expression('b1 or b2 and b3 or b4') self.assertEqual( e, Expression( Or(Variable('b1'), And(Variable('b2'), Variable('b3')), Variable('b4'))))
def test_expression_parse_parentheses_mixed_1(self): e = Expression('(b1 and b2) or (b3 and b4)') self.assertEqual( e, Expression( Or(And(Variable('b1'), Variable('b2')), And(Variable('b3'), Variable('b4')))))
def test_expression_parse_parentheses_mixed_2(self): e = Expression('(b1 or b2) and (b3 or b4)') self.assertEqual( e, Expression( And(Or(Variable('b1'), Variable('b2')), Or(Variable('b3'), Variable('b4')))))
def test_expression_parse_multiple_parenthesis_or(self): e = Expression('b1 or (b2 or b3) or b4') self.assertEqual( e, Expression( Or(Variable('b1'), Variable('b2'), Variable('b3'), Variable('b4'))))
def test_expression_parse_multiple_parenthesis_and(self): e = Expression('b1 and (b2 and b3) and b4') self.assertEqual( e, Expression( And(Variable('b1'), Variable('b2'), Variable('b3'), Variable('b4'))))
def test_expression_parse_longer_names(self): e = Expression('b12345 and bxyz and testtesttest') self.assertEqual( e, Expression( And(Variable('b12345'), Variable('bxyz'), Variable('testtesttest'))))
def test_expression_parse_parentheses_left_nested(self): e = Expression('(((b1 or b2) and b3) or b4) and (b5)') self.assertEqual( e, Expression( And( Variable('b5'), Or(Variable('b4'), And(Variable('b3'), Or(Variable('b1'), Variable('b2')))))))
def test_expression_parse_parentheses_right_nested(self): e = Expression('(b1 or (b2 and (b3 or (b4 and (b5)))))') self.assertEqual( e, Expression( Or( Variable('b1'), And( Variable('b2'), Or(Variable('b3'), And(Variable('b4'), Variable('b5')))))))
def test_expression_parse_with_square_mixed_groups(self): e = Expression('[(a or b) or (c or d)] or [e or (f and g and h)]') self.assertEqual( e, Expression( Or(Variable('a'), Variable('b'), Variable('c'), Variable('d'), Variable('e'), And(Variable('f'), Variable('g'), Variable('h')))))
def test_expression_iter_variables(self): e = Expression( Or(And(Variable('b1'), Variable('b2')), And(Variable('b3'), Variable('b4')))) self.assertEqual( list(e.variables), [Variable('b1'), Variable('b2'), Variable('b3'), Variable('b4')])
def test_variables_equals_true(self): self.assertEqual(Variable('x'), Variable('x'))
def test_variable_init_with_number(self): v = Variable('123')
def test_variable_symbol(self): self.assertEqual(Variable('x').symbol, 'x')
def test_variable_init_from_unicode(self): symbol = u'\u00c6\u00d8\u00c5' v = Variable(symbol) self.assertEqual(v.symbol, symbol)
def test_variable_init_with_dot_symbol(self): v = Variable('x12345.6')
def test_variable_init_number_symbol(self): v = Variable('x2')
def test_variable_init_underscore_symbol(self): v = Variable('x_y')
def test_expression_parse_with_extra_space(self): e = Expression('b1 and b2 and b3') self.assertEqual( e, Expression(And(Variable('b1'), Variable('b2'), Variable('b3'))))
def test_expression_parse_multiple_with_duplicates(self): e = Expression('b1 and b2 and b1 and b4') self.assertEqual( e, Expression(And(Variable('b1'), Variable('b2'), Variable('b4'))))
def test_expression_parse_or(self): e = Expression('b1 or b2') self.assertEqual(e, Expression(Or(Variable('b1'), Variable('b2'))))
def test_expression_parse_name_starting_with_and(self): e = Expression('b1 or anderson') self.assertEqual(e, Expression(Or(Variable('b1'), Variable('anderson'))))
def test_variable_hash(self): self.assertEqual(hash(Variable('xyz')), hash(Variable('xyz')))
def test_variables_not_equals(self): self.assertNotEqual(Variable('x'), Variable('y'))
def test_expression_parse_uppercase_operators(self): e = Expression('(b1 AND b2) OR b3') self.assertEqual( e, Expression(Or(Variable('b3'), And(Variable('b1'), Variable('b2')))))
def test_variable_init(self): v = Variable('x')
def test_expression_parse_parenthesis_with_space_left(self): e = Expression('( b1 and b2)') self.assertEqual(e, Expression(And(Variable('b1'), Variable('b2'))))
def test_variable_not_equals_bool(self): self.assertNotEqual(Variable('x'), True)
def test_expression_parse_name_starting_with_or(self): e = Expression('b1 and order') self.assertEqual(e, Expression(And(Variable('b1'), Variable('order'))))
def test_expression_substitute_unknown_to_variable(self): e = Expression('b1') e1 = e.substitute(lambda v: v) self.assertEqual(e1, Expression(Variable('b1')))
def test_variable_init_long_symbol(self): v = Variable('xyz')