Searched refs:EqualClasses (Results 1 – 1 of 1) sorted by relevance
3266 EqualClasses; in verifyIterationSettled() local3278 if (!EqualClasses.count({BeforeCC, AfterCC})) { in verifyIterationSettled()3281 EqualClasses.insert({BeforeCC, AfterCC}); in verifyIterationSettled()