diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 09:50:22 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 09:50:22 -0700 |
commit | 815dfdc0c4d82467771cd7a9b0933bf4f87349ef (patch) | |
tree | f5a6fc1c99d60705c152ad4d40108dd63d397428 /src/aig/gia/gia.h | |
parent | 37a5a36cf9b31b3a00ba90a11f1cb4d14c91d7d8 (diff) | |
download | abc-815dfdc0c4d82467771cd7a9b0933bf4f87349ef.tar.gz abc-815dfdc0c4d82467771cd7a9b0933bf4f87349ef.tar.bz2 abc-815dfdc0c4d82467771cd7a9b0933bf4f87349ef.zip |
Adding switch to &b to prevent dumplicated area when used in delay-mode (&b -da).
Diffstat (limited to 'src/aig/gia/gia.h')
-rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index de580c49..c204e6a0 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1071,7 +1071,7 @@ extern Vec_Str_t * Gia_AigerWriteIntoMemoryStr( Gia_Man_t * p ); extern Vec_Str_t * Gia_AigerWriteIntoMemoryStrPart( Gia_Man_t * p, Vec_Int_t * vCis, Vec_Int_t * vAnds, Vec_Int_t * vCos, int nRegs ); extern void Gia_AigerWriteSimple( Gia_Man_t * pInit, char * pFileName ); /*=== giaBalance.c ===========================================================*/ -extern Gia_Man_t * Gia_ManBalance( Gia_Man_t * p, int fSimpleAnd, int fVerbose ); +extern Gia_Man_t * Gia_ManBalance( Gia_Man_t * p, int fSimpleAnd, int fStrict, int fVerbose ); extern Gia_Man_t * Gia_ManAreaBalance( Gia_Man_t * p, int fSimpleAnd, int nNewNodesMax, int fVerbose, int fVeryVerbose ); extern Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * p, int fOldAlgo, int fCoarsen, int fCutMin, int nRelaxRatio, int fDelayMin, int fVerbose, int fVeryVerbose ); extern Gia_Man_t * Gia_ManAigSyn3( Gia_Man_t * p, int fVerbose, int fVeryVerbose ); |