projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22c83c1) | patch
Add API function to obtain information about a single option (#6980)
authorGereon Kremer <nafur42@gmail.com>
Mon, 30 Aug 2021 23:55:58 +0000 (16:55 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Aug 2021 23:55:58 +0000 (23:55 +0000)
commitaf1b3974022509e26fc14bfe6cb49cb73074b32e
tree7119c2da1971ad8bdfe5f46b8f72be2f2290dc80tree
parent22c83c12097da6105e6f03e0df70385527e651a4commit | diff
Add API function to obtain information about a single option (#6980)

This PR adds api::Solver::getOptionInfo() that returns information about a single option, including its name, aliases, current and default value and its domain.
12 files changed:
.github/workflows/ci.yml diff | blob | history
docs/api/cpp/class_hierarchy.rst diff | blob | history
docs/api/cpp/cpp.rst diff | blob | history
docs/api/cpp/optioninfo.rst [new file with mode: 0644] blob
examples/CMakeLists.txt diff | blob | history
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/options/base_options.toml 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