diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-10-29 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-10-29 08:01:00 -0700 |
| commit | c9ad5880cc61787dec6d018111b63023407ce0e6 (patch) | |
| tree | d6a89a234b2109d569645286ee9902485ff73a13 /src/sat | |
| parent | d80ee832f3883bf5b848db4ab31563c07fd08b59 (diff) | |
| download | abc-c9ad5880cc61787dec6d018111b63023407ce0e6.tar.gz abc-c9ad5880cc61787dec6d018111b63023407ce0e6.tar.bz2 abc-c9ad5880cc61787dec6d018111b63023407ce0e6.zip | |
Version abc81029
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satSolver.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index 00ac60ca..7bb4bd6c 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -210,5 +210,13 @@ static void sat_solver_act_var_clear(sat_solver* s) s->activity[i] = 0.0; s->var_inc = 1.0; } +static void sat_solver_compress(sat_solver* s) +{ + if ( s->qtail != s->qhead ) + { + int RetValue = sat_solver_simplify(s); + assert( RetValue != 0 ); + } +} #endif |