diff options
Diffstat (limited to 'src/theory/valuation.h')
| -rw-r--r-- | src/theory/valuation.h | 4 |
1 files changed, 2 insertions, 2 deletions
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 */ |