diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-01-18 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-01-18 08:01:00 -0800 |
| commit | f936cc0680c98ffe51b3a1716c996072d5dbf76c (patch) | |
| tree | 784a2a809fb6b972ec6a8e2758ab758ca590d01a /src/opt/lpk | |
| parent | c9ad5880cc61787dec6d018111b63023407ce0e6 (diff) | |
| download | abc-f936cc0680c98ffe51b3a1716c996072d5dbf76c.tar.gz abc-f936cc0680c98ffe51b3a1716c996072d5dbf76c.tar.bz2 abc-f936cc0680c98ffe51b3a1716c996072d5dbf76c.zip | |
Version abc90118
Diffstat (limited to 'src/opt/lpk')
| -rw-r--r-- | src/opt/lpk/lpkAbcDsd.c | 7 | ||||
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 4 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkAbcDsd.c b/src/opt/lpk/lpkAbcDsd.c index 46d9179a..a1cd9def 100644 --- a/src/opt/lpk/lpkAbcDsd.c +++ b/src/opt/lpk/lpkAbcDsd.c @@ -287,7 +287,12 @@ void Lpk_FunCompareBoundSets( Lpk_Fun_t * p, Vec_Int_t * vBSets, int nCofDepth, if ( (uBoundSet & uLateArrSupp) ) // skip those boundsets that are late arriving continue; if ( fVerbose ) -Lpk_PrintSetOne( uBoundSet ); +{ +Lpk_PrintSetOne( uBoundSet & 0xFFFF ); +//printf( "\n" ); +//Lpk_PrintSetOne( uBoundSet >> 16 ); +//printf( "\n" ); +} assert( (uBoundSet & (uBoundSet >> 16)) == 0 ); nVarsBS = Kit_WordCountOnes( uBoundSet & 0xFFFF ); if ( nVarsBS == 1 ) diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 78356d81..d8dd15b7 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -387,6 +387,10 @@ p->timeCuts += clock() - clk; p->nCutsUseful += p->nEvals; for ( i = 0; i < p->nEvals; i++ ) { + if ( p->pObj->Id == 1478 ) + { + int x = 0; + } // get the cut pCut = p->pCuts + p->pEvals[i]; if ( p->pPars->fFirst && i == 1 ) |