From d0c4c0cd7b955c49a1d300977555ee14289726e4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 19 Apr 2014 16:55:44 -0700 Subject: Improvements to DSD balancing. --- src/bool/kit/kitIsop.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/bool') 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************************************************************* -- cgit v1.2.3