Searched defs:nrSol (Results 1 – 1 of 1) sorted by relevance
142 picoos_uint32 nrSol; /* nr of solutions so far */ member383 static void NoteSolution (picoos_uint32 * nrSol, picotrns_printSolutionFct printSolution, in NoteSolution()