diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-08 05:56:08 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-08 05:56:08 +0000 |
| commit | 8cd22903675724e29249ce089ee77c7c4d3897fb (patch) | |
| tree | 64ea92a2a0f8721b7e1b15796824f6259567aa75 /src/prop/minisat/minisat.h | |
| parent | 6685546d585212559b97d5722161ad52ff5c4121 (diff) | |
Merge from decision branch (till r3663)
(no performace or search behavior changes expected)
Diffstat (limited to 'src/prop/minisat/minisat.h')
| -rw-r--r-- | src/prop/minisat/minisat.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h index 19ade8ffa..9171bf232 100644 --- a/src/prop/minisat/minisat.h +++ b/src/prop/minisat/minisat.h @@ -45,8 +45,10 @@ public: static SatVariable toSatVariable(Minisat::Var var); static Minisat::Lit toMinisatLit(SatLiteral lit); static SatLiteral toSatLiteral(Minisat::Lit lit); - static SatValue toSatLiteralValue(bool res); - static SatValue toSatLiteralValue(Minisat::lbool res); + static SatValue toSatLiteralValue(bool res); + static SatValue toSatLiteralValue(Minisat::lbool res); + static Minisat::lbool toMinisatlbool(SatValue val); + //(Commented because not in use) static bool tobool(SatValue val); static void toMinisatClause(SatClause& clause, Minisat::vec<Minisat::Lit>& minisat_clause); static void toSatClause (Minisat::vec<Minisat::Lit>& clause, SatClause& sat_clause); |