From 5f16cd94d62bbc98fb68f8f2897bb3d9f0ff5af2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 29 Apr 2020 15:13:36 -0700 Subject: Adding new API to MiniAIG. --- src/aig/miniaig/miniaig.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h index 5075eee3..12061144 100644 --- a/src/aig/miniaig/miniaig.h +++ b/src/aig/miniaig/miniaig.h @@ -280,7 +280,7 @@ static inline int Mini_AigAndProp( Mini_Aig_t * p, int iLit0, int iLit1 ) return iLit1 ? iLit0 : 0; if ( iLit0 == iLit1 ) return iLit1; - if ( iLit0 == Abc_LitNot(iLit1) ) + if ( iLit0 == Mini_AigLitNot(iLit1) ) return 0; return Mini_AigAnd( p, iLit0, iLit1 ); } @@ -288,7 +288,7 @@ static inline int Mini_AigMuxProp( Mini_Aig_t * p, int iCtrl, int iData1, int iD { int iTemp0 = Mini_AigAndProp( p, Mini_AigLitNot(iCtrl), iData0 ); int iTemp1 = Mini_AigAndProp( p, iCtrl, iData1 ); - return Mini_AigLitNot( Mini_AigAndProp( p, Abc_LitNot(iTemp0), Abc_LitNot(iTemp1) ) ); + return Mini_AigLitNot( Mini_AigAndProp( p, Mini_AigLitNot(iTemp0), Mini_AigLitNot(iTemp1) ) ); } static inline int Mini_AigTruth( Mini_Aig_t * p, int * pVarLits, int nVars, unsigned Truth ) { -- cgit v1.2.3