Home
last modified time | relevance | path

Searched defs:getTheory (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dnotifylist.h41 Theory* getTheory(int i) const { return d_tlist[i]; } in getTheory() function
/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dlemma_proof.cpp25 theory::TheoryId LemmaProofRecipe::ProofStep::getTheory() const { in getTheory() function in CVC4::LemmaProofRecipe::ProofStep
132 theory::TheoryId LemmaProofRecipe::getTheory() const { in getTheory() function in CVC4::LemmaProofRecipe
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.h367 TheoryUF* getTheory() { return d_th; } in getTheory() function