diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-13 23:38:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-13 23:38:41 -0800 |
| commit | bc2f199bd3e4d49e8ce47aaf41ccdb45e70c49ed (patch) | |
| tree | 99a3e7028e73676ad4899283f04c85818091adbf /src/sat/bsat/satSolver2.h | |
| parent | 8fdc5d220f81902e95a554c770edc22863d48653 (diff) | |
| download | abc-bc2f199bd3e4d49e8ce47aaf41ccdb45e70c49ed.tar.gz abc-bc2f199bd3e4d49e8ce47aaf41ccdb45e70c49ed.tar.bz2 abc-bc2f199bd3e4d49e8ce47aaf41ccdb45e70c49ed.zip | |
Started SAT-based reparameterization.
Diffstat (limited to 'src/sat/bsat/satSolver2.h')
| -rw-r--r-- | src/sat/bsat/satSolver2.h | 5 |
1 files changed, 5 insertions, 0 deletions
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: |