Searched refs:isEquivalentTo (Results 1 – 1 of 1) sorted by relevance
375 bool isEquivalentTo(const CongruenceClass *Other) const { in isEquivalentTo() function in __anonccb5b2130111::CongruenceClass3279 assert(BeforeCC->isEquivalentTo(AfterCC) && in verifyIterationSettled()