Searched refs:TRIGGER_SEL_MIN (Results 1 – 4 of 4) sorted by relevance
145 TRIGGER_SEL_MIN, enumerator
743 return theory::quantifiers::TRIGGER_SEL_MIN; in stringToTriggerSelMode()
327 default = "CVC4::theory::quantifiers::TRIGGER_SEL_MIN"
513 …if( rm_nu && ( tstrt==quantifiers::TRIGGER_SEL_MIN || ( tstrt==quantifiers::TRIGGER_SEL_MIN_SINGLE… in collectPatTerms2()