Searched refs:num_pushed (Results 1 – 1 of 1) sorted by relevance
58 int num_pushed = 0; variable690 tprintf("\tpushing %d node %f\n", num_pushed, priority); in push_queue()692 num_pushed++; in push_queue()