From ac7a799076e3f2184aae74a55062e02e330c78eb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 4 Apr 2016 14:27:14 -0700 Subject: Improvements to delay-optimization in &satlut. --- src/aig/gia/gia.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia/gia.h') 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 ); -- cgit v1.2.3