Searched defs:states_num (Results 1 – 2 of 2) sorted by relevance
6045 count_states_and_arcs (automaton_t automaton, int *states_num, in count_states_and_arcs()6061 int states_num; in build_automaton() local8779 int states_num; in output_statistics() local
5927 init_equiv_class (states, states_num) in init_equiv_class() argument6193 count_states_and_arcs (automaton, states_num, arcs_num) in count_states_and_arcs() argument6212 int states_num; local