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