Searched refs:pnOutsSolved (Results 1 – 1 of 1) sorted by relevance
717 int Saig_BmcSolveTargets( Saig_Bmc_t * p, int nStart, int * pnOutsSolved ) in Saig_BmcSolveTargets() argument729 if ( ((*pnOutsSolved)++ / Saig_ManPoNum(p->pAig)) < nStart ) in Saig_BmcSolveTargets()