Searched refs:isContradictory (Results 1 – 2 of 2) 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