diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 14:53:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 14:53:07 -0700 |
| commit | 9ebcd9eca983890738bc76f84f4e276a9cb693d7 (patch) | |
| tree | 966c59c9020e85c857678fb1edffcc2138dce545 /src/opt/dar/darCore.c | |
| parent | c921058019c22ca917fb63f1139a46cb9f766ae2 (diff) | |
| download | abc-9ebcd9eca983890738bc76f84f4e276a9cb693d7.tar.gz abc-9ebcd9eca983890738bc76f84f4e276a9cb693d7.tar.bz2 abc-9ebcd9eca983890738bc76f84f4e276a9cb693d7.zip | |
Various changes to enable sensitization-based refinement in &gla.
Diffstat (limited to 'src/opt/dar/darCore.c')
| -rw-r--r-- | src/opt/dar/darCore.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/dar/darCore.c b/src/opt/dar/darCore.c index 54e9cf84..958ab70a 100644 --- a/src/opt/dar/darCore.c +++ b/src/opt/dar/darCore.c @@ -281,8 +281,8 @@ int Dar_ManCutCount( Aig_Man_t * pAig, int * pnCutsK ) SeeAlso [] ***********************************************************************/ -Aig_MmFixed_t * Dar_ManComputeCuts( Aig_Man_t * pAig, int nCutsMax, int fVerbose ) -{ +Aig_MmFixed_t * Dar_ManComputeCuts( Aig_Man_t * pAig, int nCutsMax, int fSkipTtMin, int fVerbose ) +{ Dar_Man_t * p; Dar_RwrPar_t Pars, * pPars = &Pars; Aig_Obj_t * pObj; @@ -306,7 +306,7 @@ Aig_MmFixed_t * Dar_ManComputeCuts( Aig_Man_t * pAig, int nCutsMax, int fVerbose Dar_ObjPrepareCuts( p, pObj ); // compute cuts for each nodes in the topological order Aig_ManForEachNode( pAig, pObj, i ) - Dar_ObjComputeCuts( p, pObj ); + Dar_ObjComputeCuts( p, pObj, fSkipTtMin ); // print verbose stats if ( fVerbose ) { |