Searched refs:state_ptr_2 (Results 1 – 1 of 1) sorted by relevance
5728 const void *state_ptr_2) in compare_states_for_equiv() argument5731 state_t s2 = *(state_t *)state_ptr_2; in compare_states_for_equiv()7299 const void *state_ptr_2) in compare_transition_els_num() argument7305 transition_els_num_2 = out_state_arcs_num (*(state_t *) state_ptr_2); in compare_transition_els_num()