From db3f5b6d0bac98b9123681a1189acf738cae83d6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 8 Jun 2021 11:39:42 -0700 Subject: Experiments with cut computation. --- src/aig/gia/giaCut.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/aig/gia/giaCut.c') diff --git a/src/aig/gia/giaCut.c b/src/aig/gia/giaCut.c index fc5396c9..7ee795b6 100644 --- a/src/aig/gia/giaCut.c +++ b/src/aig/gia/giaCut.c @@ -767,7 +767,9 @@ void Gia_ManPrintWinStats( Vec_Wec_t * vCuts ) } void Gia_ManExtractTest( Gia_Man_t * pGia ) { - Vec_Wec_t * vCutsSel = Gia_ManExtractCuts( pGia, 8, 10000, 1 ); + extern Vec_Wec_t * Gia_ManExtractCuts2( Gia_Man_t * p, int nCutSize, int nCuts, int fVerbose ); + Vec_Wec_t * vCutsSel = Gia_ManExtractCuts2( pGia, 8, 10000, 1 ); + //Vec_Wec_t * vCutsSel = Gia_ManExtractCuts( pGia, 8, 10000, 1 ); abctime clk = Abc_Clock(); Gia_ManCreateWins( pGia, vCutsSel ); //Gia_ManPrintWins( vCutsSel ); -- cgit v1.2.3