diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-30 21:09:08 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-30 21:09:08 -0700 |
commit | 95207366218ffadcb7f377db1b5577c758b82149 (patch) | |
tree | 649e220bf4a9fd0a9da9e5dd228d5ea8c17c7ca1 /src/aig/gia/gia.h | |
parent | 9eb1be8e537d7826d3bd09d173b7578baa7ec2a3 (diff) | |
download | abc-95207366218ffadcb7f377db1b5577c758b82149.tar.gz abc-95207366218ffadcb7f377db1b5577c758b82149.tar.bz2 abc-95207366218ffadcb7f377db1b5577c758b82149.zip |
Added several new APIs to GIA and for file management.
Diffstat (limited to 'src/aig/gia/gia.h')
-rw-r--r-- | src/aig/gia/gia.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 2c7d57b2..caafc1e4 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -472,12 +472,20 @@ static inline int Gia_ManAppendCo( Gia_Man_t * p, int iLit0 ) Gia_ObjAddFanout( p, Gia_ObjFanin0(pObj), pObj ); return Gia_ObjId( p, pObj ) << 1; } +static inline int Gia_ManAppendOr( Gia_Man_t * p, int iLit0, int iLit1 ) +{ + return Abc_LitNot(Gia_ManAppendAnd( p, Abc_LitNot(iLit0), Abc_LitNot(iLit1) )); +} static inline int Gia_ManAppendMux( Gia_Man_t * p, int iCtrl, int iData1, int iData0 ) { int iTemp0 = Gia_ManAppendAnd( p, Abc_LitNot(iCtrl), iData0 ); int iTemp1 = Gia_ManAppendAnd( p, iCtrl, iData1 ); return Abc_LitNotCond( Gia_ManAppendAnd( p, Abc_LitNot(iTemp0), Abc_LitNot(iTemp1) ), 1 ); } +static inline int Gia_ManAppendXor( Gia_Man_t * p, int iLit0, int iLit1 ) +{ + return Gia_ManAppendMux( p, iLit0, Abc_LitNot(iLit1), iLit1 ); +} #define GIA_ZER 1 #define GIA_ONE 2 @@ -728,6 +736,7 @@ extern void Gia_ManHashAlloc( Gia_Man_t * p ); extern void Gia_ManHashStart( Gia_Man_t * p ); extern void Gia_ManHashStop( Gia_Man_t * p ); extern int Gia_ManHashAnd( Gia_Man_t * p, int iLit0, int iLit1 ); +extern int Gia_ManHashOr( Gia_Man_t * p, int iLit0, int iLit1 ); extern int Gia_ManHashXor( Gia_Man_t * p, int iLit0, int iLit1 ); extern int Gia_ManHashMux( Gia_Man_t * p, int iCtrl, int iData1, int iData0 ); extern int Gia_ManHashAndTry( Gia_Man_t * p, int iLit0, int iLit1 ); |