Searched refs:num_flagged_by_path (Results 1 – 1 of 1) sorted by relevance
1248 int num_flagged_by_path; in astar_stack_flag_word_tokens_used() local1257 num_flagged_by_path = 0; in astar_stack_flag_word_tokens_used()1265 num_flagged_by_path++; in astar_stack_flag_word_tokens_used()1294 num_flagged_by_path++; in astar_stack_flag_word_tokens_used()1309 printf("complete path %.3d flagged %d\n", i, num_flagged_by_path); in astar_stack_flag_word_tokens_used()