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