diff options
Diffstat (limited to 'src/decision/decision_engine.h')
| -rw-r--r-- | src/decision/decision_engine.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h index c4eb29284..65ead8d4c 100644 --- a/src/decision/decision_engine.h +++ b/src/decision/decision_engine.h @@ -60,11 +60,16 @@ class DecisionEngine { // init/shutdown state unsigned d_engineState; // 0=pre-init; 1=init,pre-shutdown; 2=shutdown -public: + /** Pointer to resource manager for associated SmtEngine */ + ResourceManager* d_resourceManager; + + public: // Necessary functions /** Constructor */ - DecisionEngine(context::Context *sc, context::UserContext *uc); + DecisionEngine(context::Context* sc, + context::UserContext* uc, + ResourceManager* rm); /** Destructor, currently does nothing */ ~DecisionEngine() { |