Searched refs:const_state_t (Results 1 – 2 of 2) sorted by relevance
196 typedef const struct state *const_state_t; typedef225 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()[all …]
199 typedef const struct state *const_state_t; typedef240 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()[all …]