diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-04 20:22:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-04 20:22:10 -0800 |
| commit | 3e92b873622ce7ca7baf74520abc28cc7c68dded (patch) | |
| tree | 44db42075cc0ff05d7b92d00c926aace7ec00816 /src/aig/llb/llbInt.h | |
| parent | 82e9de90005ee38fdc9fa4c52d335d4e87c93196 (diff) | |
| download | abc-3e92b873622ce7ca7baf74520abc28cc7c68dded.tar.gz abc-3e92b873622ce7ca7baf74520abc28cc7c68dded.tar.bz2 abc-3e92b873622ce7ca7baf74520abc28cc7c68dded.zip | |
Added timeout to &reachn.
Diffstat (limited to 'src/aig/llb/llbInt.h')
| -rw-r--r-- | src/aig/llb/llbInt.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/llb/llbInt.h b/src/aig/llb/llbInt.h index 80f391fe..36d3796c 100644 --- a/src/aig/llb/llbInt.h +++ b/src/aig/llb/llbInt.h @@ -146,7 +146,7 @@ extern int Llb_ManReachability( Llb_Man_t * p, Vec_Int_t * vHints, D extern void Llb_MtrSchedule( Llb_Mtr_t * p ); /*=== llb2Bad.c ======================================================*/ -extern DdNode * Llb_BddComputeBad( Aig_Man_t * pInit, DdManager * dd ); +extern DdNode * Llb_BddComputeBad( Aig_Man_t * pInit, DdManager * dd, int TimeOut ); extern DdNode * Llb_BddQuantifyPis( Aig_Man_t * pInit, DdManager * dd, DdNode * bFunc ); /*=== llb2Core.c ======================================================*/ extern DdNode * Llb_CoreComputeCube( DdManager * dd, Vec_Int_t * vVars, int fUseVarIndex, char * pValues ); @@ -168,7 +168,7 @@ extern DdNode * Llb_ImgComputeImage( Aig_Man_t * pAig, Vec_Ptr_t * vDdMan /*=== llb3Image.c ======================================================*/ extern DdNode * Llb_NonlinImage( Aig_Man_t * pAig, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vRoots, int * pVars2Q, - DdManager * dd, DdNode * bCurrent, int fReorder, int fVerbose, int * pOrder, int Limit ); + DdManager * dd, DdNode * bCurrent, int fReorder, int fVerbose, int * pOrder, int Limit, int TimeLimit ); ABC_NAMESPACE_HEADER_END |