199 typedef const struct state *const_state_t;  typedef
240 static arc_t first_out_arc             (const_state_t);
3807   if (((const_state_t) state)->component_states == NULL)  in state_hash()
3808     hash_value = reserv_sets_hash_value (((const_state_t) state)->reservs);  in state_hash()
3812       for (alt_state = ((const_state_t) state)->component_states;  in state_hash()
3821                 + ((const_state_t) state)->automaton->automaton_order_num);  in state_hash()
3832   if (((const_state_t) state_1)->automaton != ((const_state_t) state_2)->automaton)  in state_eq_p()
3834   else if (((const_state_t) state_1)->component_states == NULL  in state_eq_p()
3835            && ((const_state_t) state_2)->component_states == NULL)  in state_eq_p()
3836     return reserv_sets_eq (((const_state_t) state_1)->reservs,  in state_eq_p()
3837 			   ((const_state_t) state_2)->reservs);  in state_eq_p()
3838   else if (((const_state_t) state_1)->component_states != NULL  in state_eq_p()
3839            && ((const_state_t) state_2)->component_states != NULL)  in state_eq_p()
3841       for (alt_state_1 = ((const_state_t) state_1)->component_states,  in state_eq_p()
3842            alt_state_2 = ((const_state_t) state_2)->component_states;  in state_eq_p()
4065 first_out_arc (const_state_t state)  in first_out_arc()
5996   const_state_t const s1 = *(const_state_t const*)state_ptr_1;  in compare_states_for_equiv()
5997   const_state_t const s2 = *(const_state_t const*)state_ptr_2;  in compare_states_for_equiv()
7524 out_state_arcs_num (const_state_t state)  in out_state_arcs_num()
7545     = out_state_arcs_num (*(const_state_t const*) state_ptr_1);  in compare_transition_els_num()
7547     = out_state_arcs_num (*(const_state_t const*) state_ptr_2);  in compare_transition_els_num()