diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-19 22:51:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-19 22:51:19 -0700 |
| commit | 7d15b00e133efc2142e326486befcf64c29c50a6 (patch) | |
| tree | 09f31edd03b779a6096fc8d44060d0d06b14de5e /src/misc/util/utilTruth.h | |
| parent | f401c17facb9a13557d6a96ebd15404492a6e7f0 (diff) | |
| download | abc-7d15b00e133efc2142e326486befcf64c29c50a6.tar.gz abc-7d15b00e133efc2142e326486befcf64c29c50a6.tar.bz2 abc-7d15b00e133efc2142e326486befcf64c29c50a6.zip | |
Logic restructuring after mapping.
Diffstat (limited to 'src/misc/util/utilTruth.h')
| -rw-r--r-- | src/misc/util/utilTruth.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index f02a9835..4736a291 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1378,6 +1378,13 @@ static inline void Abc_TtMoveVar( word * pF, int nVars, int * V2P, int * P2V, in P2V[jVar] ^= P2V[iVar]; P2V[iVar] ^= P2V[jVar]; } +static inline word Abc_Tt6RemoveVar( word t, int iVar ) +{ + assert( !Abc_Tt6HasVar(t, iVar) ); + while ( iVar < 5 ) + t = Abc_Tt6SwapAdjacent( t, iVar++ ); + return t; +} /**Function************************************************************* @@ -2222,7 +2229,7 @@ static inline int Abc_TtCheckOutAnd( word t, int i, word * pOut ) { word c0 = Abc_Tt6Cofactor0( t, i ); word c1 = Abc_Tt6Cofactor1( t, i ); - assert( c0 == c1 ); + assert( c0 != c1 ); if ( c0 == 0 ) // F = i * G { if ( pOut ) *pOut = c1; |