Searched defs:printSolution (Results 1 – 1 of 1) sorted by relevance
383 static void NoteSolution (picoos_uint32 * nrSol, picotrns_printSolutionFct printSolution, in NoteSolution()458 picoos_bool firstSolOnly, picotrns_printSolutionFct printSolution, in TransductionStep()562 picotrns_printSolutionFct printSolution, in picotrns_transduce()