Searched refs:vInfoNew (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecPtr.h | 1071 Vec_Ptr_t * vInfoNew; in Vec_PtrDoubleSimInfo() local
1076 vInfoNew = Vec_PtrAllocSimInfo( 2*Vec_PtrSize(vInfo), nWords ); in Vec_PtrDoubleSimInfo()
1081 vInfo->pArray = vInfoNew->pArray; in Vec_PtrDoubleSimInfo()
1085 vInfoNew->pArray = NULL; in Vec_PtrDoubleSimInfo()
1086 ABC_FREE( vInfoNew ); in Vec_PtrDoubleSimInfo()
1102 Vec_Ptr_t * vInfoNew; in Vec_PtrReallocSimInfo() local
1107 vInfoNew = Vec_PtrAllocSimInfo( Vec_PtrSize(vInfo), 2*nWords ); in Vec_PtrReallocSimInfo()
1110 memcpy( Vec_PtrEntry(vInfoNew,i), Vec_PtrEntry(vInfo,i), (size_t)(nWords * 4) ); in Vec_PtrReallocSimInfo()
1113 vInfo->pArray = vInfoNew->pArray; in Vec_PtrReallocSimInfo()
1115 vInfoNew->pArray = NULL; in Vec_PtrReallocSimInfo()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satProof2.h | 131 Vec_Wrd_t * vInfoNew; in Prf_ManGrow() local
141 vInfoNew = Vec_WrdAlloc( (nSize + 1000) * nWordsNew ); in Prf_ManGrow()
146 Vec_WrdPush( vInfoNew, p->pInfo[w] ); in Prf_ManGrow()
148 Vec_WrdPush( vInfoNew, 0 ); in Prf_ManGrow()
151 p->vInfo = vInfoNew; in Prf_ManGrow()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | vecPtr.h | 380 Vec_Ptr_t * vInfoNew; in Vec_PtrDoubleSimInfo() local
385 vInfoNew = Vec_PtrAllocSimInfo( 2*Vec_PtrSize(vInfo), nWords ); in Vec_PtrDoubleSimInfo()
387 memcpy( Vec_PtrEntry(vInfoNew,0), Vec_PtrEntry(vInfo,0), Vec_PtrSize(vInfo) * nWords * 4 ); in Vec_PtrDoubleSimInfo()
390 vInfo->pArray = vInfoNew->pArray; in Vec_PtrDoubleSimInfo()
394 vInfoNew->pArray = NULL; in Vec_PtrDoubleSimInfo()
395 free( vInfoNew ); in Vec_PtrDoubleSimInfo()
|