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/aig/gia/giaBidec.c | |
| parent | f380bb5ac15fd5e63b026d11426497c3f97450ce (diff) | |
| download | abc-f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df.tar.gz abc-f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df.tar.bz2 abc-f16457aaf5d00b5b44ef3aeef8062d1df9b8f1df.zip | |
Added/moved several APIs.
Diffstat (limited to 'src/aig/gia/giaBidec.c')
| -rw-r--r-- | src/aig/gia/giaBidec.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/aig/gia/giaBidec.c b/src/aig/gia/giaBidec.c index ae938798..19277f12 100644 --- a/src/aig/gia/giaBidec.c +++ b/src/aig/gia/giaBidec.c @@ -28,10 +28,6 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -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) ); } - //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// |