Home
last modified time | relevance | path

Searched refs:TERM_DB_ALL (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/options/
H A Dquantifiers_modes.h178 TERM_DB_ALL, enumerator
H A Doptions_handler.cpp826 return theory::quantifiers::TERM_DB_ALL; in stringToTermDbMode()
H A Dquantifiers_options.toml204 default = "CVC4::theory::quantifiers::TERM_DB_ALL"
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_database.cpp770 if( options::termDbMode()==TERM_DB_ALL ){ in hasTermCurrent()