diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-10 08:01:00 -0700 |
| commit | e52e48c3643b0a69ee84291634d5a31956d183db (patch) | |
| tree | 98f7c5d4940dd6cc43fb4cffdd37eb2f252b9898 /src/sat | |
| parent | eb4cdcdcb4db6e468aa02a7949217fa6da245217 (diff) | |
| download | abc-e52e48c3643b0a69ee84291634d5a31956d183db.tar.gz abc-e52e48c3643b0a69ee84291634d5a31956d183db.tar.bz2 abc-e52e48c3643b0a69ee84291634d5a31956d183db.zip | |
Version abc50910
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/asat/solver.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/sat/asat/solver.h b/src/sat/asat/solver.h index f328fad5..8e981198 100644 --- a/src/sat/asat/solver.h +++ b/src/sat/asat/solver.h @@ -43,9 +43,9 @@ typedef int lit; typedef char lbool; #ifdef _WIN32 -typedef signed __int64 uint64; // compatible with MS VS 6.0 +typedef signed __int64 sint64; // compatible with MS VS 6.0 #else -typedef unsigned long long uint64; +typedef long long sint64; #endif static const int var_Undef = -1; @@ -80,8 +80,8 @@ extern void Asat_SolverWriteDimacs( solver * pSat, char * pFileName ); struct stats_t { - uint64 starts, decisions, propagations, inspects, conflicts; - uint64 clauses, clauses_literals, learnts, learnts_literals, max_literals, tot_literals; + sint64 starts, decisions, propagations, inspects, conflicts; + sint64 clauses, clauses_literals, learnts, learnts_literals, max_literals, tot_literals; }; typedef struct stats_t stats; |