Searched defs:needsCheckLastEffort (Results 1 – 11 of 11) sorted by relevance
50 bool needsCheckLastEffort() override { return true; } in needsCheckLastEffort() function
55 bool TheorySets::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::sets::TheorySets
1776 bool TheorySetsPrivate::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::sets::TheorySetsPrivate
90 bool TheoryArith::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::arith::TheoryArith
123 bool needsCheckLastEffort() const { return d_needsLastCall; } in needsCheckLastEffort() function
4053 bool TheoryArithPrivate::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::arith::TheoryArithPrivate
510 virtual bool needsCheckLastEffort() { return false; } in needsCheckLastEffort() function
518 bool TheoryBV::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::bv::TheoryBV
826 bool TheorySep::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::sep::TheorySep
375 bool TheoryDatatypes::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::datatypes::TheoryDatatypes
1022 bool TheoryStrings::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::strings::TheoryStrings