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
def __init__(self): self.prover = AnalyticalTableauxProver() self.parser = ProblemParser()