diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-08-04 11:17:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-04 18:17:42 +0000 |
| commit | 3f2e127061ee03db1ba8ff56d9dfb42fbe9d60b1 (patch) | |
| tree | f478e29819d53e7c543941fae0b5a5f272e54fa2 /src/options/open_ostream.h | |
| parent | d95c17090fb7f67a76a3032c4f778572f003786b (diff) | |
Add API function to get list of option names (#6971)
This PR adds a new API function api::Solver::getOptionNames() that exposes a list of all option names as strings. This PR will be followed by another that adds a method to further inspect a particular option by name, and thereby allows to inspect the solver options in a sensible way.
Diffstat (limited to 'src/options/open_ostream.h')
0 files changed, 0 insertions, 0 deletions