diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-11 15:52:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-11 15:52:33 -0700 |
| commit | 719396a2fff862a9a4dfb4e6e53a1c425934e288 (patch) | |
| tree | c09a980e619ca7212a4e81b9fe0f6cf596d7dace /src/sat/bsat/satClause.h | |
| parent | da02d5aa9d320b9624a3ae9d85e31aa88838fdd3 (diff) | |
| download | abc-719396a2fff862a9a4dfb4e6e53a1c425934e288.tar.gz abc-719396a2fff862a9a4dfb4e6e53a1c425934e288.tar.bz2 abc-719396a2fff862a9a4dfb4e6e53a1c425934e288.zip | |
Silencing warnings.
Diffstat (limited to 'src/sat/bsat/satClause.h')
| -rw-r--r-- | src/sat/bsat/satClause.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/sat/bsat/satClause.h b/src/sat/bsat/satClause.h index d5df71ad..79a43b4e 100644 --- a/src/sat/bsat/satClause.h +++ b/src/sat/bsat/satClause.h @@ -113,10 +113,11 @@ static inline double Sat_MemMemoryAll( Sat_Mem_t * p ) { return 1. // k is page offset // this macro has to be fixed (Sat_MemClauseSize does not work for problem clauses in proof mode) -//#define Sat_MemForEachClause( p, c, i, k ) \ -// for ( i = 0; i <= p->iPage[0]; i += 2 ) \ -// for ( k = 2; k < Sat_MemLimit(p->pPages[i]) && ((c) = Sat_MemClause( p, i, k )); k += Sat_MemClauseSize(c) ) - +/* +#define Sat_MemForEachClause( p, c, i, k ) \ + for ( i = 0; i <= p->iPage[0]; i += 2 ) \ + for ( k = 2; k < Sat_MemLimit(p->pPages[i]) && ((c) = Sat_MemClause( p, i, k )); k += Sat_MemClauseSize(c) ) +*/ #define Sat_MemForEachLearned( p, c, i, k ) \ for ( i = 1; i <= p->iPage[1]; i += 2 ) \ for ( k = 2; k < Sat_MemLimit(p->pPages[i]) && ((c) = Sat_MemClause( p, i, k )); k += Sat_MemClauseSize(c) ) |