From 2167d6c148191f7aa65381bb0618b64050bf4de3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 21 Jan 2007 08:01:00 -0800 Subject: Version abc70121 --- src/opt/kit/kitFactor.c | 2 +- src/opt/kit/kitIsop.c | 1 + src/opt/res/resDivs.c | 2 -- 3 files changed, 2 insertions(+), 3 deletions(-) (limited to 'src/opt') diff --git a/src/opt/kit/kitFactor.c b/src/opt/kit/kitFactor.c index cbac918d..4ef3fd94 100644 --- a/src/opt/kit/kitFactor.c +++ b/src/opt/kit/kitFactor.c @@ -64,7 +64,7 @@ Kit_Graph_t * Kit_SopFactor( Vec_Int_t * vCover, int fCompl, int nVars, Vec_Int_ // check for trivial functions if ( Vec_IntSize(vCover) == 0 ) return Kit_GraphCreateConst0(); - if ( Vec_IntSize(vCover) == 1 && Vec_IntEntry(vCover, 0) == (int)Kit_CubeMask(nVars) ) + if ( Vec_IntSize(vCover) == 1 && Vec_IntEntry(vCover, 0) == 0 ) //(int)Kit_CubeMask(2 * nVars) ) return Kit_GraphCreateConst1(); // prepare memory manager diff --git a/src/opt/kit/kitIsop.c b/src/opt/kit/kitIsop.c index d54932ee..cc61a6bd 100644 --- a/src/opt/kit/kitIsop.c +++ b/src/opt/kit/kitIsop.c @@ -72,6 +72,7 @@ int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryB assert( Extra_TruthIsEqual( puTruth, pResult, nVars ) ); if ( pcRes->nCubes == 0 || (pcRes->nCubes == 1 && pcRes->pCubes[0] == 0) ) { + vMemory->pArray[0] = 0; Vec_IntShrink( vMemory, pcRes->nCubes ); return 0; } diff --git a/src/opt/res/resDivs.c b/src/opt/res/resDivs.c index 42ec8955..0739b81b 100644 --- a/src/opt/res/resDivs.c +++ b/src/opt/res/resDivs.c @@ -25,8 +25,6 @@ /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -static int Res_WinVisitMffc( Res_Win_t * p ); - //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3