diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 08:01:00 -0700 |
| commit | 8b24f6bff92d93c3a4def93b8872105c861d1285 (patch) | |
| tree | ebef4201d43a1d8bf27f6bc1d703b8e28dad2157 /src/aig/saig/saig.h | |
| parent | 4d37d4d92fbc69a67a4e22af80a2acc42dff5e63 (diff) | |
| download | abc-8b24f6bff92d93c3a4def93b8872105c861d1285.tar.gz abc-8b24f6bff92d93c3a4def93b8872105c861d1285.tar.bz2 abc-8b24f6bff92d93c3a4def93b8872105c861d1285.zip | |
Version abc80518
Diffstat (limited to 'src/aig/saig/saig.h')
| -rw-r--r-- | src/aig/saig/saig.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 8ec680b8..49d3f5ef 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -80,7 +80,7 @@ extern int Saig_ManBmcSimple( Aig_Man_t * pAig, int nFrames, int n /*=== saigCone.c ==========================================================*/ extern void Saig_ManPrintCones( Aig_Man_t * p ); /*=== saigHaig.c ==========================================================*/ -extern void Saig_ManHaigRecord( Aig_Man_t * p ); +extern Aig_Man_t * Saig_ManHaigRecord( Aig_Man_t * p, int nIters, int nSteps, int fRetimingOnly, int fAddBugs, int fUseCnf, int fVerbose ); /*=== saigIoa.c ==========================================================*/ extern void Saig_ManDumpBlif( Aig_Man_t * p, char * pFileName ); extern Aig_Man_t * Saig_ManReadBlif( char * pFileName ); @@ -94,7 +94,7 @@ extern Aig_Man_t * Saig_ManRetimeForward( Aig_Man_t * p, int nMaxIters, in extern Aig_Man_t * Saig_ManRetimeDupForward( Aig_Man_t * p, Vec_Ptr_t * vCut ); extern Aig_Man_t * Saig_ManRetimeMinArea( Aig_Man_t * p, int nMaxIters, int fForwardOnly, int fBackwardOnly, int fInitial, int fVerbose ); /*=== saigRetStep.c ==========================================================*/ -extern void Saig_ManRetimeSteps( Aig_Man_t * p, int nSteps, int fForward ); +extern int Saig_ManRetimeSteps( Aig_Man_t * p, int nSteps, int fForward, int fAddBugs ); /*=== saigScl.c ==========================================================*/ extern void Saig_ManReportUselessRegisters( Aig_Man_t * pAig ); /*=== saigTrans.c ==========================================================*/ |