diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-27 19:39:02 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-27 19:39:02 -0700 |
commit | 9eb3a3b3493034b8e20a9cbf36578290ee4b40e6 (patch) | |
tree | 9f02dc7726ea29bd14be42d9d436353cd83f7997 /src/base/abc | |
parent | 9b1de5b166e9832bf2e9aa15ca4fe29e5017f94f (diff) | |
download | abc-9eb3a3b3493034b8e20a9cbf36578290ee4b40e6.tar.gz abc-9eb3a3b3493034b8e20a9cbf36578290ee4b40e6.tar.bz2 abc-9eb3a3b3493034b8e20a9cbf36578290ee4b40e6.zip |
Adding resource limits to 'fraig_restore'.
Diffstat (limited to 'src/base/abc')
-rw-r--r-- | src/base/abc/abc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index fa5a61a1..3374b453 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -650,7 +650,7 @@ extern ABC_DLL Abc_Ntk_t * Abc_NtkFraig( Abc_Ntk_t * pNtk, void * pParams extern ABC_DLL void * Abc_NtkToFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes, int fExdc ); extern ABC_DLL Abc_Ntk_t * Abc_NtkFraigTrust( Abc_Ntk_t * pNtk ); extern ABC_DLL int Abc_NtkFraigStore( Abc_Ntk_t * pNtk ); -extern ABC_DLL Abc_Ntk_t * Abc_NtkFraigRestore(); +extern ABC_DLL Abc_Ntk_t * Abc_NtkFraigRestore( int nPatsRand, int nPatsDyna, int nBTLimit ); extern ABC_DLL void Abc_NtkFraigStoreClean(); /*=== abcFunc.c ==========================================================*/ extern ABC_DLL int Abc_NtkSopToBdd( Abc_Ntk_t * pNtk ); |