Searched refs:Maj_ManPrintSolution (Results 1 – 2 of 2) sorted by relevance
329 static void Maj_ManPrintSolution( Maj_Man_t * p ) in Maj_ManPrintSolution() function497 Maj_ManPrintSolution( p ); in Maj_ManExactSynthesis2()
233 void Maj_ManPrintSolution( Maj_Man_t * p ) in Maj_ManPrintSolution() function397 Maj_ManPrintSolution( p ); in Maj_ManExactSynthesis()