Searched defs:getTheory (Results 1 – 3 of 3) sorted by relevance
41 Theory* getTheory(int i) const { return d_tlist[i]; } in getTheory() function
25 theory::TheoryId LemmaProofRecipe::ProofStep::getTheory() const { in getTheory() function in CVC4::LemmaProofRecipe::ProofStep132 theory::TheoryId LemmaProofRecipe::getTheory() const { in getTheory() function in CVC4::LemmaProofRecipe
367 TheoryUF* getTheory() { return d_th; } in getTheory() function