diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-18 16:10:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-18 16:10:18 -0700 |
| commit | 23441c060a204aabcd1f2f2f922a958371f4d13f (patch) | |
| tree | a4ba44d11a49c8bfd5e2cb396b3c58743450e6d8 /src/misc/vec/vecInt.h | |
| parent | 3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07 (diff) | |
| download | abc-23441c060a204aabcd1f2f2f922a958371f4d13f.tar.gz abc-23441c060a204aabcd1f2f2f922a958371f4d13f.tar.bz2 abc-23441c060a204aabcd1f2f2f922a958371f4d13f.zip | |
Improved QBF solver.
Diffstat (limited to 'src/misc/vec/vecInt.h')
| -rw-r--r-- | src/misc/vec/vecInt.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index 6d015bcc..b56d8661 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -1758,6 +1758,12 @@ static inline void Vec_IntPrint( Vec_Int_t * vVec ) printf( " %d", Entry ); printf( " }\n" ); } +static inline void Vec_IntPrintBinary( Vec_Int_t * vVec ) +{ + int i, Entry; + Vec_IntForEachEntry( vVec, Entry, i ) + printf( "%d", (int)(Entry != 0) ); +} /**Function************************************************************* |