diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-06-08 11:39:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-06-08 11:39:42 -0700 |
| commit | db3f5b6d0bac98b9123681a1189acf738cae83d6 (patch) | |
| tree | ada84874f727495112edaecdc8c8a2ec2bc1fdd4 /src/aig/gia/giaCut.c | |
| parent | 7d18d6b7aad526ba73b761f3c2f9292f7546b611 (diff) | |
| download | abc-db3f5b6d0bac98b9123681a1189acf738cae83d6.tar.gz abc-db3f5b6d0bac98b9123681a1189acf738cae83d6.tar.bz2 abc-db3f5b6d0bac98b9123681a1189acf738cae83d6.zip | |
Experiments with cut computation.
Diffstat (limited to 'src/aig/gia/giaCut.c')
| -rw-r--r-- | src/aig/gia/giaCut.c | 4 |
1 files changed, 3 insertions, 1 deletions
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 ); |