Python BinaryOperator Examples

Example #1

File: test_tokenize.py Project: lauraBaakman/Multi-Agent-Systems

 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)

Example #2

File: test_tokenize.py Project: lauraBaakman/Multi-Agent-Systems

 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)