Searched defs:out_state_arcs_num (Results 1 – 2 of 2) sorted by relevance
7485 out_state_arcs_num (const_state_t state) in out_state_arcs_num() function