Searched refs:s_Truths8Neg (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcExact.c | 58 static word s_Truths8Neg[32] = { variable
107 if ( Abc_TtIsSubsetWithMask( pTruth, &s_Truths8Neg[iVar << 2], pMask, nWords ) ) return 2; in Abc_TtIsTopDecomposable()
109 if ( Abc_TtIsSubsetWithMask( &s_Truths8Neg[iVar << 2], pTruth, pMask, nWords ) ) return 4; in Abc_TtIsTopDecomposable()
142 Abc_TtAnd( pMask, pMask, &s_Truths8Neg[pVars[i] << 2], nWords, 0 ); in Abc_TtIsStairDecomposable()
|