diff options
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 3188d84f..206c9dc4 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -160,7 +160,7 @@ struct Gia_Man_t_ void * pLutLib; // LUT library word nHashHit; // hash table hit word nHashMiss; // hash table miss - unsigned * pData; // various user data + void * pData; // various user data unsigned * pData2; // various user data int iData; // various user data int iData2; // various user data @@ -278,6 +278,12 @@ static inline void Gia_ManTruthNot( unsigned * pOut, unsigned * pIn, int nVars ) pOut[w] = ~pIn[w]; } +static inline int Gia_ManConst0Lit() { return 0; } +static inline int Gia_ManConst1Lit() { return 1; } +static inline int Gia_ManIsConst0Lit( int iLit ) { return (iLit == 0); } +static inline int Gia_ManIsConst1Lit( int iLit ) { return (iLit == 1); } +static inline int Gia_ManIsConstLit( int iLit ) { return (iLit <= 1); } + static inline Gia_Obj_t * Gia_Regular( Gia_Obj_t * p ) { return (Gia_Obj_t *)((ABC_PTRUINT_T)(p) & ~01); } static inline Gia_Obj_t * Gia_Not( Gia_Obj_t * p ) { return (Gia_Obj_t *)((ABC_PTRUINT_T)(p) ^ 01); } static inline Gia_Obj_t * Gia_NotCond( Gia_Obj_t * p, int c ) { return (Gia_Obj_t *)((ABC_PTRUINT_T)(p) ^ (c)); } |