diff options
Diffstat (limited to 'src/expr/expr_value.cpp')
-rw-r--r-- | src/expr/expr_value.cpp | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/expr/expr_value.cpp b/src/expr/expr_value.cpp index 9ce7c3e12..af064f43d 100644 --- a/src/expr/expr_value.cpp +++ b/src/expr/expr_value.cpp @@ -15,6 +15,9 @@ **/ #include "expr_value.h" +#include <sstream> + +using namespace std; namespace CVC4 { @@ -77,7 +80,13 @@ ExprValue::const_iterator ExprValue::rend() const { return d_children - 1; } -void ExprValue::toString(std::ostream& out) const { +string ExprValue::toString() const { + stringstream ss; + toStream(ss); + return ss.str(); +} + +void ExprValue::toStream(std::ostream& out) const { out << "(" << Kind(d_kind); if(d_kind == VARIABLE) { out << ":" << this; |