Searched refs:old_class (Results 1 – 1 of 1) sorted by relevance
430 const StateId old_class = partition_.class_id(s); in Refine() local437 if (old_class != new_class) in Refine()