projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a24d6c8) | patch
Use references instead of getter functions (#6597)
authorGereon Kremer <nafur42@gmail.com>
Wed, 26 May 2021 20:30:19 +0000 (22:30 +0200)
committerGitHub <noreply@github.com>
Wed, 26 May 2021 20:30:19 +0000 (20:30 +0000)
commit028d657dc41bbb908b7b9ad6ba707dc2216b15ac
tree326095421f2cdf2f846bc216fca1185443c43498tree
parenta24d6c8cf774f971a3eff62f73b2558b01b04440commit | diff
Use references instead of getter functions (#6597)

This PR follows a suggestions of @ajreynol to use public references instead of getter functions to access the individual option modules.
src/options/mkoptions.py diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_template.cpp diff | blob | history
src/options/options_template.h diff | blob | history