diff options
Diffstat (limited to 'src/expr/expr_value.h')
| -rw-r--r-- | src/expr/expr_value.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/expr_value.h b/src/expr/expr_value.h index 0b97dfdae..decd57045 100644 --- a/src/expr/expr_value.h +++ b/src/expr/expr_value.h @@ -63,6 +63,8 @@ class ExprValue { ExprValue* inc(); ExprValue* dec(); + static size_t next_id; + public: /** Hash this expression. * @return the hash value of this expression. */ @@ -82,6 +84,10 @@ public: const_iterator end() const; const_iterator rbegin() const; const_iterator rend() const; + + void toString(std::ostream& out) { + out << Kind(d_kind); + } }; }/* CVC4::expr namespace */ |