def test_tokenize_biimplication(self):
expression = 'p <-> q'
for logic in self.logics:
computed = tokenize(logic, expression)
expected = [
tokens.Proposition('p'),
tokens.BinaryOperator(operators.Binary.biimplication),
tokens.Proposition('q')
]
self.assertEqual(computed, expected)
def test_tokenize_brackets(self):
expression = '(p & q)'
for logic in self.logics:
computed = tokenize(logic, expression)
expected = [
tokens.BracketOpen(),
tokens.Proposition('p'),
tokens.BinaryOperator(operators.Binary.conjunction),
tokens.Proposition('q'),
tokens.BracketClose()
]
self.assertEqual(computed, expected)