From bc2f199bd3e4d49e8ce47aaf41ccdb45e70c49ed Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 13 Dec 2011 23:38:41 -0800 Subject: Started SAT-based reparameterization. --- src/sat/bsat/satSolver2.h | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/sat/bsat/satSolver2.h') diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index 83dbb6cb..e5b85a43 100644 --- a/src/sat/bsat/satSolver2.h +++ b/src/sat/bsat/satSolver2.h @@ -184,6 +184,11 @@ static inline void satset_print (satset * c) { for ( i = 0; (i < veci_size(pVec)) && ((c) = satset_read(p, veci_begin(pVec)[i])); i++ ) #define satset_foreach_var( p, var, i, start ) \ for ( i = start; (i < (int)(p)->nEnts) && ((var) = lit_var((p)->pEnts[i])); i++ ) +#define satset_foreach_lit( p, lit, i, start ) \ + for ( i = start; (i < (int)(p)->nEnts) && ((lit) = (p)->pEnts[i]); i++ ) + +#define sat_solver_foreach_clause( s, c, h ) satset_foreach_entry( &s->clauses, c, h, 1 ) +#define sat_solver_foreach_learnt( s, c, h ) satset_foreach_entry( &s->learnts, c, h, 1 ) //================================================================================================= // Public APIs: -- cgit v1.2.3