Searched refs:pResultOne (Results 1 – 1 of 1) sorted by relevance
1624 unsigned * pResultTot, * pResultOne; in Fra_ClausEstimateCoverage() local1643 pResultOne = Fra_ObjSim( pComb, Aig_ManCo(p->pAig, 0)->Id ); in Fra_ClausEstimateCoverage()1653 Fra_ClausEstimateCoverageOne( pComb, pStart + Beg, End-Beg, pVar2Id, pResultOne ); in Fra_ClausEstimateCoverage()1656 pResultTot[w] |= pResultOne[w]; in Fra_ClausEstimateCoverage()