diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-25 17:49:59 -0500 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-25 17:49:59 -0500 |
commit | fe3b2e250bc642509e7c954b837d21d8c6bb8d42 (patch) | |
tree | e0fad6acf9e09e6aa8e700e9913c1baaa01d7abe /src/aig/gia/gia.h | |
parent | 89fafca3c657d1478cf2849eb12b1330b09a1d7b (diff) | |
download | abc-fe3b2e250bc642509e7c954b837d21d8c6bb8d42.tar.gz abc-fe3b2e250bc642509e7c954b837d21d8c6bb8d42.tar.bz2 abc-fe3b2e250bc642509e7c954b837d21d8c6bb8d42.zip |
User-controlable SAT sweeper.
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)); } |