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