projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3c6975) | patch
Add missing includes. (#6207)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 25 Mar 2021 17:34:39 +0000 (18:34 +0100)
committerGitHub <noreply@github.com>
Thu, 25 Mar 2021 17:34:39 +0000 (18:34 +0100)
commitdc764ce250f0d63714dab76f98bc556f00afb9f0
tree8b9fe0825debb75f36b7d48fe09926ebffe99349tree
parentb3c6975af6354eb027aa52d6a23386b5dd0ef1cdcommit | diff
Add missing includes. (#6207)

This PR adds includes that are missing from source files, but currently provided by other includes.
This mostly concerns <sstream> which is currently included by the statistics, which will change in the future.
17 files changed:
src/expr/proof_node_manager.cpp diff | blob | history
src/expr/term_conversion_proof_generator.cpp diff | blob | history
src/preprocessing/passes/ho_elim.cpp diff | blob | history
src/smt/preprocess_proof_generator.cpp diff | blob | history
src/smt/set_defaults.cpp diff | blob | history
src/smt/sygus_solver.cpp diff | blob | history
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/cut_log.cpp diff | blob | history
src/theory/arith/operator_elim.cpp diff | blob | history
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
src/theory/quantifiers/query_generator.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_norm.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_process_conj.cpp diff | blob | history
src/theory/quantifiers/sygus/term_database_sygus.cpp diff | blob | history
src/theory/quantifiers/sygus_sampler.cpp diff | blob | history
src/theory/sort_inference.cpp diff | blob | history