diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-07-30 14:21:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-07-30 14:21:47 -0700 |
| commit | ddb22f3bed7cb457576b4b80e55d47eabf3a1308 (patch) | |
| tree | 7c37fb06dc76ba960f606fb3f738cf31ab0fa347 /src/aig/gia/giaResub2.c | |
| parent | c23cd0a7c5f4264b3209f127885b8d5432f2fd5a (diff) | |
| download | abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.tar.gz abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.tar.bz2 abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.zip | |
Various changes.
Diffstat (limited to 'src/aig/gia/giaResub2.c')
| -rw-r--r-- | src/aig/gia/giaResub2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaResub2.c b/src/aig/gia/giaResub2.c index 1219526f..10c5a9e0 100644 --- a/src/aig/gia/giaResub2.c +++ b/src/aig/gia/giaResub2.c @@ -733,7 +733,7 @@ void Gia_RsbCiWindowTest( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ -static inline int Gia_ObjFaninId( Gia_Obj_t * pObj, int iObj, int n ) { return n ? Gia_ObjFaninId1(pObj, iObj) : Gia_ObjFaninId0(pObj, iObj); } +//static inline int Gia_ObjFaninId( Gia_Obj_t * pObj, int iObj, int n ) { return n ? Gia_ObjFaninId1(pObj, iObj) : Gia_ObjFaninId0(pObj, iObj); } static inline int Gia_ObjTravIsTopTwo( Gia_Man_t * p, int iNodeA ) { return (p->pTravIds[iNodeA] >= p->nTravIds - 1); } static inline int Gia_ObjTravIsSame( Gia_Man_t * p, int iNodeA, int iNodeB ) { return (p->pTravIds[iNodeA] == p->pTravIds[iNodeB]); } |