Searched refs:isContradictory (Results 1 – 6 of 6) sorted by relevance
256 if (Optn->isContradictory(ScanMatcher)) { in FactorNodes()268 (M2->isEqual(Optn) || M2->isContradictory(Optn))) { in FactorNodes()
156 bool isContradictory(const Matcher *Other) const { in isContradictory() function
269 if (Optn->isContradictory(ScanMatcher)) { in FactorNodes()281 (M2->isEqual(Optn) || M2->isContradictory(Optn))) { in FactorNodes()
321 if (Optn->isContradictory(ScanMatcher)) { in FactorNodes()333 (M2->isEqual(Optn) || M2->isContradictory(Optn))) { in FactorNodes()
164 bool isContradictory(const Matcher *Other) const { in isContradictory() function