diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-20 22:01:14 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-20 22:01:14 +0000 |
commit | 59046763d2e5b26d720a3a320b351292bad867ac (patch) | |
tree | 258cd2b37fee258c513417304676aaac57664dba /src/theory/theory_engine.h | |
parent | bd45444319c0baa11b530184e3065df3a2d926a2 (diff) |
remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplicate of TheoryEngine::theoryOf(TheoryId)
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. |