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/arith/nl/poly_conversion.h | |
| 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/arith/nl/poly_conversion.h')
| -rw-r--r-- | src/theory/arith/nl/poly_conversion.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/theory/arith/nl/poly_conversion.h b/src/theory/arith/nl/poly_conversion.h index 37d816179..102d2d6ae 100644 --- a/src/theory/arith/nl/poly_conversion.h +++ b/src/theory/arith/nl/poly_conversion.h @@ -23,15 +23,18 @@ #include <poly/polyxx.h> -#include <iostream> +#include <cstddef> +#include <map> +#include <utility> #include "expr/node.h" -#include "theory/arith/bound_inference.h" -#include "util/real_algebraic_number.h" namespace CVC4 { namespace theory { namespace arith { + +class BoundInference; + namespace nl { /** Bijective mapping between CVC4 variables and poly variables. */ |