diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-17 13:19:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-17 13:19:09 -0800 |
| commit | ee9f66e2c4dba55e5ab4c7ce16223054b291d5fb (patch) | |
| tree | 4bbd0d53e29589963f061a0cb5a965dd8efe57e7 /src/misc/vec | |
| parent | f2a413029ca91c8fadf8b23d8eb5b4ab2dc8aea4 (diff) | |
| download | abc-ee9f66e2c4dba55e5ab4c7ce16223054b291d5fb.tar.gz abc-ee9f66e2c4dba55e5ab4c7ce16223054b291d5fb.tar.bz2 abc-ee9f66e2c4dba55e5ab4c7ce16223054b291d5fb.zip | |
Isomorphism checking code.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecVec.h | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/misc/vec/vecVec.h b/src/misc/vec/vecVec.h index f72bd93c..e0f18983 100644 --- a/src/misc/vec/vecVec.h +++ b/src/misc/vec/vecVec.h @@ -597,17 +597,19 @@ static inline void Vec_VecSort( Vec_Vec_t * p, int fReverse ) SeeAlso [] ***********************************************************************/ -static inline void Vec_VecPrintInt( Vec_Vec_t * p ) +static inline void Vec_VecPrintInt( Vec_Vec_t * p, int fSkipSingles ) { int i, k, Entry; - printf( "Integers by level" ); Vec_VecForEachEntryInt( p, Entry, i, k ) { + if ( Vec_VecLevelSize(p, i) == 1 ) + break; if ( k == 0 ) - printf( "\n%3d : ", i ); - printf( "%6d ", Entry ); + printf( " %4d : {", i ); + printf( " %d", Entry ); + if ( k == Vec_VecLevelSize(p, i) - 1 ) + printf( " }\n" ); } - printf( "\n" ); } |