diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-28 18:30:21 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-28 18:30:21 -0700 |
commit | e8d690f2a4c9abde54bb248a97c0c619b187f238 (patch) | |
tree | fcb7d32ec1694681bdacc99494dfd82868c7d734 /src/bool/bdc/bdc.h | |
parent | 1b18583840f04d84b226cd11fb17a1aa41e5f5a3 (diff) | |
download | abc-e8d690f2a4c9abde54bb248a97c0c619b187f238.tar.gz abc-e8d690f2a4c9abde54bb248a97c0c619b187f238.tar.bz2 abc-e8d690f2a4c9abde54bb248a97c0c619b187f238.zip |
Adding command 'testdec'.
Diffstat (limited to 'src/bool/bdc/bdc.h')
-rw-r--r-- | src/bool/bdc/bdc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bool/bdc/bdc.h b/src/bool/bdc/bdc.h index a7572fe8..bd0f7d7d 100644 --- a/src/bool/bdc/bdc.h +++ b/src/bool/bdc/bdc.h @@ -67,10 +67,12 @@ static inline Bdc_Fun_t * Bdc_NotCond( Bdc_Fun_t * p, int c ) { return (Bdc_F /*=== bdcCore.c ==========================================================*/ extern Bdc_Man_t * Bdc_ManAlloc( Bdc_Par_t * pPars ); extern void Bdc_ManFree( Bdc_Man_t * p ); +extern void Bdc_ManDecPrint( Bdc_Man_t * p ); extern int Bdc_ManDecompose( Bdc_Man_t * p, unsigned * puFunc, unsigned * puCare, int nVars, Vec_Ptr_t * vDivs, int nNodesMax ); extern Bdc_Fun_t * Bdc_ManFunc( Bdc_Man_t * p, int i ); extern Bdc_Fun_t * Bdc_ManRoot( Bdc_Man_t * p ); extern int Bdc_ManNodeNum( Bdc_Man_t * p ); +extern int Bdc_ManAndNum( Bdc_Man_t * p ); extern Bdc_Fun_t * Bdc_FuncFanin0( Bdc_Fun_t * p ); extern Bdc_Fun_t * Bdc_FuncFanin1( Bdc_Fun_t * p ); extern void * Bdc_FuncCopy( Bdc_Fun_t * p ); |