diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 13:30:28 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 13:30:28 -0800 |
commit | c16f5d6494982ccbbdaa5226e869ffafef0b9530 (patch) | |
tree | 512df34a2683611c19bceeb5fe100ce8a2aea931 /src/aig/gia/gia.h | |
parent | 3beb36778ec35702690833e6a5d01498d1113b28 (diff) | |
download | abc-c16f5d6494982ccbbdaa5226e869ffafef0b9530.tar.gz abc-c16f5d6494982ccbbdaa5226e869ffafef0b9530.tar.bz2 abc-c16f5d6494982ccbbdaa5226e869ffafef0b9530.zip |
Bug fix in GLA PBA.
Diffstat (limited to 'src/aig/gia/gia.h')
-rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 5ec8de3f..a79e12dd 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -350,6 +350,8 @@ static inline int Gia_ObjFaninLit1p( Gia_Man_t * p, Gia_Obj_t * pObj) { static inline void Gia_ObjFlipFaninC0( Gia_Obj_t * pObj ) { assert( Gia_ObjIsCo(pObj) ); pObj->fCompl0 ^= 1; } static inline int Gia_ObjWhatFanin( Gia_Obj_t * pObj, Gia_Obj_t * pFanin ) { return Gia_ObjFanin0(pObj) == pFanin ? 0 : (Gia_ObjFanin1(pObj) == pFanin ? 1 : -1); } +static inline Gia_Obj_t * Gia_ObjCopy( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ManObj( p, Gia_Lit2Var(pObj->Value) ); } + static inline int Gia_ObjFanin0Copy( Gia_Obj_t * pObj ) { return Gia_LitNotCond( Gia_ObjFanin0(pObj)->Value, Gia_ObjFaninC0(pObj) ); } static inline int Gia_ObjFanin1Copy( Gia_Obj_t * pObj ) { return Gia_LitNotCond( Gia_ObjFanin1(pObj)->Value, Gia_ObjFaninC1(pObj) ); } |