Searched refs:no_state_value (Results 1 – 1 of 1) sorted by relevance
7329 int no_state_value; in add_vect() local7451 no_state_value = tab->automaton->achieved_states_num; in add_vect()7455 tab->check_vect.safe_push (no_state_value); in add_vect()