diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-12 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-12 08:01:00 -0800 |
| commit | bd995ee2ca86bcb488d2e9592012b6077a6283f6 (patch) | |
| tree | 7b11181885531a3064c4cc1555c011a00100e68b /src/aig/dar/darScript.c | |
| parent | d9760b04a80adbb44a203aeb614ab6576171aa9b (diff) | |
| download | abc-bd995ee2ca86bcb488d2e9592012b6077a6283f6.tar.gz abc-bd995ee2ca86bcb488d2e9592012b6077a6283f6.tar.bz2 abc-bd995ee2ca86bcb488d2e9592012b6077a6283f6.zip | |
Version abc80212
Diffstat (limited to 'src/aig/dar/darScript.c')
| -rw-r--r-- | src/aig/dar/darScript.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index 530e913e..e690a61b 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -353,7 +353,7 @@ Vec_Ptr_t * Dar_ManChoiceSynthesisExt() SeeAlso [] ***********************************************************************/ -Aig_Man_t * Dar_ManChoice( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose ) +Aig_Man_t * Dar_ManChoice( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int nConfMax, int nLevelMax, int fVerbose ) { Aig_Man_t * pMan, * pTemp; Vec_Ptr_t * vAigs; @@ -374,7 +374,7 @@ if ( fVerbose ) PRT( "Synthesis time", clock() - clk ); } clk = clock(); - pMan = Aig_ManChoicePartitioned( vAigs, 300, fVerbose ); + pMan = Aig_ManChoicePartitioned( vAigs, 300, nConfMax, nLevelMax, fVerbose ); Vec_PtrForEachEntry( vAigs, pTemp, i ) Aig_ManStop( pTemp ); Vec_PtrFree( vAigs ); |