diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-22 16:41:11 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-22 16:41:11 +0900 |
| commit | fee0da2310abaade082819223a320325b4639fd1 (patch) | |
| tree | c029e0d3bc927189480ebd5b5c1a7aaa4c023e00 /src/misc/extra | |
| parent | 28f77372a72cbea478d03f903fc11b8cc45df961 (diff) | |
| download | abc-fee0da2310abaade082819223a320325b4639fd1.tar.gz abc-fee0da2310abaade082819223a320325b4639fd1.tar.bz2 abc-fee0da2310abaade082819223a320325b4639fd1.zip | |
Experiment with support minimization.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilSupp.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/misc/extra/extraUtilSupp.c b/src/misc/extra/extraUtilSupp.c index 1623bd01..44895c58 100644 --- a/src/misc/extra/extraUtilSupp.c +++ b/src/misc/extra/extraUtilSupp.c @@ -256,7 +256,7 @@ int Abc_SuppMinimize( unsigned * pMatrix, Vec_Int_t * p, int nBits, int fVerbose SeeAlso [] ***********************************************************************/ -void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fVerbose ) +void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fCheck, int fVerbose ) { int nVarsMin; unsigned Matrix[100]; @@ -275,7 +275,8 @@ void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fVerbose ) nVarsMin = Abc_SuppMinimize( Matrix, vPairs, nVars, fVerbose ); printf( "Solution with %d variables found. ", nVarsMin ); Abc_PrintTime( 1, "Covering time", Abc_Clock() - clk ); - Abc_SuppVerify( vRes, Matrix, nVars, nVarsMin ); + if ( fCheck ) + Abc_SuppVerify( vRes, Matrix, nVars, nVarsMin ); Vec_IntFree( vPairs ); Vec_IntFree( vRes ); } |