Searched defs:ArithProof (Results 1 – 2 of 2) sorted by relevance
70 class ArithProof; variable
646 ArithProof::ArithProof(theory::arith::TheoryArith* arith, TheoryProofEngine* pe) in ArithProof() function in CVC4::ArithProof