Searched defs:ArrayProof (Results 1 – 2 of 2) sorted by relevance
71 class ArrayProof; variable
1070 ArrayProof::ArrayProof(theory::arrays::TheoryArrays* arrays, TheoryProofEngine* pe) in ArrayProof() function in CVC4::ArrayProof