Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/options/
H A Dquantifiers_modes.h145 TRIGGER_SEL_MIN, enumerator
H A Doptions_handler.cpp743 return theory::quantifiers::TRIGGER_SEL_MIN; in stringToTriggerSelMode()
H A Dquantifiers_options.toml327 default = "CVC4::theory::quantifiers::TRIGGER_SEL_MIN"
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ematching/
H A Dtrigger.cpp513 …if( rm_nu && ( tstrt==quantifiers::TRIGGER_SEL_MIN || ( tstrt==quantifiers::TRIGGER_SEL_MIN_SINGLE… in collectPatTerms2()