diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-31 20:36:43 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-31 20:36:43 +0700 |
| commit | 778215e7ee46160bf27ff7eff6a7865cac0a1505 (patch) | |
| tree | fb9672b5792a25dfc1bccea36bef08ad80075095 /src | |
| parent | 0d65c49048eea6940e3f5fa9bbf28ee5c6b97102 (diff) | |
| download | abc-778215e7ee46160bf27ff7eff6a7865cac0a1505.tar.gz abc-778215e7ee46160bf27ff7eff6a7865cac0a1505.tar.bz2 abc-778215e7ee46160bf27ff7eff6a7865cac0a1505.zip | |
Added new APIs to the AIG manager.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/aig/aig.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/aig/aig.h b/src/aig/aig/aig.h index d446837f..655c0c99 100644 --- a/src/aig/aig/aig.h +++ b/src/aig/aig/aig.h @@ -335,6 +335,7 @@ static inline void Aig_ObjChild1Flip( Aig_Obj_t * pObj ) { assert( !Aig static inline Aig_Obj_t * Aig_ObjCopy( Aig_Obj_t * pObj ) { assert( !Aig_IsComplement(pObj) ); return (Aig_Obj_t *)pObj->pData; } static inline void Aig_ObjSetCopy( Aig_Obj_t * pObj, Aig_Obj_t * pCopy ) { assert( !Aig_IsComplement(pObj) ); pObj->pData = pCopy; } static inline Aig_Obj_t * Aig_ObjRealCopy( Aig_Obj_t * pObj ) { return Aig_NotCond((Aig_Obj_t *)Aig_Regular(pObj)->pData, Aig_IsComplement(pObj));} +static inline int Aig_ObjRealLit( Aig_Obj_t * pObj ) { return Aig_Var2Lit( Aig_ObjId(Aig_Regular(pObj)), Aig_IsComplement(pObj) ); } static inline int Aig_ObjLevel( Aig_Obj_t * pObj ) { assert( !Aig_IsComplement(pObj) ); return pObj->Level; } static inline int Aig_ObjLevelNew( Aig_Obj_t * pObj ) { assert( !Aig_IsComplement(pObj) ); return Aig_ObjFanin1(pObj)? 1 + Aig_ObjIsExor(pObj) + ABC_MAX(Aig_ObjFanin0(pObj)->Level, Aig_ObjFanin1(pObj)->Level) : Aig_ObjFanin0(pObj)->Level; } static inline int Aig_ObjSetLevel( Aig_Obj_t * pObj, int i ) { assert( !Aig_IsComplement(pObj) ); return pObj->Level = i; } |