Searched refs:LITERAL_MATCH_NONE (Results 1 – 4 of 4) sorted by relevance
46 case theory::quantifiers::LITERAL_MATCH_NONE: in operator <<()
46 LITERAL_MATCH_NONE, enumerator
636 return theory::quantifiers::LITERAL_MATCH_NONE; in stringToLiteralMatchMode()
372 }else if( options::literalMatchMode()!=LITERAL_MATCH_NONE ){ in generateTriggers()378 if( options::literalMatchMode()!=LITERAL_MATCH_NONE ){ in generateTriggers()