diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-11 08:01:00 -0700 |
| commit | 243cb29e561d9ae4808f9ba27f980ea64a466881 (patch) | |
| tree | fc72febd31450e622bf64e46e83e5705f9eb5530 /src/aig/cec/cecInt.h | |
| parent | 32314347bae6ddcd841a268e797ec4da45726abb (diff) | |
| download | abc-243cb29e561d9ae4808f9ba27f980ea64a466881.tar.gz abc-243cb29e561d9ae4808f9ba27f980ea64a466881.tar.bz2 abc-243cb29e561d9ae4808f9ba27f980ea64a466881.zip | |
Version abc90311
Diffstat (limited to 'src/aig/cec/cecInt.h')
| -rw-r--r-- | src/aig/cec/cecInt.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/aig/cec/cecInt.h b/src/aig/cec/cecInt.h index 1898b07c..ae4c6ff4 100644 --- a/src/aig/cec/cecInt.h +++ b/src/aig/cec/cecInt.h @@ -117,13 +117,17 @@ struct Cec_ManSim_t_ int nMemsMax; // the max number of used entries int MemFree; // next free entry int nWordsOld; // the number of simulation words after previous relink - // bug catcher + // internal simulation info Vec_Ptr_t * vCiSimInfo; // CI simulation info Vec_Ptr_t * vCoSimInfo; // CO simulation info + // counter examples void ** pCexes; // counter-examples for each output int iOut; // first failed output int nOuts; // the number of failed outputs Gia_Cex_t * pCexComb; // counter-example for the first failed output + Gia_Cex_t * pBestState; // the state that led to most of the refinements + // scoring simulation patterns + int * pScores; // counters of refinement for each pattern // temporaries Vec_Int_t * vClassOld; // old class numbers Vec_Int_t * vClassNew; // new class numbers @@ -182,6 +186,7 @@ extern Vec_Ptr_t * Cec_ManPatCollectPatterns( Cec_ManPat_t * pMan, int /*=== cecSolve.c ============================================================*/ extern int Cec_ObjSatVarValue( Cec_ManSat_t * p, Gia_Obj_t * pObj ); extern void Cec_ManSatSolve( Cec_ManPat_t * pPat, Gia_Man_t * pAig, Cec_ParSat_t * pPars ); +extern void Cec_ManSatSolveSeq( Vec_Ptr_t * vPatts, Gia_Man_t * pAig, Cec_ParSat_t * pPars, int nRegs, int * pnPats ); /*=== ceFraeep.c ============================================================*/ extern Gia_Man_t * Cec_ManFraSpecReduction( Cec_ManFra_t * p ); extern int Cec_ManFraClassesUpdate( Cec_ManFra_t * p, Cec_ManSim_t * pSim, Cec_ManPat_t * pPat, Gia_Man_t * pNew ); |