Searched refs:TERM_DB_ALL (Results 1 – 4 of 4) sorted by relevance
178 TERM_DB_ALL, enumerator
826 return theory::quantifiers::TERM_DB_ALL; in stringToTermDbMode()
204 default = "CVC4::theory::quantifiers::TERM_DB_ALL"
770 if( options::termDbMode()==TERM_DB_ALL ){ in hasTermCurrent()