diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-31 21:24:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-31 21:24:19 -0700 |
| commit | 3898ba5486adc01e38199b5385d501e4ca58ddec (patch) | |
| tree | 11a927a8b43390b25ac463bc74213baa1a71a42c | |
| parent | ac59789e9bb659e206704ff5fa8c11585a8b824a (diff) | |
| download | abc-3898ba5486adc01e38199b5385d501e4ca58ddec.tar.gz abc-3898ba5486adc01e38199b5385d501e4ca58ddec.tar.bz2 abc-3898ba5486adc01e38199b5385d501e4ca58ddec.zip | |
Experiments with don't-cares.
| -rw-r--r-- | src/base/acb/acbMfs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/acb/acbMfs.c b/src/base/acb/acbMfs.c index f13ab9f5..64a74798 100644 --- a/src/base/acb/acbMfs.c +++ b/src/base/acb/acbMfs.c @@ -894,7 +894,7 @@ void Acb_WinPrint( Acb_Ntk_t * p, Vec_Int_t * vWin, int Pivot, int nDivs ) printf( "\n" ); } -Vec_Int_t * Acb_NtkFindSupp( Acb_Ntk_t * p, sat_solver * pSat2, int nVars, int nDivs ) +Vec_Int_t * Acb_NtkFindSupp2( Acb_Ntk_t * p, sat_solver * pSat2, int nVars, int nDivs ) { int nSuppNew; Vec_Int_t * vSupp = Vec_IntStartNatural( nDivs ); @@ -1019,7 +1019,7 @@ int Acb_NtkOptNode( Acb_Mfs_t * p, int Pivot, int Next ) p->timeSol += Abc_Clock() - clk; // check for one-node implementation clk = Abc_Clock(); - vSupp = Acb_NtkFindSupp( p->pNtk, p->pSat[1], pCnf->nVars, nDivs ); + vSupp = Acb_NtkFindSupp2( p->pNtk, p->pSat[1], pCnf->nVars, nDivs ); p->timeSat += Abc_Clock() - clk; if ( Vec_IntSize(vSupp) <= p->pPars->nLutSize ) { |