diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 16:00:29 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 16:00:29 -0800 |
| commit | a0052e22b43ff9d0125ca8e71f96589226e44e42 (patch) | |
| tree | 01edb8daa0a79a466e34e55585a0d1102db6b977 /src/aig/gia/gia.h | |
| parent | c2e467d55b188cb1fa5db534a23a4dd6e8291078 (diff) | |
| download | abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.tar.gz abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.tar.bz2 abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.zip | |
Added switch 'cexcut -m' to generate bad states for all frames after G.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d261e433..9d361fe8 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -316,6 +316,9 @@ static inline void Gia_ObjSetValue( Gia_Obj_t * pObj, int i ) { static inline int Gia_ObjPhase( Gia_Obj_t * pObj ) { return pObj->fPhase; } static inline int Gia_ObjPhaseReal( Gia_Obj_t * pObj ) { return Gia_Regular(pObj)->fPhase ^ Gia_IsComplement(pObj); } +static inline int Gia_Obj2Lit( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Abc_Var2Lit(Gia_ObjId(p, Gia_Regular(pObj)), Gia_IsComplement(pObj)); } +static inline Gia_Obj_t * Gia_Lit2Obj( Gia_Man_t * p, int iLit ) { return Gia_NotCond(Gia_ManObj(p, Abc_Lit2Var(iLit)), Abc_LitIsCompl(iLit)); } + static inline int Gia_ManIdToCioId( Gia_Man_t * p, int Id ) { return Gia_ObjCioId( Gia_ManObj(p, Id) ); } static inline int Gia_ManCiIdToId( Gia_Man_t * p, int CiId ) { return Gia_ObjId( p, Gia_ManCi(p, CiId) ); } static inline int Gia_ManCoIdToId( Gia_Man_t * p, int CoId ) { return Gia_ObjId( p, Gia_ManCo(p, CoId) ); } |