diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-08 13:50:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-08 13:50:29 -0700 |
| commit | a7871d24cdcd08c782a3165203ce3e4e76042344 (patch) | |
| tree | 876894f9a8ee2b39824cad709dbbe4a36e186806 /src/misc/vec | |
| parent | a918e2dab1f951eb7e869f07b57f648b9a583561 (diff) | |
| download | abc-a7871d24cdcd08c782a3165203ce3e4e76042344.tar.gz abc-a7871d24cdcd08c782a3165203ce3e4e76042344.tar.bz2 abc-a7871d24cdcd08c782a3165203ce3e4e76042344.zip | |
Experimental resubstitution.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecPtr.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h index ed2a481e..adc2f68e 100644 --- a/src/misc/vec/vecPtr.h +++ b/src/misc/vec/vecPtr.h @@ -651,6 +651,12 @@ static inline void Vec_PtrPushTwo( Vec_Ptr_t * p, void * Entry1, void * Entry2 ) Vec_PtrPush( p, Entry1 ); Vec_PtrPush( p, Entry2 ); } +static inline void Vec_PtrAppend( Vec_Ptr_t * vVec1, Vec_Ptr_t * vVec2 ) +{ + void * Entry; int i; + Vec_PtrForEachEntry( void *, vVec2, Entry, i ) + Vec_PtrPush( vVec1, Entry ); +} /**Function************************************************************* |