diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:55:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:55:54 -0700 |
| commit | 5a5577f9072b162c235815542e3c8696d6c682b1 (patch) | |
| tree | c3c166a71b6f74099b5774da930821a1ac71e090 /src/bool/lucky/luckyFast6.c | |
| parent | 39fe23f079a44d8bfdd83b7e21ac7b61b69f3ee7 (diff) | |
| download | abc-5a5577f9072b162c235815542e3c8696d6c682b1.tar.gz abc-5a5577f9072b162c235815542e3c8696d6c682b1.tar.bz2 abc-5a5577f9072b162c235815542e3c8696d6c682b1.zip | |
Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.
Diffstat (limited to 'src/bool/lucky/luckyFast6.c')
| -rw-r--r-- | src/bool/lucky/luckyFast6.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bool/lucky/luckyFast6.c b/src/bool/lucky/luckyFast6.c index a32a88a4..086a9bc6 100644 --- a/src/bool/lucky/luckyFast6.c +++ b/src/bool/lucky/luckyFast6.c @@ -49,7 +49,7 @@ void swapAndFlip(word* pAfter, int nVars, int iVarInPosition, int jVar, char * p *pUCanonPhase ^= (1 << iVarInPosition); *pUCanonPhase ^= (1 << jVar); } - if(*pUCanonPhase>>iVarInPosition & (unsigned)1 == 1) + if((*pUCanonPhase>>iVarInPosition) & 1) Kit_TruthChangePhase_64bit( pAfter, nVars, iVarInPosition ); } @@ -68,7 +68,7 @@ int luckyCheck(word* pAfter, word* pBefore, int nVars, char * pCanonPerm, unsign break; } } - if(uCanonPhase>>nVars & (unsigned)1 == 1) + if((uCanonPhase>>nVars) & 1) Kit_TruthNot_64bit(pAfter, nVars ); if(memcmp(pAfter, pBefore, Kit_TruthWordNum_64bit( nVars )*sizeof(word)) == 0) return 0; |