Searched defs:TheoryProof (Results 1 – 2 of 2) sorted by relevance
41 class TheoryProof; variable213 TheoryProof(theory::Theory* th, TheoryProofEngine* proofEngine) in TheoryProof() function
68 class TheoryProof; variable