Home
last modified time | relevance | path

Searched refs:INST_WHEN_PRE_FULL (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/options/
H A Dquantifiers_modes.cpp25 case theory::quantifiers::INST_WHEN_PRE_FULL: in operator <<()
H A Dquantifiers_modes.h31 INST_WHEN_PRE_FULL, enumerator
H A Doptions_handler.cpp604 return theory::quantifiers::INST_WHEN_PRE_FULL; in stringToInstWhenMode()
627 if(mode == theory::quantifiers::INST_WHEN_PRE_FULL) { in checkInstWhenMode()