diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-01 14:58:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-01 14:58:31 -0700 |
| commit | 35c8d6a2fd47ea102e00133bf2d9b118d537db27 (patch) | |
| tree | e25ff5abebeef7ec5a15e2f1e469c39a5dcce756 /src/misc/util | |
| parent | d56570f23547fe6d14a6185ebf19e827ec8d8f61 (diff) | |
| download | abc-35c8d6a2fd47ea102e00133bf2d9b118d537db27.tar.gz abc-35c8d6a2fd47ea102e00133bf2d9b118d537db27.tar.bz2 abc-35c8d6a2fd47ea102e00133bf2d9b118d537db27.zip | |
Improvements to the truth table computations.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index c742aac9..486cbf48 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -53,14 +53,6 @@ static word s_Truths6Neg[6] = { 0x00000000FFFFFFFF }; -static word s_CMasks6[5] = { - 0x1111111111111111, - 0x0303030303030303, - 0x000F000F000F000F, - 0x000000FF000000FF, - 0x000000000000FFFF -}; - static word s_PMasks[5][3] = { { 0x9999999999999999, 0x2222222222222222, 0x4444444444444444 }, { 0xC3C3C3C3C3C3C3C3, 0x0C0C0C0C0C0C0C0C, 0x3030303030303030 }, @@ -299,12 +291,12 @@ static inline int Abc_Tt6Cof1IsConst0( word t, int iVar ) { return (t & s_Truths static inline int Abc_Tt6Cof1IsConst1( word t, int iVar ) { return (t & s_Truths6[iVar]) == s_Truths6[iVar]; } static inline int Abc_Tt6CofsOpposite( word t, int iVar ) { return ((t >> (1 << iVar)) & s_Truths6Neg[iVar]) == (~t & s_Truths6Neg[iVar]); } -static inline word Abc_Tt6Cof0( word t, int iVar ) +static inline word Abc_Tt6Cofactor0( word t, int iVar ) { assert( iVar >= 0 && iVar < 6 ); return (t &s_Truths6Neg[iVar]) | ((t &s_Truths6Neg[iVar]) << (1<<iVar)); } -static inline word Abc_Tt6Cof1( word t, int iVar ) +static inline word Abc_Tt6Cofactor1( word t, int iVar ) { assert( iVar >= 0 && iVar < 6 ); return (t & s_Truths6[iVar]) | ((t & s_Truths6[iVar]) >> (1<<iVar)); |