diff options
Diffstat (limited to 'src/misc')
| -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************************************************************* |