diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 13:55:24 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 13:55:24 -0800 |
commit | be7a4e4259ca68c9ab3238c6fdd5a69728e98436 (patch) | |
tree | e96fdbe2387a0a2a79b32f95f1a533dc4ad3a2e7 /src/aig/saig/saig.h | |
parent | aba8ff4ba06c35706b37ecb30d6d358d7c941a7d (diff) | |
download | abc-be7a4e4259ca68c9ab3238c6fdd5a69728e98436.tar.gz abc-be7a4e4259ca68c9ab3238c6fdd5a69728e98436.tar.bz2 abc-be7a4e4259ca68c9ab3238c6fdd5a69728e98436.zip |
Isolating BMC code into a separate package.
Diffstat (limited to 'src/aig/saig/saig.h')
-rw-r--r-- | src/aig/saig/saig.h | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 8823dcac..836a2051 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -50,26 +50,6 @@ struct Sec_MtrStatus_t_ int iOut; // the satisfied output }; -typedef struct Saig_ParBmc_t_ Saig_ParBmc_t; -struct Saig_ParBmc_t_ -{ - int nStart; // starting timeframe - int nFramesMax; // maximum number of timeframes - int nConfLimit; // maximum number of conflicts at a node - int nConfLimitJump; // maximum number of conflicts after jumping - int nFramesJump; // the number of tiemframes to jump - int nTimeOut; // approximate timeout in seconds - int nPisAbstract; // the number of PIs to abstract - int fSolveAll; // does not stop at the first SAT output - int fDropSatOuts; // replace sat outputs by constant 0 - int nFfToAddMax; // max number of flops to add during CBA - int fSkipRand; // skip random decisions - int fVerbose; // verbose - int iFrame; // explored up to this frame - int nFailOuts; // the number of failed outputs -}; - - typedef struct Saig_ParBbr_t_ Saig_ParBbr_t; struct Saig_ParBbr_t_ { @@ -126,14 +106,6 @@ static inline int Saig_ObjRegId( Aig_Man_t * p, Aig_Obj_t * pObj ) { /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -/*=== saigBmc.c ==========================================================*/ -extern int Saig_ManBmcSimple( Aig_Man_t * pAig, int nFrames, int nSizeMax, int nBTLimit, int fRewrite, int fVerbose, int * piFrame, int nCofFanLit ); -extern int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax, int nTimeOut, int nConfMaxOne, int nConfMaxAll, int fVerbose, int fVerbOverwrite, int * piFrames, int fSilent ); -/*=== saigBmc3.c ==========================================================*/ -extern void Saig_ParBmcSetDefaultParams( Saig_ParBmc_t * p ); -extern int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars ); -/*=== saigCexMin.c ==========================================================*/ -extern Abc_Cex_t * Saig_ManCexMinPerform( Aig_Man_t * pAig, Abc_Cex_t * pCex ); /*=== saigCone.c ==========================================================*/ extern void Saig_ManPrintCones( Aig_Man_t * p ); /*=== saigConstr.c ==========================================================*/ |