Searched defs:next_iteration_classes (Results 1 – 2 of 2) sorted by relevance
5953 next_iteration_classes, new_equiv_class_num_ptr) in partition_equiv_class() argument6023 vla_ptr_t next_iteration_classes; local
5798 partition_equiv_class (state_t first_state, int odd_iteration_flag, in partition_equiv_class()