From 520150959753523078a4e5c9acce55cd45714ce9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Sep 2013 18:49:32 -0700 Subject: Improvements to the new technology mapper. --- src/aig/gia/gia.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia/gia.h') diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 8402c8a2..a2f6aeb1 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -241,6 +241,7 @@ struct Jf_Par_t_ int nRounds; int DelayTarget; int fAreaOnly; + int fCoarsen; int fVerbose; int fVeryVerbose; int nLutSizeMax; @@ -1204,6 +1205,7 @@ extern Vec_Int_t * Gia_ManGetDangling( Gia_Man_t * p ); extern void Gia_ObjPrint( Gia_Man_t * p, Gia_Obj_t * pObj ); extern void Gia_ManPrint( Gia_Man_t * p ); extern void Gia_ManPrintCo( Gia_Man_t * p, Gia_Obj_t * pObj ); +extern void Gia_ManPrintCone( Gia_Man_t * p, Gia_Obj_t * pObj, int * pLeaves, int nLeaves, Vec_Int_t * vNodes ); extern void Gia_ManInvertConstraints( Gia_Man_t * pAig ); extern void Gia_ManInvertPos( Gia_Man_t * pAig ); extern int Gia_ManCompare( Gia_Man_t * p1, Gia_Man_t * p2 ); -- cgit v1.2.3