diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-17 13:38:50 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-17 13:38:50 -0500 |
| commit | f99889b0c1260fccf28daac995e58312912bae9f (patch) | |
| tree | c9bba127e62aedef587ee7da83950281a4c131f4 /src/smt/set_defaults.h | |
| parent | e8df6f67cc2654f50d49995377a4b411668235e1 (diff) | |
Replace options listener infrastructure (#4764)
This replaces the old options listener infrastructure with the OptionsManager introduced in cb8d041.
It eliminates a "beforeSearchListener", which was a custom way of some options throwing a modal exception if they were set after initialization. Now all options are consistent: no option can be set after initialization.
It also moves managed ostream objects to the OptionsManager.
@mpreiner The next step will be to remove the "notifies" field from the Options build system and then proceed with cleaning src/options/.
Diffstat (limited to 'src/smt/set_defaults.h')
| -rw-r--r-- | src/smt/set_defaults.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/set_defaults.h b/src/smt/set_defaults.h index 606921b7c..972d828bd 100644 --- a/src/smt/set_defaults.h +++ b/src/smt/set_defaults.h @@ -28,7 +28,7 @@ namespace smt { * updated by this method based on the current options and the logic itself. * @param isInternalSubsolver Whether we are setting the options for an * internal subsolver (see SmtEngine::isInternalSubsolver). - * + * * NOTE: we currently modify the current options in scope. This method * can be further refactored to modify an options object provided as an * explicit argument. |