Remove `Options::set()` method (#6556)
authorGereon Kremer <nafur42@gmail.com>
Sat, 29 May 2021 07:09:34 +0000 (09:09 +0200)
committerGitHub <noreply@github.com>
Sat, 29 May 2021 07:09:34 +0000 (07:09 +0000)
commit0133367f9ed242aa01e42867364c7be74ffe5618
tree993330d559b7d86f0b891792cde07dc1a4c8bc8c
parentf62b46414cc47762857a4e3241318733ca8c973d
Remove `Options::set()` method (#6556)

This PR gets rid of the Options::set() method, replacing it by direct access to the options data.
This method was only used internally and did nothing except for resolving the options data from the option tag type via template specializations (via ref()), which is no longer necessary.
src/options/options_handler.cpp
src/options/options_public_functions.cpp
src/options/options_template.h
src/smt/managed_ostreams.cpp
src/smt/set_defaults.cpp
src/smt/smt_engine.cpp
src/smt/sygus_solver.cpp
src/smt/update_ostream.h
src/theory/arith/theory_arith_private.cpp
test/unit/main/interactive_shell_black.cpp
test/unit/parser/parser_black.cpp