From 701565eb7bd5b464f530e9816e8f4de8ceb98534 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 23 Oct 2015 15:44:53 -0700 Subject: Set the default cube limit in 'satclp' to be 0. --- src/base/abci/abcCollapse.c | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) (limited to 'src/base/abci/abcCollapse.c') diff --git a/src/base/abci/abcCollapse.c b/src/base/abci/abcCollapse.c index e6618e15..dad22e2b 100644 --- a/src/base/abci/abcCollapse.c +++ b/src/base/abci/abcCollapse.c @@ -431,16 +431,19 @@ Abc_Ntk_t * Abc_NtkFromSops( Abc_Ntk_t * pNtk, int nCubeLim, int nBTLimit, int n // order CO nodes by support size vCoNodes = Abc_NtkCreateCoOrder( pNtk, vSupps ); // compute cost of the largest node - pNode = (Abc_Obj_t *)Vec_PtrEntry( vCoNodes, 0 ); - vDfsNodes = Abc_NtkDfsNodes( pNtk, &pNode, 1 ); - vLevel = Vec_WecEntry( vSupps, Abc_ObjFaninId0(pNode) ); - Cost = Vec_PtrSize(vDfsNodes) * Vec_IntSize(vLevel) * nCubeLim; - Vec_PtrFree( vDfsNodes ); - if ( Cost > nCostMax ) + if ( nCubeLim > 0 ) { - Vec_PtrFree( vCoNodes ); - Vec_WecFree( vSupps ); - return NULL; + pNode = (Abc_Obj_t *)Vec_PtrEntry( vCoNodes, 0 ); + vDfsNodes = Abc_NtkDfsNodes( pNtk, &pNode, 1 ); + vLevel = Vec_WecEntry( vSupps, Abc_ObjFaninId0(pNode) ); + Cost = Vec_PtrSize(vDfsNodes) * Vec_IntSize(vLevel) * nCubeLim; + Vec_PtrFree( vDfsNodes ); + if ( Cost > nCostMax ) + { + Vec_PtrFree( vCoNodes ); + Vec_WecFree( vSupps ); + return NULL; + } } // collect CO IDs in this order vNodeCoIds = Vec_IntAlloc( Abc_NtkCoNum(pNtk) ); -- cgit v1.2.3