Searched refs:INST_WHEN_PRE_FULL (Results 1 – 3 of 3) sorted by relevance
25 case theory::quantifiers::INST_WHEN_PRE_FULL: in operator <<()
31 INST_WHEN_PRE_FULL, enumerator
604 return theory::quantifiers::INST_WHEN_PRE_FULL; in stringToInstWhenMode()627 if(mode == theory::quantifiers::INST_WHEN_PRE_FULL) { in checkInstWhenMode()