diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 09:56:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-01 16:56:14 +0000 |
| commit | 05a53a2ac405bcd18a84024247145f161809c3b0 (patch) | |
| tree | 34241c0a82f79d717ddbfbb0c294f9a09c7edb0c /src/prop/bvminisat/simp/SimpSolver.cc | |
| parent | afaf4413775ff7d6054a5893f1397ad908e0773c (diff) | |
Rename namespace CVC5 to cvc5. (#6258)
Diffstat (limited to 'src/prop/bvminisat/simp/SimpSolver.cc')
| -rw-r--r-- | src/prop/bvminisat/simp/SimpSolver.cc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/prop/bvminisat/simp/SimpSolver.cc b/src/prop/bvminisat/simp/SimpSolver.cc index b4f9bd354..96ab5b526 100644 --- a/src/prop/bvminisat/simp/SimpSolver.cc +++ b/src/prop/bvminisat/simp/SimpSolver.cc @@ -27,7 +27,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include "prop/bvminisat/mtl/Sort.h" #include "prop/bvminisat/utils/System.h" -namespace CVC5 { +namespace cvc5 { namespace BVMinisat { //================================================================================================= @@ -48,7 +48,7 @@ static DoubleOption opt_simp_garbage_frac(_cat, "simp-gc-frac", "The fraction of //================================================================================================= // Constructor/Destructor: -SimpSolver::SimpSolver(CVC5::context::Context* context) +SimpSolver::SimpSolver(cvc5::context::Context* context) : Solver(context), grow(opt_grow), clause_lim(opt_clause_lim), @@ -57,9 +57,9 @@ SimpSolver::SimpSolver(CVC5::context::Context* context) use_asymm(opt_use_asymm), use_rcheck(opt_use_rcheck), use_elim(opt_use_elim - && CVC5::options::bitblastMode() - == CVC5::options::BitblastMode::EAGER - && !CVC5::options::produceModels()), + && cvc5::options::bitblastMode() + == cvc5::options::BitblastMode::EAGER + && !cvc5::options::produceModels()), merges(0), asymm_lits(0), eliminated_vars(0), @@ -94,7 +94,7 @@ SimpSolver::SimpSolver(CVC5::context::Context* context) SimpSolver::~SimpSolver() { - // CVC5::StatisticsRegistry::unregisterStat(&total_eliminate_time); + // cvc5::StatisticsRegistry::unregisterStat(&total_eliminate_time); } @@ -644,7 +644,7 @@ void SimpSolver::extendModel() bool SimpSolver::eliminate(bool turn_off_elim) { - // CVC5::TimerStat::CodeTimer codeTimer(total_eliminate_time); + // cvc5::TimerStat::CodeTimer codeTimer(total_eliminate_time); if (!simplify()) return false; @@ -809,4 +809,4 @@ void SimpSolver::garbageCollect() } } // namespace BVMinisat -} // namespace CVC5 +} // namespace cvc5 |