diff options
author | Tim King <taking@cs.nyu.edu> | 2011-04-07 19:28:25 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-04-07 19:28:25 +0000 |
commit | f2696072837541f16932b1fd5f5740d45b4341b9 (patch) | |
tree | 79eddf644995df24338f75d645981bba3a9cce42 /src/theory/valuation.cpp | |
parent | eca82ddc05ff6e81592f7cceec60b0d3269bab5c (diff) |
Made Valuation::getValue() and Valuation::getSatValue() const.
Diffstat (limited to 'src/theory/valuation.cpp')
-rw-r--r-- | src/theory/valuation.cpp | 4 |
1 files changed, 2 insertions, 2 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){ |