Searched refs:state_ptr_1 (Results 1 – 1 of 1) sorted by relevance
5727 compare_states_for_equiv (const void *state_ptr_1, in compare_states_for_equiv() argument5730 state_t s1 = *(state_t *)state_ptr_1; in compare_states_for_equiv()7298 compare_transition_els_num (const void *state_ptr_1, in compare_transition_els_num() argument7304 transition_els_num_1 = out_state_arcs_num (*(state_t *) state_ptr_1); in compare_transition_els_num()