From 3898ba5486adc01e38199b5385d501e4ca58ddec Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 31 Mar 2017 21:24:19 -0700 Subject: Experiments with don't-cares. --- src/base/acb/acbMfs.c | 4 ++-- 1 file 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 ) { -- cgit v1.2.3