diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-14 20:28:26 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-14 20:28:26 +0700 |
commit | 1b86911c4fe0b193c3a281e823de7934664da798 (patch) | |
tree | 44e3f3fe59361848443f9952b3247db0b94d80a6 /src/misc/vec/vecWec.h | |
parent | 79701f8b4603596095d3d04a13018c8e9598f7a0 (diff) | |
download | abc-1b86911c4fe0b193c3a281e823de7934664da798.tar.gz abc-1b86911c4fe0b193c3a281e823de7934664da798.tar.bz2 abc-1b86911c4fe0b193c3a281e823de7934664da798.zip |
Updates to arithmetic verification.
Diffstat (limited to 'src/misc/vec/vecWec.h')
-rw-r--r-- | src/misc/vec/vecWec.h | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/misc/vec/vecWec.h b/src/misc/vec/vecWec.h index e4e92503..8180e984 100644 --- a/src/misc/vec/vecWec.h +++ b/src/misc/vec/vecWec.h @@ -303,6 +303,23 @@ static inline Vec_Int_t * Vec_WecPushLevel( Vec_Wec_t * p ) ++p->nSize; return Vec_WecEntryLast( p ); } +static inline Vec_Int_t * Vec_WecInsertLevel( Vec_Wec_t * p, int i ) +{ + Vec_Int_t * pTemp; + if ( p->nSize == p->nCap ) + { + if ( p->nCap < 16 ) + Vec_WecGrow( p, 16 ); + else + Vec_WecGrow( p, 2 * p->nCap ); + } + ++p->nSize; + assert( i >= 0 && i < p->nSize ); + for ( pTemp = p->pArray + p->nSize - 2; pTemp >= p->pArray + i; pTemp-- ) + pTemp[1] = pTemp[0]; + Vec_IntZero( p->pArray + i ); + return p->pArray + i; +} /**Function************************************************************* |