diff options
author | lianah <lianahady@gmail.com> | 2014-11-18 14:35:02 -0500 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-11-18 14:35:02 -0500 |
commit | fb6326517ce661d4d9bb1c593cce2a8b91eb51b3 (patch) | |
tree | 6da2859de50b7bbfbbaf3b45dd0c551323bce08e /src/prop/minisat/minisat.h | |
parent | ba02a5247204abc3b6d38a61f5f7d31f23e765ac (diff) |
All Minisat solve calls now return lbool (fixes bug 599)
Diffstat (limited to 'src/prop/minisat/minisat.h')
-rw-r--r-- | src/prop/minisat/minisat.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h index 7c6e10170..a355702bc 100644 --- a/src/prop/minisat/minisat.h +++ b/src/prop/minisat/minisat.h @@ -42,7 +42,6 @@ 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 Minisat::lbool toMinisatlbool(SatValue val); //(Commented because not in use) static bool tobool(SatValue val); |