diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-21 22:57:18 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-21 22:57:18 -0800 |
| commit | fb918249ca73beed90365655619fec0f530c5700 (patch) | |
| tree | 77a907cb71f9b31cb4c55c7e0075c1d17d85ff20 /src/sat/bsat/satSolver2.h | |
| parent | 20d05d39fc65c1f4da69ba4a23f93be052b2d62a (diff) | |
| download | abc-fb918249ca73beed90365655619fec0f530c5700.tar.gz abc-fb918249ca73beed90365655619fec0f530c5700.tar.bz2 abc-fb918249ca73beed90365655619fec0f530c5700.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/sat/bsat/satSolver2.h')
| -rw-r--r-- | src/sat/bsat/satSolver2.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index 29279b86..221ba3e8 100644 --- a/src/sat/bsat/satSolver2.h +++ b/src/sat/bsat/satSolver2.h @@ -55,11 +55,6 @@ extern void Sat_Solver2PrintStats( FILE * pFile, sat_solver2 * p ); extern int * Sat_Solver2GetModel( sat_solver2 * p, int * pVars, int nVars ); extern void Sat_Solver2DoubleClauses( sat_solver2 * p, int iVar ); -// trace recording -extern void sat_solver2TraceStart( sat_solver2 * pSat, char * pName ); -extern void sat_solver2TraceStop( sat_solver2 * pSat ); -extern void sat_solver2TraceWrite( sat_solver2 * pSat, int * pBeg, int * pEnd, int fRoot ); - // global variables extern int var_is_partA (sat_solver2* s, int v); extern void var_set_partA(sat_solver2* s, int v, int partA); @@ -257,7 +252,7 @@ static inline int sat_solver2_set_random(sat_solver2* s, int fNotUseRandom) return fNotUseRandomOld; } -static inline int sat_solver2_bookmark(sat_solver2* s) +static inline void sat_solver2_bookmark(sat_solver2* s) { s->hLearntPivot = veci_size(&s->learnts); s->hClausePivot = veci_size(&s->clauses); |