diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-09 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-09 08:01:00 -0800 |
| commit | b9abf9c00c02feb52a2c796199343acebe20d8ef (patch) | |
| tree | de4ad845520c09f876309d89a60e13831360ad70 /src/opt/kit/kitIsop.c | |
| parent | 4cf99cae95c629b31d6d89c5dcea2eeb17654c85 (diff) | |
| download | abc-b9abf9c00c02feb52a2c796199343acebe20d8ef.tar.gz abc-b9abf9c00c02feb52a2c796199343acebe20d8ef.tar.bz2 abc-b9abf9c00c02feb52a2c796199343acebe20d8ef.zip | |
Version abc61209
Diffstat (limited to 'src/opt/kit/kitIsop.c')
| -rw-r--r-- | src/opt/kit/kitIsop.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/opt/kit/kitIsop.c b/src/opt/kit/kitIsop.c index 420cb16f..d54932ee 100644 --- a/src/opt/kit/kitIsop.c +++ b/src/opt/kit/kitIsop.c @@ -67,9 +67,14 @@ int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryB if ( pcRes->nCubes == -1 ) { vMemory->nSize = -1; - return 0; + return -1; } assert( Extra_TruthIsEqual( puTruth, pResult, nVars ) ); + if ( pcRes->nCubes == 0 || (pcRes->nCubes == 1 && pcRes->pCubes[0] == 0) ) + { + Vec_IntShrink( vMemory, pcRes->nCubes ); + return 0; + } if ( fTryBoth ) { // compute ISOP for the complemented polarity |