diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-04 14:27:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-04 14:27:14 -0700 |
| commit | ac7a799076e3f2184aae74a55062e02e330c78eb (patch) | |
| tree | c5aa64892da517e11a01db81b8907f69821aff2e /src/aig/gia/gia.h | |
| parent | 720082753f06fbb0429def0f3e67ccc7848b89b2 (diff) | |
| download | abc-ac7a799076e3f2184aae74a55062e02e330c78eb.tar.gz abc-ac7a799076e3f2184aae74a55062e02e330c78eb.tar.bz2 abc-ac7a799076e3f2184aae74a55062e02e330c78eb.zip | |
Improvements to delay-optimization in &satlut.
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 bceb3093..47e856c8 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1382,7 +1382,7 @@ extern float Gia_ManDelayTraceLut( Gia_Man_t * p ); extern float Gia_ManDelayTraceLutPrint( Gia_Man_t * p, int fVerbose ); extern Gia_Man_t * Gia_ManSpeedup( Gia_Man_t * p, int Percentage, int Degree, int fVerbose, int fVeryVerbose ); /*=== giaSplit.c ============================================================*/ -extern void Gia_ManComputeOneWinStart( Gia_Man_t * p, int fReverse ); +extern void Gia_ManComputeOneWinStart( Gia_Man_t * p, int nAnds, int fReverse ); extern int Gia_ManComputeOneWin( Gia_Man_t * p, int iPivot, Vec_Int_t ** pvRoots, Vec_Int_t ** pvNodes, Vec_Int_t ** pvLeaves, Vec_Int_t ** pvAnds ); /*=== giaStg.c ============================================================*/ extern void Gia_ManStgPrint( FILE * pFile, Vec_Int_t * vLines, int nIns, int nOuts, int nStates ); |