projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a7e733) | patch
Add option manager and simpler option listener (#4745)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 17 Jul 2020 12:35:14 +0000 (07:35 -0500)
committerGitHub <noreply@github.com>
Fri, 17 Jul 2020 12:35:14 +0000 (07:35 -0500)
commitcb8d041d3820a46721f689f188839184003e0e7c
tree96809c15d7408a8464aee3c57ce21d0ed0ec96f6tree
parent0a7e733a5cee4733ca8ca9fff1f6eab6fc22a549commit | 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.
src/CMakeLists.txt diff | blob | history
src/options/CMakeLists.txt diff | blob | history
src/options/options.h diff | blob | history
src/options/options_listener.h [new file with mode: 0644] blob
src/options/options_template.cpp diff | blob | history
src/smt/options_manager.cpp [new file with mode: 0644] blob
src/smt/options_manager.h [new file with mode: 0644] blob