Home
last modified time | relevance | path

Searched defs:needsCheckLastEffort (Results 1 – 11 of 11) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/fp/
H A Dtheory_fp.h50 bool needsCheckLastEffort() override { return true; } in needsCheckLastEffort() function
/dports/math/cvc4/CVC4-1.7/src/theory/sets/
H A Dtheory_sets.cpp55 bool TheorySets::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::sets::TheorySets
H A Dtheory_sets_private.cpp1776 bool TheorySetsPrivate::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::sets::TheorySetsPrivate
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dtheory_arith.cpp90 bool TheoryArith::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::arith::TheoryArith
H A Dnonlinear_extension.h123 bool needsCheckLastEffort() const { return d_needsLastCall; } in needsCheckLastEffort() function
H A Dtheory_arith_private.cpp4053 bool TheoryArithPrivate::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::arith::TheoryArithPrivate
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.h510 virtual bool needsCheckLastEffort() { return false; } in needsCheckLastEffort() function
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv.cpp518 bool TheoryBV::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::bv::TheoryBV
/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp826 bool TheorySep::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::sep::TheorySep
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A Dtheory_datatypes.cpp375 bool TheoryDatatypes::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::datatypes::TheoryDatatypes
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.cpp1022 bool TheoryStrings::needsCheckLastEffort() { in needsCheckLastEffort() function in CVC4::theory::strings::TheoryStrings