diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-26 19:45:03 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-26 19:45:03 -0700 |
commit | adcc398bc38c91fa4cc8849aca9eb69c6fb61d21 (patch) | |
tree | 34b8b7b8102016f4e1584cdc0cdf742e4a79b472 /src/misc/vec/vecWrd.h | |
parent | 8cf3f54208b5cdda6a164db4a747a2e4bffcd93b (diff) | |
download | abc-adcc398bc38c91fa4cc8849aca9eb69c6fb61d21.tar.gz abc-adcc398bc38c91fa4cc8849aca9eb69c6fb61d21.tar.bz2 abc-adcc398bc38c91fa4cc8849aca9eb69c6fb61d21.zip |
Dumping equivalences after SAT sweeping.
Diffstat (limited to 'src/misc/vec/vecWrd.h')
-rw-r--r-- | src/misc/vec/vecWrd.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index 8275702a..fdbb1866 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -195,6 +195,14 @@ static inline Vec_Wrd_t * Vec_WrdStartTruthTables( int nVars ) } return p; } +static inline int Vec_WrdShiftOne( Vec_Wrd_t * p, int nWords ) +{ + int i, nObjs = p->nSize/nWords; + assert( nObjs * nWords == p->nSize ); + for ( i = 0; i < nObjs; i++ ) + p->pArray[i*nWords] <<= 1; + return nObjs; +} /**Function************************************************************* |