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