diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-15 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-15 08:01:00 -0700 |
| commit | 2d782f7bc966fb19c9d849ac70366709f04d25d8 (patch) | |
| tree | d11e13b3c07e2282be6493cf4d7e3b808e6b5c2f /src/sat/asat/solver.h | |
| parent | 0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa (diff) | |
| download | abc-2d782f7bc966fb19c9d849ac70366709f04d25d8.tar.gz abc-2d782f7bc966fb19c9d849ac70366709f04d25d8.tar.bz2 abc-2d782f7bc966fb19c9d849ac70366709f04d25d8.zip | |
Version abc50915
Diffstat (limited to 'src/sat/asat/solver.h')
| -rw-r--r-- | src/sat/asat/solver.h | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/sat/asat/solver.h b/src/sat/asat/solver.h index 8e981198..9f80bc7e 100644 --- a/src/sat/asat/solver.h +++ b/src/sat/asat/solver.h @@ -36,16 +36,13 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #define bool int #endif -static const bool true = 1; -static const bool false = 0; - typedef int lit; typedef char lbool; #ifdef _WIN32 -typedef signed __int64 sint64; // compatible with MS VS 6.0 +typedef signed __int64 sint64; // compatible with MS VS 6.0 #else -typedef long long sint64; +typedef long long sint64; #endif static const int var_Undef = -1; @@ -132,7 +129,7 @@ struct solver_t double progress_estimate; int verbosity; // Verbosity level. 0=silent, 1=some progress report, 2=everything - stats stats; + stats solver_stats; }; #endif |