diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-24 11:44:28 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-24 11:44:28 +0700 |
| commit | ee1bd8f0bee0678a289e086676adad2f35e3e2ae (patch) | |
| tree | 843f47af624fa07ddc62828cc37d0e102ded5730 /src/aig/gia/giaAgi.c | |
| parent | 0ca7e355f457363bc78de8468df1e66e61b5e8b0 (diff) | |
| download | abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.gz abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.bz2 abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.zip | |
Fixing some update gcc.
Diffstat (limited to 'src/aig/gia/giaAgi.c')
| -rw-r--r-- | src/aig/gia/giaAgi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAgi.c b/src/aig/gia/giaAgi.c index 3acf75a6..2db087d5 100644 --- a/src/aig/gia/giaAgi.c +++ b/src/aig/gia/giaAgi.c @@ -76,7 +76,7 @@ static inline int Agi_ObjIsRo( Agi_Man_t * p, int i ) { ret static inline int Agi_ObjIsPo( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_PI) == AGI_PO; } static inline int Agi_ObjIsRi( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_PI) == AGI_RI; } static inline int Agi_ObjIsCi( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_RO) == AGI_RO; } -static inline int Agi_ObjIsCo( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_RO) == AGI_PO; } +static inline int Agi_ObjIsCo( Agi_Man_t * p, int i ) { return (p->pObjs[i] & AGI_PO) == AGI_PO; } static inline int Agi_ObjIsNode( Agi_Man_t * p, int i ) { return p->pObjs[i] < AGI_C0; } static inline int Agi_ObjIsBuf( Agi_Man_t * p, int i ) { return Agi_ObjLit0(p, i) == Agi_ObjLit1(p, i); } static inline int Agi_ObjIsAnd( Agi_Man_t * p, int i ) { return Agi_ObjIsNode(p, i) && Agi_ObjLit0(p, i) < Agi_ObjLit1(p, i); } |