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/util | |
| 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/util')
0 files changed, 0 insertions, 0 deletions