Searched refs:num_keys_used (Results 1 – 1 of 1) sorted by relevance
52 int max_key_used = 0, num_keys_used = 0; in main() local133 num_keys_used++; in main()146 printf("\t%d, %d, %d,\n\t", map_ver, num_keys_used, max_states); in main()