diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-02 10:46:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-02 17:46:47 +0000 |
commit | b6e6029655bff19058161ea51af6c456a8151835 (patch) | |
tree | 94dd881b5fa75839be3fda4b6ed52ad2863076b4 /src/theory/theory_model.cpp | |
parent | c80329233a0baf3e56bfd4a341f8314309bfc263 (diff) |
Remove options::getAll() (#7111)
options::getAll() returns a list of all options and their current values as strings. The same functionality can be obtained by using options::getNames() and options::get(). This PR does exactly this replacement, getting rid of a large chunk of generated code. Calling getInfo("all-options") may suffer a minor performance hit, but not noticeable in practice.
Diffstat (limited to 'src/theory/theory_model.cpp')
0 files changed, 0 insertions, 0 deletions