diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-10 00:28:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-10 00:28:36 -0700 |
| commit | f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df (patch) | |
| tree | 789b0aa05ebbb61a342f8f19dcb90fdf6db2ac6c /src/bool/bdc | |
| parent | f380bb5ac15fd5e63b026d11426497c3f97450ce (diff) | |
| download | abc-f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df.tar.gz abc-f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df.tar.bz2 abc-f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df.zip | |
Added/moved several APIs.
Diffstat (limited to 'src/bool/bdc')
| -rw-r--r-- | src/bool/bdc/bdc.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/bool/bdc/bdc.h b/src/bool/bdc/bdc.h index 6c88857a..a7572fe8 100644 --- a/src/bool/bdc/bdc.h +++ b/src/bool/bdc/bdc.h @@ -78,6 +78,10 @@ extern int Bdc_FuncCopyInt( Bdc_Fun_t * p ); extern void Bdc_FuncSetCopy( Bdc_Fun_t * p, void * pCopy ); extern void Bdc_FuncSetCopyInt( Bdc_Fun_t * p, int iCopy ); +/*=== working with saved copies ==========================================*/ +static inline int Bdc_FunObjCopy( Bdc_Fun_t * pObj ) { return Abc_LitNotCond( Bdc_FuncCopyInt(Bdc_Regular(pObj)), Bdc_IsComplement(pObj) ); } +static inline int Bdc_FunFanin0Copy( Bdc_Fun_t * pObj ) { return Bdc_FunObjCopy( Bdc_FuncFanin0(pObj) ); } +static inline int Bdc_FunFanin1Copy( Bdc_Fun_t * pObj ) { return Bdc_FunObjCopy( Bdc_FuncFanin1(pObj) ); } ABC_NAMESPACE_HEADER_END |