From 39fe23f079a44d8bfdd83b7e21ac7b61b69f3ee7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2012 15:52:54 -0700 Subject: Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. --- src/base/abci/abcRec2.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/abci') diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c index 4edda73a..1af48247 100644 --- a/src/base/abci/abcRec2.c +++ b/src/base/abci/abcRec2.c @@ -1619,8 +1619,8 @@ s_pMan->timeBuild += clock() - timeBuild; timeInsert = clock(); Abc_NtkRecInsertToLookUpTable2(s_pMan, ppSpot, pPO, nLeaves, pTruth, s_pMan->fTrim); s_pMan->timeInsert += clock() - timeInsert; -// if (pIfMan->pPars->fDelayOpt) -// Abc_NtkRecAddSOPB(pIfMan, pCut, pTruth, pCanonPerm, uCanonPhase ); +// if (pIfMan->pPars->fDelayOpt) +// Abc_NtkRecAddSOPB(pIfMan, pCut, pTruth, pCanonPerm, uCanonPhase ); return 1; } -- cgit v1.2.3