diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-02 17:42:56 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-02 17:42:56 +0800 |
| commit | e6b16e27d1cf5e5d5ec21ce01ed4e424624734d3 (patch) | |
| tree | 12400084df77c487678683a9d8f87d01f142d1e2 | |
| parent | a9807a759e85336465b88ce980bca439bd4f9fdb (diff) | |
| download | abc-e6b16e27d1cf5e5d5ec21ce01ed4e424624734d3.tar.gz abc-e6b16e27d1cf5e5d5ec21ce01ed4e424624734d3.tar.bz2 abc-e6b16e27d1cf5e5d5ec21ce01ed4e424624734d3.zip | |
Misc changes.
| -rw-r--r-- | src/aig/gia/gia.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d675b25c..1785eee7 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -518,7 +518,8 @@ static inline Gia_Obj_t * Gia_ObjReprObj( Gia_Man_t * p, int Id ) { r static inline int Gia_ObjRepr( Gia_Man_t * p, int Id ) { return p->pReprs[Id].iRepr; } static inline void Gia_ObjSetRepr( Gia_Man_t * p, int Id, int Num ) { assert( Num == GIA_VOID || Num < Id ); p->pReprs[Id].iRepr = Num; } static inline void Gia_ObjUnsetRepr( Gia_Man_t * p, int Id ) { p->pReprs[Id].iRepr = GIA_VOID; } -static inline int Gia_ObjHasRepr( Gia_Man_t * p, int Id ) { return p->pReprs[Id].iRepr != GIA_VOID; } +static inline int Gia_ObjHasRepr( Gia_Man_t * p, int Id ) { return p->pReprs[Id].iRepr != GIA_VOID; } +static inline int Gia_ObjReprSelf( Gia_Man_t * p, int Id ) { return Gia_ObjHasRepr(p, Id) ? Gia_ObjRepr(p, Id) : Id; } static inline int Gia_ObjProved( Gia_Man_t * p, int Id ) { return p->pReprs[Id].fProved; } static inline void Gia_ObjSetProved( Gia_Man_t * p, int Id ) { p->pReprs[Id].fProved = 1; } |