Searched refs:curr_counted_states_num (Results 1 – 1 of 1) sorted by relevance
6264 static int curr_counted_states_num; variable6274 curr_counted_states_num++; in incr_states_and_arcs_nums()6284 curr_counted_states_num = 0; in count_states_and_arcs()6287 *states_num = curr_counted_states_num; in count_states_and_arcs()