Searched defs:state_ptr_2 (Results 1 – 2 of 2) sorted by relevance
5728 const void *state_ptr_2) in compare_states_for_equiv()7299 const void *state_ptr_2) in compare_transition_els_num()
7512 compare_transition_els_num (state_ptr_1, state_ptr_2) in compare_transition_els_num() argument