From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 4 Oct 2011 01:06:41 +0000 (+0000)
Subject: mimicking Chris's recent contribution to QueryResult in CVC3 in the compatibility... 
X-Git-Tag: cvc5-1.0.0~8436
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=09f28a6a107e2599c2f53d1dd8d201d8c18e625f;p=cvc5.git

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

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index c8e9106a7..6db6b440e 100644
--- 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 2798c5b3c..b4c9cba3e 100644
--- 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);
 
 /*****************************************************************************/
 /*