diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-14 22:01:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-14 22:01:41 -0700 |
| commit | ecda331a2a921bcac30bf3210f56adf9152ca22f (patch) | |
| tree | 665fe58212a5ad8eb29cbe9acdc55a7981d3b1b7 /src/misc/vec/vecInt.h | |
| parent | c557272241645ab98d2bb6fa0941a32802e0c765 (diff) | |
| download | abc-ecda331a2a921bcac30bf3210f56adf9152ca22f.tar.gz abc-ecda331a2a921bcac30bf3210f56adf9152ca22f.tar.bz2 abc-ecda331a2a921bcac30bf3210f56adf9152ca22f.zip | |
Various changes.
Diffstat (limited to 'src/misc/vec/vecInt.h')
| -rw-r--r-- | src/misc/vec/vecInt.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index cbe20903..c2f8cd61 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -780,6 +780,12 @@ static inline void Vec_IntPushArray( Vec_Int_t * p, int * pEntries, int nEntries for ( i = 0; i < nEntries; i++ ) Vec_IntPush( p, pEntries[i] ); } +static inline void Vec_IntShift( Vec_Int_t * p, int Shift ) +{ + p->nSize -= Shift; + p->nCap -= Shift; + p->pArray += Shift; +} /**Function************************************************************* |