Home
last modified time | relevance | path

Searched refs:vObjs (Results 1 – 25 of 95) sorted by relevance

1234

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioJson.c130 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 DvecHash.h93 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 DvecHsh.h72 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 DifDsd.c85 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 DabcHaig.c48 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 DabcDetect.c414 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 DgiaMan.c307 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 DgiaSupp.c43 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 DgiaDfs.c478 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 DgiaFalse.c180 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 DgiaUtil.c780 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 DdauTree.c83 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 DhopMan.c104 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 DcbaNtk.c433 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 DabsRef.c270 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 DabsRefJ.c217 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 DaigMan.c75 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 DaigRet.c57 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 DaigMan.c61 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 DnwkStrash.c101 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 Dnwk.h69 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 DnwkObj.c51 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 DwlcReadSmt.c43 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 DivyMan.c59 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 DamapMan.c55 p->vObjs = Vec_PtrAlloc( 100 ); in Amap_ManStart()
84 Vec_PtrFree( p->vObjs ); in Amap_ManStop()

1234