mimicking Chris's recent contribution to QueryResult in CVC3 in the compatibility...

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index c8e9106a7217ff3a053a90dc997e83209e668c01..6db6b440ee9b1abd68b0da46045f182ca736523d 100644 (file)
--- a/src/compat/cvc3_compat.cpp
+++ b/src/compat/cvc3_compat.cpp
@@ -67,6 +67,12 @@ std::ostream& operator<<(std::ostream& out, QueryResult qr) {
   return out;
 }
 
+std::string QueryResultToString(QueryResult qr) {
+  stringstream sstr;
+  sstr << qr;
+  return sstr.str();
+}
+
 std::ostream& operator<<(std::ostream& out, FormulaValue fv) {
   switch(fv) {
   case TRUE_VAL: out << "TRUE_VAL"; break;

diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h
index 2798c5b3c1556f2a63df31de60f4a0472260981b..b4c9cba3ed9048d5c9d7105029d1e18495eb3e7a 100644 (file)
--- a/src/compat/cvc3_compat.h
+++ b/src/compat/cvc3_compat.h
@@ -428,6 +428,7 @@ typedef enum QueryResult {
 } QueryResult;
 
 std::ostream& operator<<(std::ostream& out, QueryResult qr);
+std::string QueryResultToString(QueryResult query_result);
 
 /*****************************************************************************/
 /*