projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d35981) | patch
Remove `Options::operator[]` (#6649)
authorGereon Kremer <nafur42@gmail.com>
Wed, 2 Jun 2021 13:21:22 +0000 (15:21 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 13:21:22 +0000 (15:21 +0200)
commit66cdf5254bc58ecff335321478e73c8c0d6df296
tree6b38ac130e7e05479c599e32b40c8c9b6c4acdb6tree
parent6d359817283f196034d8e36d0b9c1f10fb16d644commit | diff
Remove `Options::operator[]` (#6649)

This PR removes the next heavily specialized template function Options::operator[] in favor of direct access to the option data.
src/api/cpp/cvc5.cpp diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/options_template.cpp diff | blob | history
src/options/options_template.h diff | blob | history
src/smt/env.cpp diff | blob | history
src/smt/env.h diff | blob | history
src/smt/options_manager.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/util/resource_manager.cpp diff | blob | history