diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2016-06-02 17:26:12 -0300 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2016-06-02 17:26:12 -0300 |
commit | b6ab0879524c6bf170b41a2605f61d1c23fe07b1 (patch) | |
tree | 0c4863ddcba3e2942ed2f3c2097904e45d703605 /src/opt/fxch/Fxch.c | |
parent | 4937fb09edac78dbc7b785e08fad0c5c5e2af315 (diff) | |
download | abc-b6ab0879524c6bf170b41a2605f61d1c23fe07b1.tar.gz abc-b6ab0879524c6bf170b41a2605f61d1c23fe07b1.tar.bz2 abc-b6ab0879524c6bf170b41a2605f61d1c23fe07b1.zip |
Removing the memory saving mode, it is no longer necessary.
Diffstat (limited to 'src/opt/fxch/Fxch.c')
-rw-r--r-- | src/opt/fxch/Fxch.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/opt/fxch/Fxch.c b/src/opt/fxch/Fxch.c index a9228dc6..6c3983ef 100644 --- a/src/opt/fxch/Fxch.c +++ b/src/opt/fxch/Fxch.c @@ -39,12 +39,11 @@ ABC_NAMESPACE_IMPL_START int Fxch_FastExtract( Vec_Wec_t* vCubes, int ObjIdMax, int nMaxDivExt, - int SMode, int fVerbose, int fVeryVerbose ) { abctime TempTime; - Fxch_Man_t* pFxchMan = Fxch_ManAlloc( vCubes, (char)SMode ); + Fxch_Man_t* pFxchMan = Fxch_ManAlloc( vCubes ); int i; TempTime = Abc_Clock(); @@ -102,7 +101,6 @@ int Fxch_FastExtract( Vec_Wec_t* vCubes, ***********************************************************************/ int Abc_NtkFxchPerform( Abc_Ntk_t* pNtk, int nMaxDivExt, - int SMode, int fVerbose, int fVeryVerbose ) { @@ -117,7 +115,7 @@ int Abc_NtkFxchPerform( Abc_Ntk_t* pNtk, } vCubes = Abc_NtkFxRetrieve( pNtk ); - if ( Fxch_FastExtract( vCubes, Abc_NtkObjNumMax( pNtk ), nMaxDivExt, SMode, fVerbose, fVeryVerbose ) > 0 ) + if ( Fxch_FastExtract( vCubes, Abc_NtkObjNumMax( pNtk ), nMaxDivExt, fVerbose, fVeryVerbose ) > 0 ) { Abc_NtkFxInsert( pNtk, vCubes ); Vec_WecFree( vCubes ); |