diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-31 18:17:24 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-01 01:17:24 +0000 |
commit | a6cdf2b085aaa9789f47757329a7803053ceb36a (patch) | |
tree | 98280ce376d9828241d850e6c9e1271c4024f0c2 /examples/sets-translate | |
parent | 068a0aa316f3760b401d900d39101955ba66b6c2 (diff) |
No longer use direct access to options in driver (#7094)
This PR refactors the driver to no longer directly access the Options object, but instead use Solver::getOption() or Solver::getOptionInfo().
Diffstat (limited to 'examples/sets-translate')
0 files changed, 0 insertions, 0 deletions