diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-30 14:14:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-30 21:14:59 +0000 |
| commit | 56cd2e8f584ed36fd76144a622355511a4b09935 (patch) | |
| tree | 94a2331dd82886133c2183445a80010fcb02538e /src/theory/bv | |
| parent | b106c95296860cf89ea7cef00c8e8187409e755e (diff) | |
Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279)
This is in preparation for renaming SmtEngine to SolverEngine.
Diffstat (limited to 'src/theory/bv')
| -rw-r--r-- | src/theory/bv/abstraction.cpp | 2 | ||||
| -rw-r--r-- | src/theory/bv/bitblast/eager_bitblaster.cpp | 2 | ||||
| -rw-r--r-- | src/theory/bv/bitblast/lazy_bitblaster.cpp | 2 | ||||
| -rw-r--r-- | src/theory/bv/bv_subtheory_algebraic.cpp | 2 | ||||
| -rw-r--r-- | src/theory/bv/theory_bv_rewrite_rules.h | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/bv/abstraction.cpp b/src/theory/bv/abstraction.cpp index 37758ad4a..1c4633b5a 100644 --- a/src/theory/bv/abstraction.cpp +++ b/src/theory/bv/abstraction.cpp @@ -19,9 +19,9 @@ #include "options/bv_options.h" #include "printer/printer.h" #include "smt/dump.h" -#include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "smt/smt_statistics_registry.h" +#include "smt/solver_engine.h" #include "theory/bv/theory_bv_utils.h" #include "theory/rewriter.h" #include "util/bitvector.h" diff --git a/src/theory/bv/bitblast/eager_bitblaster.cpp b/src/theory/bv/bitblast/eager_bitblaster.cpp index dd3a3e9ce..9e3efa3bf 100644 --- a/src/theory/bv/bitblast/eager_bitblaster.cpp +++ b/src/theory/bv/bitblast/eager_bitblaster.cpp @@ -21,8 +21,8 @@ #include "options/smt_options.h" #include "prop/cnf_stream.h" #include "prop/sat_solver_factory.h" -#include "smt/smt_engine.h" #include "smt/smt_statistics_registry.h" +#include "smt/solver_engine.h" #include "theory/bv/bv_solver_layered.h" #include "theory/bv/theory_bv.h" #include "theory/theory_model.h" diff --git a/src/theory/bv/bitblast/lazy_bitblaster.cpp b/src/theory/bv/bitblast/lazy_bitblaster.cpp index 3eb2eebe7..a61c7a9ab 100644 --- a/src/theory/bv/bitblast/lazy_bitblaster.cpp +++ b/src/theory/bv/bitblast/lazy_bitblaster.cpp @@ -20,8 +20,8 @@ #include "prop/cnf_stream.h" #include "prop/sat_solver.h" #include "prop/sat_solver_factory.h" -#include "smt/smt_engine.h" #include "smt/smt_statistics_registry.h" +#include "smt/solver_engine.h" #include "theory/bv/abstraction.h" #include "theory/bv/bv_solver_layered.h" #include "theory/bv/theory_bv.h" diff --git a/src/theory/bv/bv_subtheory_algebraic.cpp b/src/theory/bv/bv_subtheory_algebraic.cpp index d6e60d1f4..27afdbbaa 100644 --- a/src/theory/bv/bv_subtheory_algebraic.cpp +++ b/src/theory/bv/bv_subtheory_algebraic.cpp @@ -20,9 +20,9 @@ #include "options/bv_options.h" #include "printer/printer.h" #include "smt/dump.h" -#include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "smt/smt_statistics_registry.h" +#include "smt/solver_engine.h" #include "smt_util/boolean_simplification.h" #include "theory/bv/bv_quick_check.h" #include "theory/bv/bv_solver_layered.h" diff --git a/src/theory/bv/theory_bv_rewrite_rules.h b/src/theory/bv/theory_bv_rewrite_rules.h index 7553bcbb6..da2a8b3ce 100644 --- a/src/theory/bv/theory_bv_rewrite_rules.h +++ b/src/theory/bv/theory_bv_rewrite_rules.h @@ -25,8 +25,8 @@ #include "context/context.h" #include "printer/printer.h" #include "smt/dump.h" -#include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" +#include "smt/solver_engine.h" #include "theory/bv/theory_bv_utils.h" #include "theory/theory.h" #include "util/statistics_stats.h" |