Lines Matching refs:nObjs
1329 int Val0, Val1, nObjs, i, k, iBit = 0; in Aig_ManCounterExampleValueStart() local
1338 nObjs = Aig_ManObjNumMax(pAig); in Aig_ManCounterExampleValueStart()
1342 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + 0 ); in Aig_ManCounterExampleValueStart()
1346 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObj) ); in Aig_ManCounterExampleValueStart()
1350 Val0 = Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjFaninId0(pObj) ); in Aig_ManCounterExampleValueStart()
1351 Val1 = Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjFaninId1(pObj) ); in Aig_ManCounterExampleValueStart()
1353 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObj) ); in Aig_ManCounterExampleValueStart()
1358 Val0 = Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjFaninId0(pObj) ); in Aig_ManCounterExampleValueStart()
1360 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObj) ); in Aig_ManCounterExampleValueStart()
1366 if ( Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObjRi) ) ) in Aig_ManCounterExampleValueStart()
1367 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * (i+1) + Aig_ObjId(pObjRo) ); in Aig_ManCounterExampleValueStart()
1371 …assert( Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * pCex->iFrame + Aig_ObjId(Aig_ManCo(pAig,… in Aig_ManCounterExampleValueStart()