diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-26 01:21:36 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-26 01:21:36 -0700 |
| commit | a05da71520aeece9170b925240db18f52325f92b (patch) | |
| tree | d67bd52f69482f6a5694202e4de54a28b1f9bbfc | |
| parent | 033edf18aa709e2645815dc5c9a1b3c0fd44a593 (diff) | |
fix style
| -rw-r--r-- | src/prop/cryptominisat.cpp | 1 | ||||
| -rw-r--r-- | src/prop/cryptominisat.h | 4 | ||||
| -rw-r--r-- | src/prop/sat_solver_factory.h | 1 |
3 files changed, 1 insertions, 5 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp index 77cc6be4d..b9625e973 100644 --- a/src/prop/cryptominisat.cpp +++ b/src/prop/cryptominisat.cpp @@ -66,7 +66,6 @@ SatLiteral toSatLiteral(CMSat::Lit lit) } return SatLiteral(lit.var(), lit.sign()); -} } // namespace } // helper functions diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h index 13416bb3d..6c58de2c7 100644 --- a/src/prop/cryptominisat.h +++ b/src/prop/cryptominisat.h @@ -66,9 +66,7 @@ public: SatValue solve(long unsigned int&) override; SatValue solve(const std::vector<SatLiteral>& assumptions) override; - SatValue simp() override; - - //SatValue simplifyFormula() override; + SatValue simplify() override; bool ok() const override; SatValue value(SatLiteral l) override; diff --git a/src/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h index c8e84b287..eb588af13 100644 --- a/src/prop/sat_solver_factory.h +++ b/src/prop/sat_solver_factory.h @@ -25,7 +25,6 @@ #include "context/context.h" #include "prop/sat_solver.h" #include "util/statistics_registry.h" -#include "prop/cryptominisat.h" namespace CVC4 { namespace prop { |