diff options
Diffstat (limited to 'src/theory/theory_engine.h')
-rw-r--r-- | src/theory/theory_engine.h | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 9dedc3292..75f4d6a37 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -639,22 +639,14 @@ public: } /** - * Get the theory associated to a the given theory id. It will also mark the - * theory as currently active, we assume that theories are called only through - * theoryOf. + * Get the theory associated to a the given theory id. * - * @returns the theory, or NULL if the TNode is - * of built-in type. + * @returns the theory */ inline theory::Theory* theoryOf(theory::TheoryId theoryId) const { return d_theoryTable[theoryId]; } - /** Get the theory for id */ - theory::Theory* getTheory(theory::TheoryId theoryId) const { - return d_theoryTable[theoryId]; - } - /** * Returns the equality status of the two terms, from the theory * that owns the domain type. The types of a and b must be the same. |