diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 22:42:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 22:42:01 -0700 |
| commit | 68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce (patch) | |
| tree | ed405f4342bd390adbe6004207f2acc26c7bdf16 /src/opt/fxu | |
| parent | 5f97f5cffa90f2e289e572ffb233cec70d63a64d (diff) | |
| download | abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.tar.gz abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.tar.bz2 abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.zip | |
Improving printouts in sharing extraction.
Diffstat (limited to 'src/opt/fxu')
| -rw-r--r-- | src/opt/fxu/fxu.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/fxu/fxu.h b/src/opt/fxu/fxu.h index e8ef6586..21eaa85e 100644 --- a/src/opt/fxu/fxu.h +++ b/src/opt/fxu/fxu.h @@ -50,6 +50,7 @@ struct FxuDataStruct int fUse0; // set to 1 to have 0-weight also extracted int fUseCompl; // set to 1 to have complement taken into account int fVerbose; // set to 1 to have verbose output + int fVeryVerbose; // set to 1 to have more verbose output int nNodesExt; // the number of divisors to extract int nSingleMax; // the max number of single-cube divisors to consider int nPairsMax; // the max number of double-cube divisors to consider @@ -77,7 +78,7 @@ struct FxuDataStruct //////////////////////////////////////////////////////////////////////// /*===== fxu.c ==========================================================*/ -extern void Abc_NtkSetDefaultParams( Fxu_Data_t * p ); +extern void Abc_NtkSetDefaultFxParams( Fxu_Data_t * p ); extern int Abc_NtkFastExtract( Abc_Ntk_t * pNtk, Fxu_Data_t * p ); extern void Abc_NtkFxuFreeInfo( Fxu_Data_t * p ); |