diff options
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 2d3cf518..51c9c020 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -181,6 +181,15 @@ struct Gia_Man_t_ +typedef struct Gps_Par_t_ Gps_Par_t; +struct Gps_Par_t_ +{ + int fTents; + int fSwitch; + int fCut; + int fNpn; +}; + typedef struct Emb_Par_t_ Emb_Par_t; struct Emb_Par_t_ { @@ -1019,7 +1028,7 @@ extern Gia_Man_t * Gia_ManStart( int nObjsMax ); extern void Gia_ManStop( Gia_Man_t * p ); extern void Gia_ManStopP( Gia_Man_t ** p ); extern float Gia_ManMemory( Gia_Man_t * p ); -extern void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch, int fCut ); +extern void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ); extern void Gia_ManPrintStatsShort( Gia_Man_t * p ); extern void Gia_ManPrintMiterStatus( Gia_Man_t * p ); extern void Gia_ManSetRegNum( Gia_Man_t * p, int nRegs ); |