Home
last modified time | relevance | path

Searched defs:getTheoryId (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.cpp374 TheoryId EntailmentCheckParameters::getTheoryId() const { in getTheoryId() function in CVC4::theory::EntailmentCheckParameters
382 TheoryId EntailmentCheckSideEffects::getTheoryId() const { in getTheoryId() function in CVC4::theory::EntailmentCheckSideEffects
/dports/math/cvc4/CVC4-1.7/src/proof/
H A Duf_proof.cpp580 theory::TheoryId UFProof::getTheoryId() { return theory::THEORY_UF; } in getTheoryId() function in CVC4::UFProof
H A Dbitvector_proof.cpp716 theory::TheoryId BitVectorProof::getTheoryId() { return theory::THEORY_BV; } in getTheoryId() function in CVC4::proof::BitVectorProof
H A Darith_proof.cpp652 theory::TheoryId ArithProof::getTheoryId() { return theory::THEORY_ARITH; } in getTheoryId() function in CVC4::ArithProof
H A Darray_proof.cpp1074 theory::TheoryId ArrayProof::getTheoryId() { return theory::THEORY_ARRAYS; } in getTheoryId() function in CVC4::ArrayProof
H A Dtheory_proof.cpp1136 theory::TheoryId BooleanProof::getTheoryId() { return theory::THEORY_BOOL; } in getTheoryId() function in CVC4::BooleanProof