Searched refs:nSols (Results 1 – 1 of 1) sorted by relevance
34 std::atomic<unsigned> nSols; variable235 if (++nSols == 1 && verbose) { in partial_solve()265 nSols = 0; in solve()273 return nSols; in solve()