diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-12 12:47:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-12 12:47:41 -0700 |
| commit | 6f9051a99ced7fd415475f85262a23fbe2f8922b (patch) | |
| tree | 60a6fbc4aee196a8818a25fd063c1835762f4320 /src/aig/gia/gia.h | |
| parent | 2f1988e8f6f959339868b5df976b6d30b4fe0201 (diff) | |
| download | abc-6f9051a99ced7fd415475f85262a23fbe2f8922b.tar.gz abc-6f9051a99ced7fd415475f85262a23fbe2f8922b.tar.bz2 abc-6f9051a99ced7fd415475f85262a23fbe2f8922b.zip | |
MUX decomposition during mapping.
Diffstat (limited to 'src/aig/gia/gia.h')
| -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 28d65b35..f503b740 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -927,7 +927,8 @@ static inline int Gia_ObjIsLut( Gia_Man_t * p, int Id ) { re static inline int Gia_ObjLutSize( Gia_Man_t * p, int Id ) { return Vec_IntEntry(p->vMapping, Vec_IntEntry(p->vMapping, Id)); } static inline int * Gia_ObjLutFanins( Gia_Man_t * p, int Id ) { return Vec_IntEntryP(p->vMapping, Vec_IntEntry(p->vMapping, Id)) + 1; } static inline int Gia_ObjLutFanin( Gia_Man_t * p, int Id, int i ) { return Gia_ObjLutFanins(p, Id)[i]; } -static inline int Gia_ObjLutIsMux( Gia_Man_t * p, int Id ) { return (int)(Gia_ObjLutFanins(p, Id)[Gia_ObjLutSize(p, Id)] == -Id); } +static inline int Gia_ObjLutMuxId( Gia_Man_t * p, int Id ) { return Gia_ObjLutFanins(p, Id)[Gia_ObjLutSize(p, Id)]; } +static inline int Gia_ObjLutIsMux( Gia_Man_t * p, int Id ) { return (int)(Gia_ObjLutMuxId(p, Id) < 0); } static inline int Gia_ManHasCellMapping( Gia_Man_t * p ) { return p->vCellMapping != NULL; } static inline int Gia_ObjIsCell( Gia_Man_t * p, int iLit ) { return Vec_IntEntry(p->vCellMapping, iLit) != 0; } |