projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d95c170) | patch
Add API function to get list of option names (#6971)
authorGereon Kremer <nafur42@gmail.com>
Wed, 4 Aug 2021 18:17:42 +0000 (11:17 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 18:17:42 +0000 (18:17 +0000)
commit3f2e127061ee03db1ba8ff56d9dfb42fbe9d60b1
treef478e29819d53e7c543941fae0b5a5f272e54fa2tree
parentd95c17090fb7f67a76a3032c4f778572f003786bcommit | diff
Add API function to get list of option names (#6971)

This PR adds a new API function api::Solver::getOptionNames() that exposes a list of all option names as strings. This PR will be followed by another that adds a method to further inspect a particular option by name, and thereby allows to inspect the solver options in a sensible way.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/options_public.h diff | blob | history
src/options/options_public_template.cpp diff | blob | history
test/unit/api/solver_black.cpp diff | blob | history