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