diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-26 16:59:21 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-26 16:59:21 -0500 |
| commit | c98119594e4137dee341d171a5ad3b3d647a279e (patch) | |
| tree | 32327fd35fd59d67a90b8952f82c4adda6bf0461 /src/misc | |
| parent | 88c273c25e3bbf9f5117d06fb8dbb1108c6c0225 (diff) | |
| download | abc-c98119594e4137dee341d171a5ad3b3d647a279e.tar.gz abc-c98119594e4137dee341d171a5ad3b3d647a279e.tar.bz2 abc-c98119594e4137dee341d171a5ad3b3d647a279e.zip | |
User-controlable SAT sweeper.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecPtr.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h index 731cf9a1..ead6bd60 100644 --- a/src/misc/vec/vecPtr.h +++ b/src/misc/vec/vecPtr.h @@ -174,6 +174,14 @@ static inline Vec_Ptr_t * Vec_PtrDup( Vec_Ptr_t * pVec ) memcpy( p->pArray, pVec->pArray, sizeof(void *) * pVec->nSize ); return p; } +static inline Vec_Ptr_t * Vec_PtrDupStr( Vec_Ptr_t * pVec ) +{ + int i; + Vec_Ptr_t * p = Vec_PtrDup( pVec ); + for ( i = 0; i < p->nSize; i++ ) + p->pArray[i] = Abc_UtilStrsav( (char *)p->pArray[i] ); + return p; +} /**Function************************************************************* |