diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-02 01:58:20 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 00:58:20 +0000 |
commit | b5073e16ea49ce9214fcc5318ce080724719c809 (patch) | |
tree | 1073858c57a3590b67ae7fd8e6fa2d46872f9114 /src/theory/arrays | |
parent | 822ae21e0b26e9a98b3a5585dbcd2694bbbce685 (diff) |
Clean up includes to reduce compile times (#6031)
This PR cleans up a ton of includes, based on the suggestions of iwyu.
Mostly, it removes includes from header files in favor of forward declarations and adds includes to source files.
Diffstat (limited to 'src/theory/arrays')
-rw-r--r-- | src/theory/arrays/inference_manager.cpp | 1 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays.cpp | 2 | ||||
-rw-r--r-- | src/theory/arrays/theory_arrays.h | 2 |
3 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/arrays/inference_manager.cpp b/src/theory/arrays/inference_manager.cpp index 96f2b02c3..b5bb9be14 100644 --- a/src/theory/arrays/inference_manager.cpp +++ b/src/theory/arrays/inference_manager.cpp @@ -16,6 +16,7 @@ #include "options/smt_options.h" #include "theory/theory.h" +#include "theory/theory_state.h" #include "theory/uf/equality_engine.h" using namespace CVC4::kind; diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp index 4dd7dcafd..49f530e32 100644 --- a/src/theory/arrays/theory_arrays.cpp +++ b/src/theory/arrays/theory_arrays.cpp @@ -28,8 +28,10 @@ #include "smt/smt_statistics_registry.h" #include "theory/arrays/skolem_cache.h" #include "theory/arrays/theory_arrays_rewriter.h" +#include "theory/decision_manager.h" #include "theory/rewriter.h" #include "theory/theory_model.h" +#include "theory/trust_substitutions.h" #include "theory/valuation.h" using namespace std; diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index 7e4f0e36c..e02c30296 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -29,7 +29,9 @@ #include "theory/arrays/inference_manager.h" #include "theory/arrays/proof_checker.h" #include "theory/arrays/theory_arrays_rewriter.h" +#include "theory/decision_strategy.h" #include "theory/theory.h" +#include "theory/theory_state.h" #include "theory/uf/equality_engine.h" #include "theory/uf/proof_equality_engine.h" #include "util/statistics_registry.h" |