From f2696072837541f16932b1fd5f5740d45b4341b9 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 7 Apr 2011 19:28:25 +0000
Subject: [PATCH] Made Valuation::getValue() and Valuation::getSatValue()
 const.

---
 src/theory/valuation.cpp | 4 ++--
 src/theory/valuation.h   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/theory/valuation.cpp b/src/theory/valuation.cpp
index 9f33c2c4f..536255c2d 100644
--- a/src/theory/valuation.cpp
+++ b/src/theory/valuation.cpp
@@ -23,11 +23,11 @@
 namespace CVC4 {
 namespace theory {
 
-Node Valuation::getValue(TNode n) {
+Node Valuation::getValue(TNode n) const {
   return d_engine->getValue(n);
 }
 
-Node Valuation::getSatValue(TNode n) {
+Node Valuation::getSatValue(TNode n) const{
   if(n.getKind() == kind::NOT) {
     Node atomRes = d_engine->getPropEngine()->getValue(n[0]);
     if(atomRes.getKind() == kind::CONST_BOOLEAN){
diff --git a/src/theory/valuation.h b/src/theory/valuation.h
index 94c2bc12f..0c60ec5ea 100644
--- a/src/theory/valuation.h
+++ b/src/theory/valuation.h
@@ -38,7 +38,7 @@ public:
     d_engine(engine) {
   }
 
-  Node getValue(TNode n);
+  Node getValue(TNode n) const;
 
   /**
    * Get the current SAT assignment to the node n.
@@ -48,7 +48,7 @@ public:
    *
    * @return Node::null() if no current assignment; otherwise true or false.
    */
-  Node getSatValue(TNode n);
+  Node getSatValue(TNode n) const;
 
 };/* class Valuation */
 
-- 
2.30.2