diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 16:55:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 16:55:44 -0700 |
| commit | d0c4c0cd7b955c49a1d300977555ee14289726e4 (patch) | |
| tree | f084311e1b25f25beec3cf790becea6b0c5eb6d1 /src/bool | |
| parent | 17f989ccbaaa9f51d17349c55f0745396d3e7007 (diff) | |
| download | abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.tar.gz abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.tar.bz2 abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.zip | |
Improvements to DSD balancing.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/kit/kitIsop.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/bool/kit/kitIsop.c b/src/bool/kit/kitIsop.c index 2ff7d6f7..a0a0c197 100644 --- a/src/bool/kit/kitIsop.c +++ b/src/bool/kit/kitIsop.c @@ -101,10 +101,9 @@ int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryB Vec_IntShrink( vMemory, pcRes->nCubes ); return RetValue; } -void Kit_TruthIsopPrint( unsigned * puTruth, int nVars, Vec_Int_t * vCover, int fTryBoth ) +void Kit_TruthIsopPrintCover( Vec_Int_t * vCover, int nVars, int fCompl ) { int i, k, Entry, Literal; - int RetValue = Kit_TruthIsop( puTruth, nVars, vCover, fTryBoth ); if ( Vec_IntSize(vCover) == 0 || (Vec_IntSize(vCover) == 1 && Vec_IntEntry(vCover, 0) == 0) ) { printf( "Constant %d\n", Vec_IntSize(vCover) ); @@ -123,9 +122,14 @@ void Kit_TruthIsopPrint( unsigned * puTruth, int nVars, Vec_Int_t * vCover, int printf( "-" ); else assert( 0 ); } - printf( " %d\n", !RetValue ); + printf( " %d\n", !fCompl ); } } +void Kit_TruthIsopPrint( unsigned * puTruth, int nVars, Vec_Int_t * vCover, int fTryBoth ) +{ + int fCompl = Kit_TruthIsop( puTruth, nVars, vCover, fTryBoth ); + Kit_TruthIsopPrintCover( vCover, nVars, fCompl ); +} /**Function************************************************************* |