diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-04 11:35:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-04 18:35:41 +0000 |
commit | cc9155e74a4c7fbbf66f736e0d6f67499329ba69 (patch) | |
tree | 7285753f9645683bc5190856bf61f250a9f62225 /src/CMakeLists.txt | |
parent | 3f2e127061ee03db1ba8ff56d9dfb42fbe9d60b1 (diff) |
Refactor managed streams (#6934)
This PR introduces a new ManagedStream class that replaces the previous ManagedOstream. It allows to directly store the (wrapped) stream objects in the options. Handling the stream options is moved from the options manager to option predicates and the different options for input and output streams are combined into a single one.
Some associated utilities (open_ostream.h and update_ostream.h) are now obsolete and thus removed.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 9eb7ec3c4..5ea99144b 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -282,8 +282,6 @@ libcvc5_add_sources( smt/logic_exception.h smt/interpolation_solver.cpp smt/interpolation_solver.h - smt/managed_ostreams.cpp - smt/managed_ostreams.h smt/model.cpp smt/model.h smt/model_core_builder.cpp @@ -332,7 +330,6 @@ libcvc5_add_sources( smt/term_formula_removal.h smt/unsat_core_manager.cpp smt/unsat_core_manager.h - smt/update_ostream.h smt/witness_form.cpp smt/witness_form.h smt_util/boolean_simplification.cpp |