Searched defs:getTheoryId (Results 1 – 6 of 6) sorted by relevance
374 TheoryId EntailmentCheckParameters::getTheoryId() const { in getTheoryId() function in CVC4::theory::EntailmentCheckParameters382 TheoryId EntailmentCheckSideEffects::getTheoryId() const { in getTheoryId() function in CVC4::theory::EntailmentCheckSideEffects
580 theory::TheoryId UFProof::getTheoryId() { return theory::THEORY_UF; } in getTheoryId() function in CVC4::UFProof
716 theory::TheoryId BitVectorProof::getTheoryId() { return theory::THEORY_BV; } in getTheoryId() function in CVC4::proof::BitVectorProof
652 theory::TheoryId ArithProof::getTheoryId() { return theory::THEORY_ARITH; } in getTheoryId() function in CVC4::ArithProof
1074 theory::TheoryId ArrayProof::getTheoryId() { return theory::THEORY_ARRAYS; } in getTheoryId() function in CVC4::ArrayProof
1136 theory::TheoryId BooleanProof::getTheoryId() { return theory::THEORY_BOOL; } in getTheoryId() function in CVC4::BooleanProof