diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-29 15:13:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-29 15:13:36 -0700 |
| commit | 5f16cd94d62bbc98fb68f8f2897bb3d9f0ff5af2 (patch) | |
| tree | 0d0f5d8903c512548ad157c2b361fb90f8ee0114 | |
| parent | f030a2a5e2558d4d803d6737568dd566b1341335 (diff) | |
| download | abc-5f16cd94d62bbc98fb68f8f2897bb3d9f0ff5af2.tar.gz abc-5f16cd94d62bbc98fb68f8f2897bb3d9f0ff5af2.tar.bz2 abc-5f16cd94d62bbc98fb68f8f2897bb3d9f0ff5af2.zip | |
Adding new API to MiniAIG.
| -rw-r--r-- | src/aig/miniaig/miniaig.h | 4 |
1 files 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 ) { |