From 15d38800b9f493fcf4573160b420f0ab9563b4a8 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Fri, 28 May 2021 21:46:54 +0200 Subject: 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/module_template.h | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/options/module_template.h') diff --git a/src/options/module_template.h b/src/options/module_template.h index 219775dd6..722490948 100644 --- a/src/options/module_template.h +++ b/src/options/module_template.h @@ -71,6 +71,13 @@ namespace options { ${inls}$ // clang-format on +namespace ${id}$ +{ +// clang-format off +${defaults}$ +// clang-format on +} + } // namespace options } // namespace cvc5 -- cgit v1.2.3