diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-28 12:21:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-28 12:21:48 -0700 |
| commit | 8c7ca72ea9a653772c9d1fd54f87fb3ee51fb873 (patch) | |
| tree | a8978f8390ae9b3dfcb2160a66d75be739624b2c /src/aig/saig/saig.h | |
| parent | 184c5d4ea467731005c92bc159c68d57c83c6c6a (diff) | |
| download | abc-8c7ca72ea9a653772c9d1fd54f87fb3ee51fb873.tar.gz abc-8c7ca72ea9a653772c9d1fd54f87fb3ee51fb873.tar.bz2 abc-8c7ca72ea9a653772c9d1fd54f87fb3ee51fb873.zip | |
Adding timeout to command 'ind'.
Diffstat (limited to 'src/aig/saig/saig.h')
| -rw-r--r-- | src/aig/saig/saig.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 89622491..475f476d 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -131,7 +131,7 @@ extern Aig_Man_t * Saig_ManDupCones( Aig_Man_t * pAig, int * pPos, int nPo /*=== saigHaig.c ==========================================================*/ extern Aig_Man_t * Saig_ManHaigRecord( Aig_Man_t * p, int nIters, int nSteps, int fRetimingOnly, int fAddBugs, int fUseCnf, int fVerbose ); /*=== saigInd.c ==========================================================*/ -extern int Saig_ManInduction( Aig_Man_t * p, int nFramesMax, int nConfMax, int fUnique, int fUniqueAll, int fGetCex, int fVerbose, int fVeryVerbose ); +extern int Saig_ManInduction( Aig_Man_t * p, int nTimeOut, int nFramesMax, int nConfMax, int fUnique, int fUniqueAll, int fGetCex, int fVerbose, int fVeryVerbose ); /*=== saigIoa.c ==========================================================*/ extern void Saig_ManDumpBlif( Aig_Man_t * p, char * pFileName ); extern Aig_Man_t * Saig_ManReadBlif( char * pFileName ); |