Skip to content

A
abc
Commit 5f16cd94 by Alan Mishchenko
Options

Adding new API to MiniAIG.

parent f030a2a5
Showing with 2 additions and 2 deletions
src/aig/miniaig/miniaig.h
...@@ -280,7 +280,7 @@ static inline int Mini_AigAndProp( Mini_Aig_t * p, int iLit0, int iLit1 ) ...@@ -280,7 +280,7 @@ static inline int Mini_AigAndProp( Mini_Aig_t * p, int iLit0, int iLit1 )
return iLit1 ? iLit0 : 0; return iLit1 ? iLit0 : 0;
if ( iLit0 == iLit1 ) if ( iLit0 == iLit1 )
return iLit1; return iLit1;
if ( iLit0 == Abc_LitNot(iLit1) ) if ( iLit0 == Mini_AigLitNot(iLit1) )
return 0; return 0;
return Mini_AigAnd( p, iLit0, iLit1 ); 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 ...@@ -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 iTemp0 = Mini_AigAndProp( p, Mini_AigLitNot(iCtrl), iData0 );
int iTemp1 = Mini_AigAndProp( p, iCtrl, iData1 ); 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 ) static inline int Mini_AigTruth( Mini_Aig_t * p, int * pVarLits, int nVars, unsigned Truth )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment