diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-07 15:05:21 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-07 15:05:21 -0700 |
commit | 820a48b2cb61131f527af7b6fe3ae1c566c4356f (patch) | |
tree | eb33efcc0af0ed9b0e618d4a3fbd19793ae06dcd /src/base/wlc/wlc.h | |
parent | 4efbd7b3ca360ba35c48e9306c92ad93c4c47af1 (diff) | |
download | abc-820a48b2cb61131f527af7b6fe3ae1c566c4356f.tar.gz abc-820a48b2cb61131f527af7b6fe3ae1c566c4356f.tar.bz2 abc-820a48b2cb61131f527af7b6fe3ae1c566c4356f.zip |
Changes to Wlc to accommodate signed signals in SMT-LIB.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 7fe091d9..51152fa8 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -199,6 +199,8 @@ static inline int Wlc_ObjRangeIsReversed( Wlc_Obj_t * p ) static inline int Wlc_ObjIsSigned( Wlc_Obj_t * p ) { return p->Signed; } static inline int Wlc_ObjIsSignedFanin01( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ){ return p->fSmtLib ? Wlc_ObjIsSigned(pObj) : (Wlc_ObjFanin0(p, pObj)->Signed && Wlc_ObjFanin1(p, pObj)->Signed); } +static inline int Wlc_ObjIsSignedFanin0( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ) { return p->fSmtLib ? Wlc_ObjIsSigned(pObj) : Wlc_ObjFanin0(p, pObj)->Signed; } +static inline int Wlc_ObjIsSignedFanin1( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ) { return p->fSmtLib ? Wlc_ObjIsSigned(pObj) : Wlc_ObjFanin1(p, pObj)->Signed; } static inline int Wlc_ObjSign( Wlc_Obj_t * p ) { return Abc_Var2Lit( Wlc_ObjRange(p), Wlc_ObjIsSigned(p) ); } static inline int * Wlc_ObjConstValue( Wlc_Obj_t * p ) { assert(p->Type == WLC_OBJ_CONST); return Wlc_ObjFanins(p); } static inline int Wlc_ObjTableId( Wlc_Obj_t * p ) { assert(p->Type == WLC_OBJ_TABLE); return p->Fanins[1]; } |