diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-07 18:49:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-07 18:49:32 -0700 |
| commit | 520150959753523078a4e5c9acce55cd45714ce9 (patch) | |
| tree | 57ac9ff991cccb8035ce92aba93dda2b9ac23bbb /src/aig/gia/gia.h | |
| parent | 2a39b635eb61be45f10f5bcd8fdfdf4289ef678f (diff) | |
| download | abc-520150959753523078a4e5c9acce55cd45714ce9.tar.gz abc-520150959753523078a4e5c9acce55cd45714ce9.tar.bz2 abc-520150959753523078a4e5c9acce55cd45714ce9.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 ); |