diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-15 20:59:59 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-15 20:59:59 +0700 |
| commit | 153b71c1403ed79d7650ad702bb343e0490e36c9 (patch) | |
| tree | 9204d0818ede3251b07738db0343c467cbd457ab /src/misc/vec | |
| parent | 1b86911c4fe0b193c3a281e823de7934664da798 (diff) | |
| download | abc-153b71c1403ed79d7650ad702bb343e0490e36c9.tar.gz abc-153b71c1403ed79d7650ad702bb343e0490e36c9.tar.bz2 abc-153b71c1403ed79d7650ad702bb343e0490e36c9.zip | |
Updates to arithmetic verification.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecWec.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/misc/vec/vecWec.h b/src/misc/vec/vecWec.h index 8180e984..c8c89701 100644 --- a/src/misc/vec/vecWec.h +++ b/src/misc/vec/vecWec.h @@ -561,6 +561,18 @@ static inline void Vec_WecPrint( Vec_Wec_t * p, int fSkipSingles ) printf( " }\n" ); } } +static inline void Vec_WecPrintLits( Vec_Wec_t * p ) +{ + Vec_Int_t * vVec; + int i, k, iLit; + Vec_WecForEachLevel( p, vVec, i ) + { + printf( " %4d : %2d {", i, Vec_IntSize(vVec) ); + Vec_IntForEachEntry( vVec, iLit, k ) + printf( " %c%d", Abc_LitIsCompl(iLit) ? '-' : '+', Abc_Lit2Var(iLit) ); + printf( " }\n" ); + } +} /**Function************************************************************* |