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