Searched defs:state_ptr_2 (Results 1 – 2 of 2) sorted by relevance
5969 const void *state_ptr_2) in compare_states_for_equiv()7503 const void *state_ptr_2) in compare_transition_els_num()