Searched refs:isContradictory (Results 1 – 2 of 2) sorted by relevance
329 if (Optn->isContradictory(ScanMatcher)) { in FactorNodes()341 (M2->isEqual(Optn) || M2->isContradictory(Optn))) { in FactorNodes()
167 bool isContradictory(const Matcher *Other) const { in isContradictory() function