Searched refs:transnum (Results 1 – 1 of 1) sorted by relevance
753 void place_state (int *state, int statenum, int transnum) in place_state() argument757 int position = find_table_space (state, transnum); in place_state()