196 typedef const struct state *const_state_t;  typedef
225 static arc_t first_out_arc             (const_state_t);
3799   if (((const_state_t) state)->component_states == NULL)  in state_hash()
3800     hash_value = reserv_sets_hash_value (((const_state_t) state)->reservs);  in state_hash()
3804       for (alt_state = ((const_state_t) state)->component_states;  in state_hash()
3813                 + ((const_state_t) state)->automaton->automaton_order_num);  in state_hash()
3824   if (((const_state_t) state_1)->automaton != ((const_state_t) state_2)->automaton)  in state_eq_p()
3826   else if (((const_state_t) state_1)->component_states == NULL  in state_eq_p()
3827            && ((const_state_t) state_2)->component_states == NULL)  in state_eq_p()
3828     return reserv_sets_eq (((const_state_t) state_1)->reservs,  in state_eq_p()
3829 			   ((const_state_t) state_2)->reservs);  in state_eq_p()
3830   else if (((const_state_t) state_1)->component_states != NULL  in state_eq_p()
3831            && ((const_state_t) state_2)->component_states != NULL)  in state_eq_p()
3833       for (alt_state_1 = ((const_state_t) state_1)->component_states,  in state_eq_p()
3834            alt_state_2 = ((const_state_t) state_2)->component_states;  in state_eq_p()
4057 first_out_arc (const_state_t state)  in first_out_arc()
5971   const_state_t const s1 = *(const_state_t const*)state_ptr_1;  in compare_states_for_equiv()
5972   const_state_t const s2 = *(const_state_t const*)state_ptr_2;  in compare_states_for_equiv()
7485 out_state_arcs_num (const_state_t state)  in out_state_arcs_num()
7506     = out_state_arcs_num (*(const_state_t const*) state_ptr_1);  in compare_transition_els_num()
7508     = out_state_arcs_num (*(const_state_t const*) state_ptr_2);  in compare_transition_els_num()