diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-27 19:58:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-27 19:58:15 -0700 |
| commit | 7772a4af05db1b2b0f21f7461cb6778349e4500c (patch) | |
| tree | a77fdb404753d3287efda85356ed1eb766bac4be /src/misc/vec/vecWrd.h | |
| parent | a6bfd49591d73af7278ba3b85be86a55b04e55ab (diff) | |
| download | abc-7772a4af05db1b2b0f21f7461cb6778349e4500c.tar.gz abc-7772a4af05db1b2b0f21f7461cb6778349e4500c.tar.bz2 abc-7772a4af05db1b2b0f21f7461cb6778349e4500c.zip | |
Added printout of library cells.
Diffstat (limited to 'src/misc/vec/vecWrd.h')
| -rw-r--r-- | src/misc/vec/vecWrd.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 86985266..60b4e0b2 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -947,6 +947,28 @@ static inline word Vec_WrdSum( Vec_Wrd_t * p ) /**Function************************************************************* + Synopsis [Checks if two vectors are equal.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline int Vec_WrdEqual( Vec_Wrd_t * p1, Vec_Wrd_t * p2 ) +{ + int i; + if ( p1->nSize != p2->nSize ) + return 0; + for ( i = 0; i < p1->nSize; i++ ) + if ( p1->pArray[i] != p2->pArray[i] ) + return 0; + return 1; +} + +/**Function************************************************************* + Synopsis [Counts the number of common entries.] Description [Assumes that the entries are non-negative integers that |