Searched refs:last_worker_choice (Results 1 – 2 of 2) sorted by relevance
1473 int last_worker_choice = -1; in complete_solution() local1483 last_worker_choice = i; in complete_solution()1495 if (ptype->lattice_index < last_worker_choice) { in complete_solution()