diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-09 18:41:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-09 18:41:53 -0800 |
| commit | b46749dee6552674705ec6cc91216f5afddfdfe8 (patch) | |
| tree | 0ada85d829d6e90e16871947704764a3e3904ed4 /src/aig | |
| parent | 6a48812d50bf5d513a00f25cec419cc353a1e655 (diff) | |
| download | abc-b46749dee6552674705ec6cc91216f5afddfdfe8.tar.gz abc-b46749dee6552674705ec6cc91216f5afddfdfe8.tar.bz2 abc-b46749dee6552674705ec6cc91216f5afddfdfe8.zip | |
Fixed the bug in Gia_ManRo/Gia_ManRo.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index b3d23ee2..4059153d 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -296,8 +296,8 @@ static inline Gia_Obj_t * Gia_ManCi( Gia_Man_t * p, int v ) { return Gia_ManO static inline Gia_Obj_t * Gia_ManCo( Gia_Man_t * p, int v ) { return Gia_ManObj( p, Vec_IntEntry(p->vCos,v) ); } static inline Gia_Obj_t * Gia_ManPi( Gia_Man_t * p, int v ) { assert( v < Gia_ManPiNum(p) ); return Gia_ManCi( p, v ); } static inline Gia_Obj_t * Gia_ManPo( Gia_Man_t * p, int v ) { assert( v < Gia_ManPoNum(p) ); return Gia_ManCo( p, v ); } -static inline Gia_Obj_t * Gia_ManRo( Gia_Man_t * p, int v ) { assert( v < Gia_ManRegNum(p) ); return Gia_ManCi( p, Gia_ManRegNum(p)+v ); } -static inline Gia_Obj_t * Gia_ManRi( Gia_Man_t * p, int v ) { assert( v < Gia_ManRegNum(p) ); return Gia_ManCo( p, Gia_ManRegNum(p)+v ); } +static inline Gia_Obj_t * Gia_ManRo( Gia_Man_t * p, int v ) { assert( v < Gia_ManRegNum(p) ); return Gia_ManCi( p, Gia_ManPiNum(p)+v ); } +static inline Gia_Obj_t * Gia_ManRi( Gia_Man_t * p, int v ) { assert( v < Gia_ManRegNum(p) ); return Gia_ManCo( p, Gia_ManPoNum(p)+v ); } static inline int Gia_ObjIsTerm( Gia_Obj_t * pObj ) { return pObj->fTerm; } static inline int Gia_ObjIsAndOrConst0( Gia_Obj_t * pObj ) { return!pObj->fTerm; } |