Searched defs:new_class (Results 1 – 4 of 4) sorted by relevance
167 T new_class = AddClass(); in SplitRefine() local204 T new_class = SplitRefine(visited_classes_[i]); in FinalizeSplit() local
431 const StateId new_class = equiv_classes[s]; in Refine() local
415 class_datum_t *class, *new_class; in class_copy_callback() local501 class_datum_t *class, *new_class; in constraint_copy_callback() local
247 class_datum_t *cladatum, *new_class = NULL; in class_copy_callback() local