diff options
Diffstat (limited to 'src/theory/theory_engine.h')
-rw-r--r-- | src/theory/theory_engine.h | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index f55c7c258..449f4adc3 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -450,6 +450,13 @@ public: } /** + * Get a pointer to the underlying user context. + */ + inline context::Context* getUserContext() const { + return d_userContext; + } + + /** * Get a pointer to the underlying quantifiers engine. */ theory::QuantifiersEngine* getQuantifiersEngine() const { @@ -677,8 +684,8 @@ public: } /** Get the theory for id */ - theory::Theory* getTheory(int id) { - return d_theoryTable[id]; + theory::Theory* getTheory(theory::TheoryId theoryId) { + return d_theoryTable[theoryId]; } /** |