Python CPL_Parser Examples

Example #1

File: ParserTests.py Project: adolfont/Logic-Dojo

class TruthAssignmentTest(unittest.TestCase):

	def setUp(self):
		self.parser = CPL_Parser()

	def test_parserTest(self):
		self.assertEquals(0, 0)
		print self.parser.parse("P1")
		print self.parser.parse("(P2)")
		print self.parser.parse("!P")
		print self.parser.parse("(!P)")
		print self.parser.parse("P&Q")
		print self.parser.parse("P->!!R")
		print self.parser.parse("P|Q|R")

Example #2

File: ParserTests.py Project: adolfont/Logic-Dojo

	def setUp(self):
		self.parser = CPL_Parser()