Searched refs:iCiId (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaUnate.c | 138 int Gia_ManCheckUnate( Gia_Man_t * p, int iCiId, int iCoId ) in Gia_ManCheckUnate() argument 141 int CiObjId = Gia_ObjId(p, Gia_ManCi(p, iCiId)); in Gia_ManCheckUnate()
|
H A D | giaSatEdge.c | 244 int iCiId = Tim_ManBoxOutputFirst( pTim, iBox ); in Seg_ManCreateCnf() local 245 if ( iCiId == Gia_ObjCioId(pObj) ) // first input in Seg_ManCreateCnf() 270 Gia_Obj_t * pIn = Gia_ManCi( p->pGia, iCiId ); in Seg_ManCreateCnf()
|
H A D | giaSim.c | 764 static inline word * Gia_ManBuiltInDataPi( Gia_Man_t * p, int iCiId ) in Gia_ManBuiltInDataPi() argument 766 return Vec_WrdEntryP( p->vSimsPi, p->nSimWords * iCiId ); in Gia_ManBuiltInDataPi()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecClass.c | 656 int i, k, w, Ent, iCiId = 0, iCoId = 0; in Cec_ManSimSimulateRound() local 679 iCiId++; in Cec_ManSimSimulateRound() 685 pRes0 = (unsigned *)Vec_PtrEntry( vInfoCis, iCiId++ ); in Cec_ManSimSimulateRound() 775 assert( vInfoCis == NULL || iCiId == Gia_ManCiNum(p->pAig) ); in Cec_ManSimSimulateRound()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmcG.c | 315 int iCiId = Vec_IntEntry( &p->vCiMap, 2*k+0 ); in Bmcg_ManGenerateCex() local 317 … Abc_InfoSetBit( pCex->pData, Gia_ManRegNum(p->pGia) + iFrame * Gia_ManPiNum(p->pGia) + iCiId ); in Bmcg_ManGenerateCex()
|
H A D | bmcBmcS.c | 621 int iCiId = Vec_IntEntry( &p->vCiMap, 2*k+0 ); in Bmcs_ManGenerateCex() local 623 … Abc_InfoSetBit( pCex->pData, Gia_ManRegNum(p->pGia) + iFrame * Gia_ManPiNum(p->pGia) + iCiId ); in Bmcs_ManGenerateCex()
|