From 7d15b00e133efc2142e326486befcf64c29c50a6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 19 Apr 2017 22:51:19 -0700 Subject: Logic restructuring after mapping. --- src/misc/util/utilTruth.h | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/misc/util') 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; -- cgit v1.2.3