/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaExist.c | 216 Vec_IntPush( vCis, iObj ); in Gia_ManQuantDupConeSupp_rec() 253 Vec_IntForEachEntry( vCis, iObj, i ) in Gia_ManQuantDupConeSupp() 255 if ( pvCis ) *pvCis = vCis; in Gia_ManQuantDupConeSupp() 295 Vec_Int_t * vOuts, * vOuts2, * vCis; in Gia_ManQuantExist2() local 305 Vec_IntFree( vCis ); in Gia_ManQuantExist2() 338 Vec_IntFree( vCis ); in Gia_ManQuantExist2() 366 Vec_IntFree( vCis ); in Gia_ManQuantExist2() 425 Vec_IntForEachEntry( vCis, iObj, i ) in Gia_ManQuantExist2Dup() 446 Vec_IntForEachEntry( vCis, iObj, i ) in Gia_ManQuantExist2Dup() 458 if ( Vec_IntSize(vCis) == 0 ) in Gia_ManQuantExistInt() [all …]
|
H A D | giaSupp.c | 42 Vec_Int_t * vCis[2]; member 71 p->vCis[0] = Vec_IntAlloc( 512 ); in Gia_ManSuppStart() 72 p->vCis[1] = Vec_IntAlloc( 512 ); in Gia_ManSuppStart() 85 Vec_IntFreeP( &p->vCis[0] ); in Gia_ManSuppStop() 86 Vec_IntFreeP( &p->vCis[1] ); in Gia_ManSuppStop() 229 Vec_IntPush( vCis, iObj ); in Gia_ManGatherSupp_rec() 244 Vec_IntClear( p->vCis[n] ); in Gia_ManGatherSupp() 342 Vec_Int_t * vCis[2]; member 398 Vec_IntFreeP( &p->vCis[0] ); in Gia_Man2SuppStop() 399 Vec_IntFreeP( &p->vCis[1] ); in Gia_Man2SuppStop() [all …]
|
H A D | giaAgi.c | 48 Vec_Int_t vCis; // comb inputs member 59 …ManCiNum( Agi_Man_t * p ) { return Vec_IntSize( &p->vCis ); … in Agi_ManCiNum() 95 p->pObjs[iObj] = AGI_PI | (word)Vec_IntSize(&p->vCis); in Agi_ManAppendCi() 96 Vec_IntPush( &p->vCis, iObj ); in Agi_ManAppendCi() 115 #define Agi_ManForEachCi( p, iCi, i ) Vec_IntForEachEntry( &p->vCis, iCi, i ) 152 ABC_FREE( p->vCis.pArray ); in Agi_ManFree()
|
H A D | giaGlitch.c | 58 Vec_Int_t * vCis; // the vector of CIs (PIs + LOs) member 73 static inline int Gli_ManCiNum( Gli_Man_t * p ) { return Vec_IntSize(p->vCis); … in Gli_ManCiNum() 75 static inline int Gli_ManPiNum( Gli_Man_t * p ) { return Vec_IntSize(p->vCis) - … in Gli_ManPiNum() 79 …i_ManNodeNum( Gli_Man_t * p ) { return p->nObjs - Vec_IntSize(p->vCis) - Vec_IntSize(p->v… in Gli_ManNodeNum() 82 …Ci( Gli_Man_t * p, int v ) { return Gli_ManObj( p, Vec_IntEntry(p->vCis,v) ); … in Gli_ManCi() 109 for ( i = 0; (i < Vec_IntSize(p->vCis)) && (pObj = Gli_ManObj(p,Vec_IntEntry(p->vCis,i))); i++ ) 149 p->vCis = Vec_IntAlloc( 1000 ); in Gli_ManAlloc() 172 Vec_IntFree( p->vCis ); in Gli_ManStop() 293 Vec_IntPush( p->vCis, pObj->Handle ); in Gli_ManCreateCi()
|
H A D | gia.c | 33 Vec_Int_t vCis; member 85 Vec_IntGrow( &p->vCis, 100 ); in Slv_ManAlloc() 99 Vec_IntErase( &p->vCis ); in Slv_ManFree() 126 assert(!iLit1), iLit1 = Vec_IntSize(&p->vCis)+1, Vec_IntPush(&p->vCis, iObj); in Slv_ManAppendObj()
|
H A D | giaIso.c | 889 Vec_IntClear( vCis ); in Gia_ManFindCaninicalOrder() 900 Vec_IntPush( vCis, Gia_ObjId(p, pObj) ); in Gia_ManFindCaninicalOrder() 933 Vec_IntPush( vCis, Gia_ObjId(p, pObj) ); in Gia_ManFindCaninicalOrder() 941 Gia_ManForEachObjVec( vCis, p, pObj, i ) in Gia_ManFindCaninicalOrder() 961 Vec_Int_t * vCis, * vAnds, * vCos; in Gia_ManIsoCanonicize() local 974 vCis = Vec_IntAlloc( Gia_ManCiNum(p) ); in Gia_ManIsoCanonicize() 977 Gia_ManFindCaninicalOrder( p, vCis, vAnds, vCos, NULL ); in Gia_ManIsoCanonicize() 981 Vec_IntFree( vCis ); in Gia_ManIsoCanonicize() 1002 Vec_Int_t * vCis, * vAnds, * vCos; in Gia_ManIsoFindString() local 1022 vCis = Vec_IntAlloc( Gia_ManCiNum(pPart) ); in Gia_ManIsoFindString() [all …]
|
H A D | giaForce.c | 59 Vec_Int_t * vCis; // the vector of CIs (PIs + LOs) member 71 static inline int Frc_ManCiNum( Frc_Man_t * p ) { return Vec_IntSize(p->vCis)… in Frc_ManCiNum() 73 static inline int Frc_ManPiNum( Frc_Man_t * p ) { return Vec_IntSize(p->vCis)… in Frc_ManPiNum() 76 …anNodeNum( Frc_Man_t * p ) { return p->nObjs - Vec_IntSize(p->vCis) - Vec_IntSize(p->v… in Frc_ManNodeNum() 79 … Frc_Man_t * p, int i ) { return Frc_ManObj( p, Vec_IntEntry(p->vCis,i) ); … in Frc_ManCi() 104 for ( i = 0; (i < Vec_IntSize(p->vCis)) && (pObj = Frc_ManObj(p,Vec_IntEntry(p->vCis,i))); i++ ) 162 p->vCis = Vec_IntAlloc( Gia_ManCiNum(pGia) ); in Frc_ManStartSimple() 181 Vec_IntPush( p->vCis, hHandle ); in Frc_ManStartSimple() 445 p->vCis = Vec_IntAlloc( Gia_ManCiNum(pGia) ); in Frc_ManStart() 464 Vec_IntPush( p->vCis, hHandle ); in Frc_ManStart() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDetect.c | 499 Vec_IntPush( vCis, Abc_ObjId(pObj) ); in Abc_NtkFinMiterCollect_rec() 505 Abc_NtkFinMiterCollect_rec( pFanin, vCis, vNodes ); in Abc_NtkFinMiterCollect_rec() 512 Vec_IntClear( vCis ); in Abc_NtkFinMiterCollect() 516 Abc_NtkFinMiterCollect_rec( Abc_ObjFanin0(pObj), vCis, vNodes ); in Abc_NtkFinMiterCollect() 741 Abc_NtkForEachObjVec( vCis, pNtk, pObj, i ) in Abc_NtkFinMiterToGia() 793 assert( Vec_IntSize(vPat) == Vec_IntSize(vCis) ); in Abc_NtkFinSimulateOne() 794 Abc_NtkForEachObjVec( vCis, pNtk, pObj, i ) in Abc_NtkFinSimulateOne() 925 vPat = Vec_IntAlloc( Vec_IntSize(vCis) ); in Abc_NtkFinCheckPair() 926 for ( i = 0; i < Vec_IntSize(vCis); i++ ) in Abc_NtkFinCheckPair() 985 vPat = Vec_IntAlloc( Vec_IntSize(vCis) ); in Abc_NtkFinRefinement() [all …]
|
H A D | abcOrder.c | 116 Vec_PtrWriteEntry( pNtk->vCis, Vec_PtrSize(vSupp)-1-i, pObj ); in Abc_NtkChangeCiOrder() 119 Vec_PtrWriteEntry( pNtk->vCis, i, pObj ); in Abc_NtkChangeCiOrder()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/ |
H A D | retArea.c | 413 Vec_Ptr_t * vCis, * vCos, * vBoxes, * vBoxesNew, * vNodes, * vBuffers; in Abc_NtkRetimeMinAreaUpdateLatches() local 417 Vec_PtrShrink( pNtk->vCis, Abc_NtkCiNum(pNtk) - Abc_NtkLatchNum(pNtk) ); in Abc_NtkRetimeMinAreaUpdateLatches() 419 vCis = pNtk->vCis; pNtk->vCis = NULL; in Abc_NtkRetimeMinAreaUpdateLatches() 512 Vec_PtrPush( vCis, pLatchOut ); in Abc_NtkRetimeMinAreaUpdateLatches() 541 pNtk->vCis = vCis; in Abc_NtkRetimeMinAreaUpdateLatches()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigMan.c | 59 p->vCis = Vec_PtrAlloc( 100 ); in Aig_ManStart() 203 Vec_PtrFreeP( &p->vCis ); in Aig_ManStop() 318 Vec_PtrForEachEntry( Aig_Obj_t *, p->vCis, pObj, i ) in Aig_ManCiCleanup() 321 Vec_PtrWriteEntry( p->vCis, k++, pObj ); in Aig_ManCiCleanup() 323 Vec_PtrWriteEntry( p->vCis, k++, pObj ); in Aig_ManCiCleanup() 327 Vec_PtrShrink( p->vCis, k ); in Aig_ManCiCleanup() 328 p->nObjs[AIG_OBJ_CI] = Vec_PtrSize( p->vCis ); in Aig_ManCiCleanup()
|
H A D | aigScl.c | 160 Vec_Ptr_t * vNodes, * vCis, * vCos; in Aig_ManSeqCleanup() local 204 vCis = Vec_PtrAlloc( Aig_ManCiNum(p) ); in Aig_ManSeqCleanup() 207 Vec_PtrPush( vCis, pObj ); in Aig_ManSeqCleanup() 229 assert( Vec_PtrSize(vCis) == nTruePis + p->nRegs ); in Aig_ManSeqCleanup() 231 Vec_PtrFree( p->vCis ); p->vCis = vCis; in Aig_ManSeqCleanup() 233 p->nObjs[AIG_OBJ_CI] = Vec_PtrSize( p->vCis ); in Aig_ManSeqCleanup()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigScl.c | 145 Vec_Ptr_t * vNodes, * vCis, * vCos; in Aig_ManSeqCleanup() local 190 vCis = Vec_PtrAlloc( Aig_ManPiNum(p) ); in Aig_ManSeqCleanup() 193 Vec_PtrPush( vCis, pObj ); in Aig_ManSeqCleanup() 215 assert( Vec_PtrSize(vCis) == nTruePis + p->nRegs ); in Aig_ManSeqCleanup() 217 Vec_PtrFree( p->vPis ); p->vPis = vCis; in Aig_ManSeqCleanup()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwk.h | 67 Vec_Ptr_t * vCis; // the primary inputs of the extracted part member 131 …k_ManCi( Nwk_Man_t * p, int i ) { return (Nwk_Obj_t *)Vec_PtrEntry( p->vCis, i ); } in Nwk_ManCi() 180 Vec_PtrForEachEntry( Nwk_Obj_t *, p->vCis, pObj, i ) 184 Vec_PtrForEachEntry( Nwk_Obj_t *, p->vCis, pObj, i ) \ 206 Vec_PtrForEachEntryStop( Nwk_Obj_t *, p->vCis, pObj, i, (p)->nTruePis ) 210 …for ( i = 0; (i < (p)->nLatches) && (((pObj) = (Nwk_Obj_t *)Vec_PtrEntry(p->vCis, i+(p)->nTruePis)…
|
H A D | nwkMan.c | 50 p->vCis = Vec_PtrAlloc( 1000 ); in Nwk_ManAlloc() 76 if ( p->vCis ) Vec_PtrFree( p->vCis ); in Nwk_ManFree()
|
H A D | nwkObj.c | 74 pObj->PioId = Vec_PtrSize( p->vCis ); in Nwk_ManCreateCi() 75 Vec_PtrPush( p->vCis, pObj ); in Nwk_ManCreateCi()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmMig.h | 68 Vec_Int_t vCis; // CI IDs member 104 static inline int Mig_ManCiNum( Mig_Man_t * p ) { return Vec_IntSize(&p->vCis); … in Mig_ManCiNum() 106 static inline int Mig_ManPiNum( Mig_Man_t * p ) { return Vec_IntSize(&p->vCis) - p->… in Mig_ManPiNum() 110 … Mig_ManNodeNum( Mig_Man_t * p ) { return p->nObjs - Vec_IntSize(&p->vCis) - Vec_IntSize(&p->… in Mig_ManNodeNum() 117 …_ManCi( Mig_Man_t * p, int v ) { return Mig_ManObj( p, Vec_IntEntry(&p->vCis,v) ); … in Mig_ManCi() 241 Mig_ObjSetCioId( pObj, Vec_IntSize(&p->vCis) ); in Mig_ManAppendCi() 242 Vec_IntPush( &p->vCis, Mig_ObjId(pObj) ); in Mig_ManAppendCi() 328 for ( i = 0; (i < Vec_IntSize(&p->vCis)) && ((pObj) = Mig_ManCi(p, i)); i++ )
|
H A D | mpmMig.c | 51 Vec_IntGrow( &p->vCis, 1024 ); in Mig_ManStart() 73 ABC_FREE( p->vCis.pArray ); in Mig_ManStop()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saig.h | 79 …_Man_t * p, int i ) { return (Aig_Obj_t *)Vec_PtrEntry(p->vCis, Saig_ManPiNum(p)+i… in Saig_ManLo() 87 …j ) { assert(Saig_ObjIsLi(p, pObj)); return (Aig_Obj_t *)Vec_PtrEntry(p->vCis, Saig_ManPiNum(p)+A… in Saig_ObjLiToLo() 92 Vec_PtrForEachEntryStop( Aig_Obj_t *, p->vCis, pObj, i, Saig_ManPiNum(p) ) 97 …for ( i = 0; (i < Saig_ManRegNum(p)) && (((pObj) = (Aig_Obj_t *)Vec_PtrEntry(p->vCis, i+Saig_ManPi…
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/ |
H A D | sclTime.h | 46 Vec_Int_t * vCis; // comb inputs member 118 static inline SC_Time * Scl_ManAlloc( SC_Lib * pLib, Vec_Int_t * vCis, Vec_Int_t * vCos, int nObjs ) in Scl_ManAlloc() argument 123 p->vCis = vCis; in Scl_ManAlloc()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsSat.c | 159 for ( i = 0; i < Vec_PtrSize(p->pAigWin->vCis); i++ ) in Abc_NtkAddOneHotness() 160 for ( k = i+1; k < Vec_PtrSize(p->pAigWin->vCis); k++ ) in Abc_NtkAddOneHotness()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcNtk.c | 65 pNtk->vCis = Vec_PtrAlloc( 100 ); in Abc_NtkAlloc() 1336 Vec_PtrFree( pNtk->vCis ); in Abc_NtkDelete() 1774 Vec_PtrWriteEntry( pNtk->vCis, k++, pObj ); in Abc_NtkTrim() 1777 Vec_PtrShrink( pNtk->vCis, k ); in Abc_NtkTrim() 1996 Vec_PtrWriteEntry( pNtk->vCis, i, Vec_PtrEntry(pNtk->vCis, k) ); in Abc_NtkPermute() 1997 Vec_PtrWriteEntry( pNtk->vCis, k, pTemp ); in Abc_NtkPermute() 2035 …Vec_PtrWriteEntry( pNtk->vCis, Abc_NtkPiNum(pNtk)+i, Vec_PtrEntry(pNtk->vCis, Abc_NtkPiNum(pNtk)+k… in Abc_NtkPermute() 2096 Vec_PtrClear( pNtk->vCis ); in Abc_NtkPermutePiUsingFanout() 2098 Vec_PtrPush( pNtk->vCis, pNode ); in Abc_NtkPermutePiUsingFanout() 2149 Vec_PtrFreeP( &pNtk->vCis ); in Abc_NtkUnpermute() [all …]
|
H A D | abcObj.c | 130 Vec_PtrPush( pNtk->vCis, pObj ); in Abc_NtkCreateObj() 141 if ( pNtk->vCis ) Vec_PtrPush( pNtk->vCis, pObj ); in Abc_NtkCreateObj() 204 Vec_PtrRemove( pNtk->vCis, pObj ); in Abc_NtkDeleteObj() 214 if ( pNtk->vCis ) Vec_PtrRemove( pNtk->vCis, pObj ); in Abc_NtkDeleteObj()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnObj.c | 119 …IsCi(p, iObj) ) Wln_ObjSetFanin( p, iObj, 1, Vec_IntSize(&p->vCis) ), Vec_IntPush( &p->vCis, iObj … in Wln_ObjAlloc()
|
H A D | wlnNtk.c | 50 Vec_IntGrow( &p->vCis, 111 ); in Wln_NtkAlloc() 79 ABC_FREE( p->vCis.pArray ); in Wln_NtkFree() 104 Mem += 4 * p->vCis.nCap; in Wln_NtkMemUsage()
|