From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 13 Aug 2012 20:47:59 +0000 (+0000)
Subject: Make a few functions in TheoryEngine (like theoryOf()) const.
X-Git-Tag: cvc5-1.0.0~7875
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=690eed77a7883869a6f45c6db8546f0ccb795b4b;p=cvc5.git

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

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];
   }