projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 029e537) | patch
Remove `Options::wasSetByUser()` (#6682)
authorGereon Kremer <nafur42@gmail.com>
Mon, 7 Jun 2021 17:00:10 +0000 (19:00 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Jun 2021 17:00:10 +0000 (17:00 +0000)
commit4cb2b23322794fc684db4f4a9f9e14e0157c83b0
treec81c3b2db0deb036c947d0e3cc45475eca725043tree
parent029e5378cef6a0432c25ebaab044a69440d398cccommit | diff
Remove `Options::wasSetByUser()` (#6682)

This PR removes the next heavily specialized template function Options::wasSetByUser() in favor of direct access to the *WasSetByUser flags.
src/options/mkoptions.py diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_public.cpp diff | blob | history
src/options/options_template.h diff | blob | history
src/printer/printer.cpp diff | blob | history
src/prop/minisat/simp/SimpSolver.cc diff | blob | history
src/smt/options_manager.cpp diff | blob | history
src/smt/set_defaults.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/expr_miner.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_repair_const.cpp diff | blob | history