Searched refs:INST_WHEN_FULL_LAST_CALL (Results 1 – 5 of 5) sorted by relevance
31 case theory::quantifiers::INST_WHEN_FULL_LAST_CALL: in operator <<()
37 INST_WHEN_FULL_LAST_CALL, enumerator
610 return theory::quantifiers::INST_WHEN_FULL_LAST_CALL; in stringToInstWhenMode()
366 default = "CVC4::theory::quantifiers::INST_WHEN_FULL_LAST_CALL"
1047 }else if( options::instWhenMode()==quantifiers::INST_WHEN_FULL_LAST_CALL ){ in getInstWhenNeedsCheck()