diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-25 13:18:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-25 13:18:21 -0700 |
| commit | ee11ee1833c01a4705b52210e122db298825d388 (patch) | |
| tree | b31d7b8ede7fbeeb6a41d217882fc9324bda7b48 /src/misc/vec/vecWrd.h | |
| parent | cab8301065096cd3d58b07bca91c5e9494dd7fc8 (diff) | |
| download | abc-ee11ee1833c01a4705b52210e122db298825d388.tar.gz abc-ee11ee1833c01a4705b52210e122db298825d388.tar.bz2 abc-ee11ee1833c01a4705b52210e122db298825d388.zip | |
Changes to enable decomposition of non-DSD functions.
Diffstat (limited to 'src/misc/vec/vecWrd.h')
| -rw-r--r-- | src/misc/vec/vecWrd.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 99aa1acb..a5beeb37 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -1120,6 +1120,24 @@ static inline void Vec_WrdSortUnsigned( Vec_Wrd_t * p ) } +/**Function************************************************************* + + Synopsis [Appends the contents of the second vector.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline void Vec_WrdAppend( Vec_Wrd_t * vVec1, Vec_Wrd_t * vVec2 ) +{ + word Entry; int i; + Vec_WrdForEachEntry( vVec2, Entry, i ) + Vec_WrdPush( vVec1, Entry ); +} + ABC_NAMESPACE_HEADER_END |