Пример #1
0
class ApplicationRunner():

	def __init__(self):
		self.prover = AnalyticalTableauxProver()
		self.parser = ProblemParser()

	def runProver(self):
		self.parseProblem()
		self.buildProof()

	def parseProblem(self):
		self.problem = self.parser.parseFile("sample.prove")

	def buildProof(self):
		self.proof = self.prover.buildProof(self.problem)

	def getProof(self):
		return self.proof
Пример #2
0
	def __init__(self):
		self.prover = AnalyticalTableauxProver()
		self.parser = ProblemParser()