diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-15 09:29:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-15 09:29:13 -0700 |
| commit | 813245b29af60137f5bb94dfa2831d2454c8a9b5 (patch) | |
| tree | 4f833c5cc9e6dbe7d3080b90fa79a43e77ef7514 /src/aig/int/intInt.h | |
| parent | 3dfdbe1402ffebf902e9700ac85ed5bffd16f7d2 (diff) | |
| download | abc-813245b29af60137f5bb94dfa2831d2454c8a9b5.tar.gz abc-813245b29af60137f5bb94dfa2831d2454c8a9b5.tar.bz2 abc-813245b29af60137f5bb94dfa2831d2454c8a9b5.zip | |
Improving timeout in the interpolation package.
Diffstat (limited to 'src/aig/int/intInt.h')
| -rw-r--r-- | src/aig/int/intInt.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/int/intInt.h b/src/aig/int/intInt.h index d5e8ed00..3eab7883 100644 --- a/src/aig/int/intInt.h +++ b/src/aig/int/intInt.h @@ -93,7 +93,7 @@ typedef struct Inter_Check_t_ Inter_Check_t; /*=== intCheck.c ============================================================*/ extern Inter_Check_t * Inter_CheckStart( Aig_Man_t * pTrans, int nFramesK ); extern void Inter_CheckStop( Inter_Check_t * p ); -extern int Inter_CheckPerform( Inter_Check_t * p, Cnf_Dat_t * pCnf ); +extern int Inter_CheckPerform( Inter_Check_t * p, Cnf_Dat_t * pCnf, int nTimeNewOut ); /*=== intContain.c ============================================================*/ extern int Inter_ManCheckContainment( Aig_Man_t * pNew, Aig_Man_t * pOld ); @@ -117,7 +117,7 @@ extern void Inter_ManClean( Inter_Man_t * p ); extern void Inter_ManStop( Inter_Man_t * p ); /*=== intM114.c ============================================================*/ -extern int Inter_ManPerformOneStep( Inter_Man_t * p, int fUseBias, int fUseBackward ); +extern int Inter_ManPerformOneStep( Inter_Man_t * p, int fUseBias, int fUseBackward, int nTimeNewOut ); /*=== intM114p.c ============================================================*/ #ifdef ABC_USE_LIBRARIES |