/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioJson.c | 130 Json_Extract_rec( pFile, pStr, vObjs, Json_EntryNode(vObjs, Entry2), 1, pCount ); in Json_Extract_rec() 135 Json_Extract_rec( pFile, pStr, vObjs, Json_EntryNode(vObjs, Entry2), 1, pCount ); in Json_Extract_rec() 140 Json_Extract_rec( pFile, pStr, vObjs, Json_EntryNode(vObjs, Entry2), 1, pCount ); in Json_Extract_rec() 142 Json_Extract_rec( pFile, pStr, vObjs, Json_EntryNode(vObjs, Entry2), 1, pCount ); in Json_Extract_rec() 161 Json_Extract_rec( pFile, pStr, vObjs, Vec_WecEntry(vObjs, 0), 0, &Count ); in Json_Extract() 277 Json_Write_rec( pFile, pStr, vObjs, Vec_WecEntry(vObjs, 0), 1, 0, 1 ); in Json_Write() 310 Vec_Wec_t * vObjs; in Json_Read() local 383 return vObjs; in Json_Read() 400 Vec_Wec_t * vObjs; in Json_ReadTest() local 402 if ( vObjs == NULL ) in Json_ReadTest() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
H A D | vecHash.h | 93 Vec_IntFill( p->vObjs, 4, 0 ); in Hash_IntManStart() 99 Vec_IntFree( p->vObjs ); in Hash_IntManStop() 162 nObjs = Vec_IntSize(p->vObjs)/4; in Hash_Int2ManInsert() 180 Vec_IntPush( p->vObjs, iData0 ); in Hash_Int2ManInsert() 181 Vec_IntPush( p->vObjs, iData1 ); in Hash_Int2ManInsert() 182 Vec_IntPush( p->vObjs, iData2 ); in Hash_Int2ManInsert() 183 Vec_IntPush( p->vObjs, 0 ); in Hash_Int2ManInsert() 216 nObjs = Vec_IntSize(p->vObjs)/4; in Hsh_Int3ManInsert() 234 Vec_IntPush( p->vObjs, iData0 ); in Hsh_Int3ManInsert() 235 Vec_IntPush( p->vObjs, iData1 ); in Hsh_Int3ManInsert() [all …]
|
H A D | vecHsh.h | 72 Vec_Wrd_t * vObjs; // hash objects member 253 p->vObjs = Vec_WrdAlloc( nEntries ); in Hsh_IntManStart() 259 Vec_WrdFree( p->vObjs ); in Hsh_IntManStop() 264 return Vec_WrdSize(p->vObjs); in Hsh_IntManEntryNum() 318 if ( Vec_WrdSize(p->vObjs) > Vec_IntSize(p->vTable) ) in Hsh_IntManAdd() 321 for ( i = 0; i < Vec_WrdSize(p->vObjs); i++ ) in Hsh_IntManAdd() 330 *pPlace = Vec_WrdSize(p->vObjs); in Hsh_IntManAdd() 331 Vec_WrdPush( p->vObjs, Hsh_IntWord(iData, -1) ); in Hsh_IntManAdd() 332 return Vec_WrdSize(p->vObjs) - 1; in Hsh_IntManAdd() 334 return (word *)Hsh_IntObj(p, *pPlace) - Vec_WrdArray(p->vObjs); in Hsh_IntManAdd() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifDsd.c | 85 Vec_Ptr_t vObjs; // objects member 179 return Vec_PtrSize( &p->vObjs ); in If_DsdManObjNum() 257 Vec_PtrPush( &p->vObjs, pObj ); in If_DsdObjAlloc() 279 Vec_PtrGrow( &p->vObjs, 10000 ); in If_DsdManAlloc() 313 if ( Vec_PtrSize(&p->vObjs) > 2 ) in If_DsdManAllocIsops() 361 ABC_FREE( p->vObjs.pArray ); in If_DsdManFree() 474 pObj = If_DsdVecObj( &p->vObjs, Id ); in If_DsdManCheckNonDec_rec() 822 pObj = If_DsdVecObj( &p->vObjs, Id ); in If_DsdManCheckNonTriv() 1030 *pSpot = Vec_PtrSize( &p->vObjs ); in If_DsdObjFindOrAdd() 1066 Num = Vec_PtrSize(&p->vObjs); in If_DsdManSave() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcHaig.c | 48 Vec_Ptr_t * vObjs; in Abc_NtkHaigCollectMembers() local 51 vObjs = Vec_PtrAlloc( 4098 ); in Abc_NtkHaigCollectMembers() 52 Vec_PtrForEachEntry( Hop_Obj_t *, p->vObjs, pObj, i ) in Abc_NtkHaigCollectMembers() 57 Vec_PtrPush( vObjs, pObj ); in Abc_NtkHaigCollectMembers() 59 return vObjs; in Abc_NtkHaigCollectMembers() 163 Vec_PtrForEachEntry( Hop_Obj_t *, p->vObjs, pObj, i ) in Abc_NtkHaigCountFans() 227 Vec_PtrForEachEntry( Hop_Obj_t *, p->vObjs, pObj, i ) in Abc_NtkHaigReconstruct() 231 pNew->vObjs = Vec_PtrAlloc( p->nCreated ); in Abc_NtkHaigReconstruct() 232 Vec_PtrPush( pNew->vObjs, Hop_ManConst1(pNew) ); in Abc_NtkHaigReconstruct() 239 Vec_PtrForEachEntry( Hop_Obj_t *, p->vObjs, pObj, i ) in Abc_NtkHaigReconstruct() [all …]
|
H A D | abcDetect.c | 414 Vec_IntSort( vObjs, 0 ); in Abc_NtkDetectObjClasses() 423 Vec_IntForEachEntry( vObjs, iObj, i ) in Abc_NtkDetectObjClasses() 464 Vec_Int_t * vObjs; in Abc_NtkDetectClassesTest2() local 470 Vec_IntPush( vObjs, Abc_ObjId(pObj) ); in Abc_NtkDetectClassesTest2() 476 Vec_IntFree( vObjs ); in Abc_NtkDetectClassesTest2() 1097 return vObjs; in Abc_NtkFinComputeTypes() 1102 Vec_Int_t * vObjs = Vec_IntAlloc( 100 ); in Abc_NtkFinComputeObjects() local 1106 Vec_IntPush( vObjs, iObj ); in Abc_NtkFinComputeObjects() 1109 Vec_IntUniqify( vObjs ); in Abc_NtkFinComputeObjects() 1110 return vObjs; in Abc_NtkFinComputeObjects() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMan.c | 307 Vec_Int_t * vObjs; in Gia_ManPrintTents() local 311 vObjs = Vec_IntAlloc( 100 ); in Gia_ManPrintTents() 315 Vec_IntPush( vObjs, 0 ); in Gia_ManPrintTents() 317 nSizePrev = Vec_IntSize(vObjs); in Gia_ManPrintTents() 336 Vec_IntFree( vObjs ); in Gia_ManPrintTents() 954 return vObjs; in Gia_ManDfsCollect() 1126 if ( Vec_IntSize(vObjs) > 0 ) in Gia_ManDfsSlacks() 1150 Vec_IntFree( vObjs ); in Gia_ManDfsSlacks() 1257 if ( vObjs && !Vec_BitEntry(vObjs, i) ) in Gia_ManWriteNames() 1331 if ( vObjs ) in Gia_ManDumpVerilog() [all …]
|
H A D | giaSupp.c | 43 Vec_Int_t * vObjs[2]; member 73 p->vObjs[0] = Vec_IntAlloc( 512 ); in Gia_ManSuppStart() 74 p->vObjs[1] = Vec_IntAlloc( 512 ); in Gia_ManSuppStart() 87 Vec_IntFreeP( &p->vObjs[0] ); in Gia_ManSuppStop() 88 Vec_IntFreeP( &p->vObjs[1] ); in Gia_ManSuppStop() 235 Vec_IntPush( vObjs, iObj ); in Gia_ManGatherSupp_rec() 245 Vec_IntClear( p->vObjs[n] ); in Gia_ManGatherSupp() 343 Vec_Int_t * vObjs[2]; member 400 Vec_IntFreeP( &p->vObjs[0] ); in Gia_Man2SuppStop() 401 Vec_IntFreeP( &p->vObjs[1] ); in Gia_Man2SuppStop() [all …]
|
H A D | giaDfs.c | 478 Gia_ManCollectSeq_rec( p, Gia_ObjFaninId0(pObj, Id), vRoots, vObjs ); in Gia_ManCollectSeq_rec() 479 Gia_ManCollectSeq_rec( p, Gia_ObjFaninId1(pObj, Id), vRoots, vObjs ); in Gia_ManCollectSeq_rec() 489 Vec_IntPush( vObjs, Id ); in Gia_ManCollectSeq_rec() 493 Vec_Int_t * vObjs, * vRoots; in Gia_ManCollectSeq() local 503 vObjs = Vec_IntAlloc( 1000 ); in Gia_ManCollectSeq() 504 Vec_IntPush( vObjs, 0 ); in Gia_ManCollectSeq() 506 Gia_ManCollectSeq_rec( p, iRoot, vRoots, vObjs ); in Gia_ManCollectSeq() 508 return vObjs; in Gia_ManCollectSeq() 512 Vec_Int_t * vObjs; in Gia_ManCollectSeqTest() local 520 vObjs = Gia_ManCollectSeq( p, &i, 1 ); in Gia_ManCollectSeqTest() [all …]
|
H A D | giaFalse.c | 180 Gia_ManForEachObjVec( vObjs, p, pObj, i ) in Gia_ManCheckFalseOne() 181 pObj->Value = Vec_IntSize(vObjs) - 1 - i; in Gia_ManCheckFalseOne() 188 Shift[1] = 3 * Vec_IntSize(vPath) + Vec_IntSize(vObjs); in Gia_ManCheckFalseOne() 190 Gia_ManForEachObjVec( vObjs, p, pObj, i ) in Gia_ManCheckFalseOne() 275 Vec_IntFree( vObjs ); in Gia_ManCheckFalseOne() 368 Vec_Int_t * vObjs = Gia_ManCollectNodesCis( p, &iObj, 1 ); in Gia_ManCheckOne() local 369 Gia_ManForEachObjVec( vObjs, p, pObj, i ) in Gia_ManCheckOne() 370 pObj->Value = Vec_IntSize(vObjs) - 1 - i; in Gia_ManCheckOne() 376 Shift[1] = 3 * Vec_IntSize(vPath) + Vec_IntSize(vObjs); in Gia_ManCheckOne() 378 Gia_ManForEachObjVec( vObjs, p, pObj, i ) in Gia_ManCheckOne() [all …]
|
H A D | giaUtil.c | 780 Vec_Ptr_t * vObjs; in Gia_ManBfsForCrossCut() local 783 Vec_VecForEachLevel( vLevels, vObjs, i ) in Gia_ManBfsForCrossCut() 1533 if ( Vec_IntSize(vObjs) == Limit ) in Gia_ManCollectObjs_rec() 1542 if ( Vec_IntSize(vObjs) == Limit ) in Gia_ManCollectObjs_rec() 1545 if ( Vec_IntSize(vObjs) == Limit ) in Gia_ManCollectObjs_rec() 1548 Vec_IntPush( vObjs, iObjId ); in Gia_ManCollectObjs_rec() 1556 Vec_Int_t * vObjs; in Gia_ManComputePoTruthTables() local 1561 vObjs = Vec_IntAlloc( nTruths ); in Gia_ManComputePoTruthTables() 1571 Vec_IntClear( vObjs ); in Gia_ManComputePoTruthTables() 1576 nTotalNodes += Vec_IntSize( vObjs ); in Gia_ManComputePoTruthTables() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauTree.c | 83 Vec_Ptr_t * vObjs; // objects member 433 pObj->Id = Vec_PtrSize( p->vObjs ); in Dss_ObjAllocNtk() 435 Vec_PtrPush( p->vObjs, pObj ); in Dss_ObjAllocNtk() 462 p->vObjs = Vec_PtrAlloc( 100 ); in Dss_NtkAlloc() 474 Vec_PtrFree( p->vObjs ); in Dss_NtkFree() 770 Vec_PtrPush( p->vObjs, pObj ); in Dss_ObjAlloc() 874 *pSpot = Vec_PtrSize( p->vObjs ); in Dss_ObjFindOrAdd() 976 p->vObjs = Vec_PtrAlloc( 10000 ); in Dss_ManAlloc() 1000 Vec_PtrFreeP( &p->vObjs ); in Dss_ManFree() 1069 Dss_VecForEachObj( p->vObjs, pObj, i ) in Dss_ManDump() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopMan.c | 104 if ( p->vObjs ) Vec_PtrFree( p->vObjs ); in Hop_ManStop() 122 Vec_Ptr_t * vObjs; in Hop_ManCleanup() local 128 vObjs = Vec_PtrAlloc( 100 ); in Hop_ManCleanup() 131 Vec_PtrPush( vObjs, pNode ); in Hop_ManCleanup() 133 Vec_PtrForEachEntry( Hop_Obj_t *, vObjs, pNode, i ) in Hop_ManCleanup() 135 Vec_PtrFree( vObjs ); in Hop_ManCleanup()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
H A D | cbaNtk.c | 433 if ( Vec_IntSize(vObjs) < 2 ) in Cba_NtkObjOrder() 436 Vec_IntForEachEntry( vObjs, iObj, i ) in Cba_NtkObjOrder() 454 Vec_IntClear( vObjs ); in Cba_NtkObjOrder() 607 Vec_IntForEachEntry( vObjs, iObj, i ) in Cba_NtkFindMissing() 638 Vec_IntPush( vObjs, iObj ); in Cba_NtkCollectDfs_rec() 646 Vec_IntPush( vObjs, iObj ); in Cba_NtkCollectDfs() 648 Vec_IntPush( vObjs, iObj ); in Cba_NtkCollectDfs() 651 Vec_IntForEachEntry( vObjs, iObj, i ) in Cba_NtkCollectDfs() 662 Vec_IntPush( vObjs, iObj ); in Cba_NtkCollectDfs() 671 return vObjs; in Cba_NtkCollectDfs() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRef.c | 270 p->vObjs = Vec_IntAlloc( 100 ); in Rnm_ManStart() 313 Vec_IntFree( p->vObjs ); in Rnm_ManStop() 340 Rnm_ManCollect_rec( p, Gia_ObjFanin0(pObj), vObjs, nAddOn ); in Rnm_ManCollect_rec() 348 pObj->Value = Vec_IntSize(vObjs) + nAddOn; in Rnm_ManCollect_rec() 349 Vec_IntPush( vObjs, Gia_ObjId(p, pObj) ); in Rnm_ManCollect_rec() 366 Vec_IntClear( p->vObjs ); in Rnm_ManCollect() 368 Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i ) in Rnm_ManCollect() 381 Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i ) in Rnm_ManCleanValues() 416 Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i ) in Rnm_ManSensitize() 643 Gia_ManForEachObjVec( vObjs, p, pObj, i ) in Rnm_ManVerifyUsingTerSim() [all …]
|
H A D | absRefJ.c | 217 p->vObjs = Vec_IntAlloc( 1000 ); in Rf2_ManStart() 243 Vec_IntFree( p->vObjs ); in Rf2_ManStop() 272 Rf2_ManCollect_rec( p, Gia_ObjFanin0(pObj), vObjs ); in Rf2_ManCollect_rec() 275 Rf2_ManCollect_rec( p, Gia_ObjFanin0(pObj), vObjs ); in Rf2_ManCollect_rec() 280 Vec_IntPush( vObjs, Gia_ObjId(p, pObj) ); in Rf2_ManCollect_rec() 295 Vec_IntClear( p->vObjs ); in Rf2_ManCollect() 297 Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i ) in Rf2_ManCollect() 335 Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i ) in Rf2_ManSensitize() 414 Gia_ManForEachObjVec( vObjs, p, pObj, i ) in Rf2_ManVerifyUsingTerSim() 728 Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i ) in Rf2_ManPropagate() [all …]
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigMan.c | 75 p->vObjs = Vec_PtrAlloc( 1000 ); in Aig_ManStart() 267 if ( p->vObjs ) Vec_PtrFree( p->vObjs ); in Aig_ManStop() 293 Vec_Ptr_t * vObjs; in Aig_ManCleanup() local 298 vObjs = Vec_PtrAlloc( 100 ); in Aig_ManCleanup() 301 Vec_PtrPush( vObjs, pNode ); in Aig_ManCleanup() 303 Vec_PtrForEachEntry( vObjs, pNode, i ) in Aig_ManCleanup() 305 Vec_PtrFree( vObjs ); in Aig_ManCleanup()
|
H A D | aigRet.c | 57 Vec_Ptr_t * vObjs; // retiming objects member 143 Vec_PtrForEachEntry( p->vObjs, pObj, i ) 324 pRtm->vObjs = Vec_PtrAlloc( Aig_ManObjNum(p) ); in Rtm_ManAlloc() 344 Vec_PtrFree( p->vObjs ); in Rtm_ManFree() 403 pObj->Id = Vec_PtrSize(pRtm->vObjs); in Rtm_ObjAlloc() 404 Vec_PtrPush( pRtm->vObjs, pObj ); in Rtm_ObjAlloc() 611 pObjRtm = Vec_PtrEntry( pRtm->vObjs, 0 ); in Rtm_ManMarkAutoFwd() 663 pObjRtm = Vec_PtrEntry( pRtm->vObjs, 0 ); in Rtm_ManMarkAutoBwd() 788 pLatches = ALLOC( int, 2 * Vec_PtrSize(pRtm->vObjs) ); in Rtm_ManToAig() 797 pNew = Aig_ManStart( Vec_PtrSize(pRtm->vObjs) + nLatches ); in Rtm_ManToAig() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigMan.c | 61 p->vObjs = Vec_PtrAlloc( 1000 ); in Aig_ManStart() 205 Vec_PtrFreeP( &p->vObjs ); in Aig_ManStop() 267 Vec_Ptr_t * vObjs; in Aig_ManCleanup() local 271 vObjs = Vec_PtrAlloc( 100 ); in Aig_ManCleanup() 274 Vec_PtrPush( vObjs, pNode ); in Aig_ManCleanup() 276 Vec_PtrForEachEntry( Aig_Obj_t *, vObjs, pNode, i ) in Aig_ManCleanup() 278 Vec_PtrFree( vObjs ); in Aig_ManCleanup() 325 Vec_PtrWriteEntry( p->vObjs, pObj->Id, NULL ); in Aig_ManCiCleanup() 358 Vec_PtrWriteEntry( p->vObjs, pObj->Id, NULL ); in Aig_ManCoCleanup()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkStrash.c | 101 Vec_Ptr_t * vObjs; in Nwk_ManStrash() local 114 vObjs = Nwk_ManDfs( pNtk ); in Nwk_ManStrash() 115 Vec_PtrForEachEntry( Nwk_Obj_t *, vObjs, pObj, i ) in Nwk_ManStrash() 137 Vec_PtrFree( vObjs ); in Nwk_ManStrash()
|
H A D | nwk.h | 69 Vec_Ptr_t * vObjs; // the objects in the topological order member 129 static inline int Nwk_ManObjNumMax( Nwk_Man_t * p ) { return Vec_PtrSize(p->vObjs); … in Nwk_ManObjNumMax() 133 …k_ManObj( Nwk_Man_t * p, int i ) { return (Nwk_Obj_t *)Vec_PtrEntry( p->vObjs, i ); } in Nwk_ManObj() 190 …for ( i = 0; (i < Vec_PtrSize(p->vObjs)) && (((pObj) = (Nwk_Obj_t *)Vec_PtrEntry(p->vObjs, i)), 1)… 193 …for ( i = 0; (i < Vec_PtrSize(p->vObjs)) && (((pObj) = (Nwk_Obj_t *)Vec_PtrEntry(p->vObjs, i)), 1)… 196 …for ( i = 0; (i < Vec_PtrSize(p->vObjs)) && (((pObj) = (Nwk_Obj_t *)Vec_PtrEntry(p->vObjs, i)), 1)…
|
H A D | nwkObj.c | 51 pObj->Id = Vec_PtrSize( p->vObjs ); in Nwk_ManCreateObj() 52 Vec_PtrPush( p->vObjs, pObj ); in Nwk_ManCreateObj() 166 Vec_PtrWriteEntry( pObj->pMan->vObjs, pObj->Id, NULL ); in Nwk_ManDeleteNode()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcReadSmt.c | 43 Vec_Wec_t vObjs; // objects member 116 … for ( i = 0; (i < Vec_WecSize(&p->vObjs)) && (((vVec) = Vec_WecEntry(&p->vObjs, i)), 1); i++ ) \ 807 vFans = Vec_WecEntry( &p->vObjs, 0 ); in Smt_PrsBuild() 1269 vFansRoot = Vec_WecEntry( &p->vObjs, 0 ); in Smt_PrsBuild2() 1610 Vec_WecGrow( &p->vObjs, nObjs+1 ); in Smt_PrsAlloc() 1620 Vec_WecErase( &p->vObjs ); in Smt_PrsFree() 1654 assert( Vec_WecSize(&p->vObjs) == 0 ); in Smt_PrsReadLines() 1660 Vec_WecPushLevel( &p->vObjs ); in Smt_PrsReadLines() 1686 Vec_WecPushLevel( &p->vObjs ); in Smt_PrsReadLines() 1714 assert( Vec_WecSize(&p->vObjs) == Vec_WecCap(&p->vObjs) ); in Smt_PrsReadLines() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyMan.c | 59 p->vObjs = Vec_PtrAlloc( 100 ); in Ivy_ManStart() 65 Vec_PtrPush( p->vObjs, p->pConst1 ); in Ivy_ManStart() 249 if ( p->vObjs ) Vec_PtrFree( p->vObjs ); in Ivy_ManStop() 353 Vec_PtrWriteEntry( p->vObjs, pObj->Id, NULL ); in Ivy_ManCleanupSeq() 506 Vec_PtrWriteEntry( p->vObjs, pObj->Id, NULL ); in Ivy_ManMakeSeq()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
H A D | amapMan.c | 55 p->vObjs = Vec_PtrAlloc( 100 ); in Amap_ManStart() 84 Vec_PtrFree( p->vObjs ); in Amap_ManStop()
|