Home
last modified time | relevance | path

Searched refs:extendsEngine (Results 1 – 3 of 3) sorted by path

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinst_propagator.h48 bool extendsEngine() override { return true; } in extendsEngine() function
H A Dquant_util.h219 virtual bool extendsEngine() { return false; } in extendsEngine() function
H A Dterm_database.cpp600 Assert( !qy->extendsEngine() ); in getEntailedTerm2()
672 Assert( !qy->extendsEngine() ); in isEntailed2()