summaryrefslogtreecommitdiff
path: root/src/smt/options_manager.h
diff options
context:
space:
mode:
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>2021-04-15 23:05:44 +0200
committerGitHub <noreply@github.com>2021-04-15 21:05:44 +0000
commit3564c3345d7fa53744661d815cbd463cc02567d7 (patch)
tree6e3a9b3c2b5194ce519083f0d54e128d24521aa2 /src/smt/options_manager.h
parent77bca094a140b35341257f125a55212ff0108250 (diff)
Avoid options listener for resource manager. (#6366)
This PR simplifies how the resource manager interacts with the options. Instead of using some notification mechanism, the resource manager simply retrieves the options via options::xyz(). This simplifies the options handler, the resource manager interface and the options. When instructed to do so by the API, the SmtEngine now overwrites the respective option instead of calling out to the resource manager.
Diffstat (limited to 'src/smt/options_manager.h')
-rw-r--r--src/smt/options_manager.h4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/smt/options_manager.h b/src/smt/options_manager.h
index 4705b4273..2201ceb40 100644
--- a/src/smt/options_manager.h
+++ b/src/smt/options_manager.h
@@ -42,7 +42,7 @@ namespace smt {
class OptionsManager : public OptionsListener
{
public:
- OptionsManager(Options* opts, ResourceManager* rm = nullptr);
+ OptionsManager(Options* opts);
~OptionsManager();
/**
* Called when a set option call is made on the options object associated
@@ -65,8 +65,6 @@ class OptionsManager : public OptionsListener
private:
/** Reference to the options object */
Options* d_options;
- /** Pointer to the resource manager */
- ResourceManager* d_resourceManager;
/** Manager for the memory of regular-output-channel. */
ManagedRegularOutputChannel d_managedRegularChannel;
/** Manager for the memory of diagnostic-output-channel. */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback