diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-06 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-06 08:01:00 -0800 |
| commit | a13c64a5b4164b5a10943c0d5283260252be30d0 (patch) | |
| tree | 790d3d526396ef0ea7f00dddb99283e73e94e00e /src/opt/bdc/bdc.h | |
| parent | 8da52b6f202444711da6b1f1baac92e0a516c8e6 (diff) | |
| download | abc-a13c64a5b4164b5a10943c0d5283260252be30d0.tar.gz abc-a13c64a5b4164b5a10943c0d5283260252be30d0.tar.bz2 abc-a13c64a5b4164b5a10943c0d5283260252be30d0.zip | |
Version abc70206
Diffstat (limited to 'src/opt/bdc/bdc.h')
| -rw-r--r-- | src/opt/bdc/bdc.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/bdc/bdc.h b/src/opt/bdc/bdc.h index f0976bfe..71875edb 100644 --- a/src/opt/bdc/bdc.h +++ b/src/opt/bdc/bdc.h @@ -20,7 +20,7 @@ #ifndef __BDC_H__ #define __BDC_H__ - + #ifdef __cplusplus extern "C" { #endif @@ -57,8 +57,8 @@ struct Bdc_Par_t_ /*=== bdcCore.c ==========================================================*/ extern Bdc_Man_t * Bdc_ManAlloc( Bdc_Par_t * pPars ); -extern void Bdc_ManAlloc( Bdc_Man_t * p ); -extern int Bdc_ManDecompose( Bdc_Man_t * p, unsigned * puFunc, unsigned * puCare, int nVars, Vec_Ptr_t * vDivs, int nNodeLimit ); +extern void Bdc_ManFree( Bdc_Man_t * p ); +extern int Bdc_ManDecompose( Bdc_Man_t * p, unsigned * puFunc, unsigned * puCare, int nVars, Vec_Ptr_t * vDivs, int nNodesLimit ); #ifdef __cplusplus |