Home
last modified time | relevance | path

Searched refs:INST_WHEN_FULL_LAST_CALL (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/options/
H A Dquantifiers_modes.cpp31 case theory::quantifiers::INST_WHEN_FULL_LAST_CALL: in operator <<()
H A Dquantifiers_modes.h37 INST_WHEN_FULL_LAST_CALL, enumerator
H A Doptions_handler.cpp610 return theory::quantifiers::INST_WHEN_FULL_LAST_CALL; in stringToInstWhenMode()
H A Dquantifiers_options.toml366 default = "CVC4::theory::quantifiers::INST_WHEN_FULL_LAST_CALL"
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp1047 }else if( options::instWhenMode()==quantifiers::INST_WHEN_FULL_LAST_CALL ){ in getInstWhenNeedsCheck()