diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-17 07:35:14 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 07:35:14 -0500 |
commit | cb8d041d3820a46721f689f188839184003e0e7c (patch) | |
tree | 96809c15d7408a8464aee3c57ce21d0ed0ec96f6 /src/CMakeLists.txt | |
parent | 0a7e733a5cee4733ca8ca9fff1f6eab6fc22a549 (diff) |
Add option manager and simpler option listener (#4745)
This adds the "OptionManager" class, which will live in SmtEngine. This is the required infrastructure for implementing all "reactive" options, i.e. those that must take effect immediately.
This PR does not enable this class yet, it simply adds the definitions.
After this PR, we can connect it to SmtEngine and delete the old options listener infrastructure.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 5c1a18900..306813122 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -241,6 +241,8 @@ libcvc4_add_sources( smt/model_core_builder.h smt/model_blocker.cpp smt/model_blocker.h + smt/options_manager.cpp + smt/options_manager.h smt/preprocess_proof_generator.cpp smt/preprocess_proof_generator.h smt/process_assertions.cpp |