diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-28 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-28 08:01:00 -0800 |
| commit | 44d220d28fa2ee56cb539e03684f021731814f17 (patch) | |
| tree | 97ece1e77fa8fff2283c62fb9253424e566e7fba /src/base/abc | |
| parent | 6ad22b4d3b0446652919d95b15fefb374bddfac0 (diff) | |
| download | abc-44d220d28fa2ee56cb539e03684f021731814f17.tar.gz abc-44d220d28fa2ee56cb539e03684f021731814f17.tar.bz2 abc-44d220d28fa2ee56cb539e03684f021731814f17.zip | |
Version abc61128
Diffstat (limited to 'src/base/abc')
| -rw-r--r-- | src/base/abc/abc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index c4c42f99..08e1323d 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -648,6 +648,7 @@ extern Abc_Ntk_t * Abc_NtkDeriveFromBdd( DdManager * dd, DdNode * bFunc, extern Abc_Ntk_t * Abc_NtkBddToMuxes( Abc_Ntk_t * pNtk ); extern DdManager * Abc_NtkBuildGlobalBdds( Abc_Ntk_t * pNtk, int fBddSizeMax, int fDropInternal, int fReorder, int fVerbose ); extern DdManager * Abc_NtkFreeGlobalBdds( Abc_Ntk_t * pNtk, int fFreeMan ); +extern int Abc_NtkSizeOfGlobalBdds( Abc_Ntk_t * pNtk ); /*=== abcNtk.c ==========================================================*/ extern Abc_Ntk_t * Abc_NtkAlloc( Abc_NtkType_t Type, Abc_NtkFunc_t Func, int fUseMemMan ); extern Abc_Ntk_t * Abc_NtkStartFrom( Abc_Ntk_t * pNtk, Abc_NtkType_t Type, Abc_NtkFunc_t Func ); |