diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-12-30 11:24:35 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-12-30 11:24:35 -0800 |
| commit | d0efef2fe958ca093b06ad4be739ffdcb44c4d28 (patch) | |
| tree | 2c167ce8a3285e32e2880198d6ed409f623ed6f7 /src/aig | |
| parent | e44f409c1d798d2c663e75e8349c28cad7fe4b82 (diff) | |
| download | abc-d0efef2fe958ca093b06ad4be739ffdcb44c4d28.tar.gz abc-d0efef2fe958ca093b06ad4be739ffdcb44c4d28.tar.bz2 abc-d0efef2fe958ca093b06ad4be739ffdcb44c4d28.zip | |
Experiments with simulation.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 3c16600e..1fa7e368 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -479,6 +479,7 @@ static inline int Gia_ObjValue( Gia_Obj_t * pObj ) { static inline void Gia_ObjSetValue( Gia_Obj_t * pObj, int i ) { pObj->Value = 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_ObjPhaseDiff( Gia_Man_t * p, int i, int k ) { return Gia_ManObj(p, i)->fPhase ^ Gia_ManObj(p, k)->fPhase; } static inline int Gia_ObjIsTerm( Gia_Obj_t * pObj ) { return pObj->fTerm; } static inline int Gia_ObjIsAndOrConst0( Gia_Obj_t * pObj ) { return!pObj->fTerm; } |