diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:48:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:48:55 -0800 |
| commit | e17234d90ca610fdd3cb408228a347b0440aa861 (patch) | |
| tree | f23e338fd78c3065c59a7946be385ba56ce6cd24 /src/base/cba/cba.h | |
| parent | 7441908ffbafd6bed148596fc53fd503dff6fa32 (diff) | |
| download | abc-e17234d90ca610fdd3cb408228a347b0440aa861.tar.gz abc-e17234d90ca610fdd3cb408228a347b0440aa861.tar.bz2 abc-e17234d90ca610fdd3cb408228a347b0440aa861.zip | |
Improvements to the CBA package.
Diffstat (limited to 'src/base/cba/cba.h')
| -rw-r--r-- | src/base/cba/cba.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cba/cba.h b/src/base/cba/cba.h index f00ecdfd..53652bd5 100644 --- a/src/base/cba/cba.h +++ b/src/base/cba/cba.h @@ -286,8 +286,8 @@ static inline int Cba_ObjFanin( Cba_Ntk_t * p, int i ) { a static inline int Cba_ObjIndex( Cba_Ntk_t * p, int i ) { assert(Cba_ObjIsCio(p, i)); return Vec_IntEntry(&p->vIndex, i); } static inline int Cba_ObjNameInt( Cba_Ntk_t * p, int i ) { assert(!Cba_ObjIsCo(p, i)); return Vec_IntEntry(&p->vName, i); } static inline int Cba_ObjName( Cba_Ntk_t * p, int i ) { return Cba_ObjIsCo(p, i) ? Cba_ObjNameInt(p, Cba_ObjFanin(p,i)) : Cba_ObjNameInt(p, i); } -static inline Cba_NameType_t Cba_ObjNameType( Cba_Ntk_t * p, int i ) { assert(!Cba_ObjIsCo(p, i)); return Cba_NameType( Cba_ObjName(p, i) ); } -static inline int Cba_ObjNameId( Cba_Ntk_t * p, int i ) { assert(!Cba_ObjIsCo(p, i)); return Abc_Lit2Var2( Cba_ObjName(p, i) ); } +static inline Cba_NameType_t Cba_ObjNameType( Cba_Ntk_t * p, int i ) { return Cba_NameType( Cba_ObjName(p, i) ); } +static inline int Cba_ObjNameId( Cba_Ntk_t * p, int i ) { return Abc_Lit2Var2( Cba_ObjName(p, i) ); } static inline char * Cba_ObjNameStr( Cba_Ntk_t * p, int i ) { assert(Cba_ObjNameType(p, i) <= CBA_NAME_WORD); return Cba_NtkStr(p, Cba_ObjNameId(p, i)); } static inline int Cba_ObjCopy( Cba_Ntk_t * p, int i ) { return Vec_IntEntry(&p->vCopy, i); } static inline int Cba_ObjFanout( Cba_Ntk_t * p, int i ) { assert(Cba_ObjIsCi(p, i)); return Vec_IntEntry(&p->vFanout, i); } |