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/sets | |
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/sets')
-rw-r--r-- | src/theory/sets/rels_utils.h | 1 | ||||
-rw-r--r-- | src/theory/sets/theory_sets.cpp | 1 | ||||
-rw-r--r-- | src/theory/sets/theory_sets_rewriter.cpp | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/sets/rels_utils.h b/src/theory/sets/rels_utils.h index 13ee672db..0d832b646 100644 --- a/src/theory/sets/rels_utils.h +++ b/src/theory/sets/rels_utils.h @@ -18,6 +18,7 @@ #define SRC_THEORY_SETS_RELS_UTILS_H_ #include "expr/dtype.h" +#include "expr/dtype_cons.h" #include "expr/node.h" namespace CVC4 { diff --git a/src/theory/sets/theory_sets.cpp b/src/theory/sets/theory_sets.cpp index e06a8cb52..5c6300059 100644 --- a/src/theory/sets/theory_sets.cpp +++ b/src/theory/sets/theory_sets.cpp @@ -20,6 +20,7 @@ #include "theory/sets/theory_sets_private.h" #include "theory/sets/theory_sets_rewriter.h" #include "theory/theory_model.h" +#include "theory/trust_substitutions.h" using namespace CVC4::kind; diff --git a/src/theory/sets/theory_sets_rewriter.cpp b/src/theory/sets/theory_sets_rewriter.cpp index 1e4473d6f..eb802af4a 100644 --- a/src/theory/sets/theory_sets_rewriter.cpp +++ b/src/theory/sets/theory_sets_rewriter.cpp @@ -17,6 +17,7 @@ #include "theory/sets/theory_sets_rewriter.h" #include "expr/attribute.h" +#include "expr/dtype_cons.h" #include "options/sets_options.h" #include "theory/sets/normal_form.h" #include "theory/sets/rels_utils.h" |