projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4894f5) | patch
Add non-templated method to set option defaults (#6540)
authorGereon Kremer <nafur42@gmail.com>
Fri, 28 May 2021 19:46:54 +0000 (21:46 +0200)
committerGitHub <noreply@github.com>
Fri, 28 May 2021 19:46:54 +0000 (19:46 +0000)
commit15d38800b9f493fcf4573160b420f0ab9563b4a8
treebf3fd421a1f5f6b2d7d0cad93d7b513a2d71e5a2tree
parentf4894f5e0630bd3610699b13a8abae3e0ce9e600commit | diff
Add non-templated method to set option defaults (#6540)

This PR replaces the templated Options::setDefault() methods by new non-templated free functions options::{module}::setDefault{option}().
These methods should be used instead of the common if (!set by user) { set option value } pattern.
src/options/decision_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/module_template.cpp diff | blob | history
src/options/module_template.h diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_template.h diff | blob | history