Searched refs:init_equiv_class (Results 1 – 2 of 2) sorted by relevance
5753 init_equiv_class (VEC(state_t,heap) *states, VEC (state_t,heap) **classes) in init_equiv_class() function5870 new_equiv_class_num = init_equiv_class (all_achieved_states, in evaluate_equiv_classes()
8838 (init_equiv_class): Create initial classes based on sorted