diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-27 10:32:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-27 10:32:07 -0800 |
| commit | 8c8f39ad7603362c7e16598d1888313f2e6ca0a0 (patch) | |
| tree | 7789cf8146b5a6a7e00695d4c4b70e455355bc16 /src/misc/vec | |
| parent | 8eb6aed5d116afc0933b49c6973af08cf2eff471 (diff) | |
| download | abc-8c8f39ad7603362c7e16598d1888313f2e6ca0a0.tar.gz abc-8c8f39ad7603362c7e16598d1888313f2e6ca0a0.tar.bz2 abc-8c8f39ad7603362c7e16598d1888313f2e6ca0a0.zip | |
Adding several new utilities.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecWec.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/misc/vec/vecWec.h b/src/misc/vec/vecWec.h index 88ee3dd7..fdbded9c 100644 --- a/src/misc/vec/vecWec.h +++ b/src/misc/vec/vecWec.h @@ -68,6 +68,8 @@ struct Vec_Wec_t_ for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i-- ) #define Vec_WecForEachLevelTwo( vGlob1, vGlob2, vVec1, vVec2, i ) \ for ( i = 0; (i < Vec_WecSize(vGlob1)) && (((vVec1) = Vec_WecEntry(vGlob1, i)), 1) && (((vVec2) = Vec_WecEntry(vGlob2, i)), 1); i++ ) +#define Vec_WecForEachLevelDouble( vGlob, vVec1, vVec2, i ) \ + for ( i = 0; (i < Vec_WecSize(vGlob)) && (((vVec1) = Vec_WecEntry(vGlob, i)), 1) && (((vVec2) = Vec_WecEntry(vGlob, i+1)), 1); i += 2 ) //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -247,6 +249,9 @@ static inline int Vec_WecSizeUsedLimits( Vec_Wec_t * p, int iStart, int iStop ) ***********************************************************************/ static inline void Vec_WecShrink( Vec_Wec_t * p, int nSizeNew ) { + Vec_Int_t * vVec; int i; + Vec_WecForEachLevelStart( p, vVec, i, nSizeNew ) + Vec_IntShrink( vVec, 0 ); assert( p->nSize >= nSizeNew ); p->nSize = nSizeNew; } |