From 8b24f6bff92d93c3a4def93b8872105c861d1285 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 18 May 2008 08:01:00 -0700 Subject: Version abc80518 --- src/aig/saig/saig.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/saig/saig.h') 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 ==========================================================*/ -- cgit v1.2.3