diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-13 20:47:59 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-13 20:47:59 +0000 |
commit | 690eed77a7883869a6f45c6db8546f0ccb795b4b (patch) | |
tree | 81ae7d772c79526199bab12b95a346cf8be517e2 /src/theory/theory_engine.h | |
parent | db2c74345f23b68a2421c15878311414a71cf210 (diff) |
Make a few functions in TheoryEngine (like theoryOf()) const.
Diffstat (limited to 'src/theory/theory_engine.h')
-rw-r--r-- | src/theory/theory_engine.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index de04c878c..609b5195e 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -668,7 +668,7 @@ public: * @returns the theory, or NULL if the TNode is * of built-in type. */ - inline theory::Theory* theoryOf(TNode node) { + inline theory::Theory* theoryOf(TNode node) const { return d_theoryTable[theory::Theory::theoryOf(node)]; } @@ -680,12 +680,12 @@ public: * @returns the theory, or NULL if the TNode is * of built-in type. */ - inline theory::Theory* theoryOf(theory::TheoryId theoryId) { + inline theory::Theory* theoryOf(theory::TheoryId theoryId) const { return d_theoryTable[theoryId]; } /** Get the theory for id */ - theory::Theory* getTheory(theory::TheoryId theoryId) { + theory::Theory* getTheory(theory::TheoryId theoryId) const { return d_theoryTable[theoryId]; } |