From df83fb5e0470cb54eb75dee47d629ee7b276b88c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 21 Nov 2014 12:01:26 -0800 Subject: Fix in reading flop classes. --- src/misc/util/abc_global.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/misc/util') diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index b2b6ec91..b798961e 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -269,6 +269,10 @@ static inline int Abc_LitRegular( int Lit ) { return Lit & ~01 static inline int Abc_Lit2LitV( int * pMap, int Lit ) { return Abc_Var2Lit( pMap[Abc_Lit2Var(Lit)], Abc_LitIsCompl(Lit) ); } static inline int Abc_Lit2LitL( int * pMap, int Lit ) { return Abc_LitNotCond( pMap[Abc_Lit2Var(Lit)], Abc_LitIsCompl(Lit) ); } +static inline int Abc_Ptr2Int( void * p ) { return (int)(ABC_PTRINT_T)p; } +static inline void * Abc_Int2Ptr( int i ) { return (void *)(ABC_PTRINT_T)i; } +static inline word Abc_Ptr2Wrd( void * p ) { return (word)(ABC_PTRUINT_T)p; } +static inline void * Abc_Wrd2Ptr( word i ) { return (void *)(ABC_PTRUINT_T)i; } // time counting typedef ABC_INT64_T abctime; -- cgit v1.2.3