diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-20 20:18:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-20 20:18:25 -0700 |
| commit | c86a13f0b56b061fd0841efd080758fc3b77c53e (patch) | |
| tree | 6e3c7940ba18df97f6c0ce48a5cd331f6aa00861 /src/aig | |
| parent | b581e16f32cd1ad68a65fd94d9f2b997da443721 (diff) | |
| download | abc-c86a13f0b56b061fd0841efd080758fc3b77c53e.tar.gz abc-c86a13f0b56b061fd0841efd080758fc3b77c53e.tar.bz2 abc-c86a13f0b56b061fd0841efd080758fc3b77c53e.zip | |
Experiments with recent ideas.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaMan.c | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index d3ee3f48..36be9e49 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -305,12 +305,16 @@ void Gia_ManPrintTents( Gia_Man_t * p ) void Gia_ManPrintInitClasses( Vec_Int_t * vInits ) { int i, Value; - int Counts[4] = {0}; + int Counts[6] = {0}; Vec_IntForEachEntry( vInits, Value, i ) Counts[Value]++; - for ( i = 0; i < 4; i++ ) - printf( "%d = %d ", i, Counts[i] ); - printf( "X = %d\n", Counts[2] + Counts[3] ); + for ( i = 0; i < 6; i++ ) + if ( Counts[i] ) + printf( "%d = %d ", i, Counts[i] ); + printf( " " ); + printf( "B = %d ", Counts[0] + Counts[1] ); + printf( "X = %d ", Counts[2] + Counts[3] ); + printf( "Q = %d\n", Counts[4] + Counts[5] ); Vec_IntForEachEntry( vInits, Value, i ) { Counts[Value]++; @@ -319,9 +323,13 @@ void Gia_ManPrintInitClasses( Vec_Int_t * vInits ) else if ( Value == 1 ) printf( "1" ); else if ( Value == 2 ) - printf( "x" ); + printf( "2" ); else if ( Value == 3 ) - printf( "X" ); + printf( "3" ); + else if ( Value == 4 ) + printf( "4" ); + else if ( Value == 5 ) + printf( "5" ); else assert( 0 ); } printf( "\n" ); |