summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-10-18 16:10:18 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-10-18 16:10:18 -0700
commit23441c060a204aabcd1f2f2f922a958371f4d13f (patch)
treea4ba44d11a49c8bfd5e2cb396b3c58743450e6d8 /src/misc
parent3653bf53e9c9d3f77f7d024ddf5c8b8d3a421b07 (diff)
downloadabc-23441c060a204aabcd1f2f2f922a958371f4d13f.tar.gz
abc-23441c060a204aabcd1f2f2f922a958371f4d13f.tar.bz2
abc-23441c060a204aabcd1f2f2f922a958371f4d13f.zip
Improved QBF solver.
Diffstat (limited to 'src/misc')
-rw-r--r--src/misc/vec/vecInt.h6
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*************************************************************