diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-23 18:40:38 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-23 18:40:38 +0700 |
| commit | efdd26f86d3dbbde1626fe6a84304bc700b97479 (patch) | |
| tree | da4ebd027e5e8de8a03a4a0cb15fa72a31d2ca74 /src/misc/vec/vecWrd.h | |
| parent | 5f77e7ae8fb6ed29812aa67514109d961a61c112 (diff) | |
| download | abc-efdd26f86d3dbbde1626fe6a84304bc700b97479.tar.gz abc-efdd26f86d3dbbde1626fe6a84304bc700b97479.tar.bz2 abc-efdd26f86d3dbbde1626fe6a84304bc700b97479.zip | |
Scalable SOP manipulation package.
Diffstat (limited to 'src/misc/vec/vecWrd.h')
| -rw-r--r-- | src/misc/vec/vecWrd.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 5227fec5..d286baf3 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -961,6 +961,25 @@ static inline word Vec_WrdSum( Vec_Wrd_t * p ) /**Function************************************************************* + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline int Vec_WrdCountZero( Vec_Wrd_t * p ) +{ + int i, Counter = 0; + for ( i = 0; i < p->nSize; i++ ) + Counter += (p->pArray[i] == 0); + return Counter; +} + +/**Function************************************************************* + Synopsis [Checks if two vectors are equal.] Description [] |