Make a few functions in TheoryEngine (like theoryOf()) const.

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index de04c878c6afbcb441c229a53bce885cf01171cc..609b5195e0c047d2014c5e88db11973af163f5d3 100644 (file)
--- 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];
   }