Rename occurrences of CVC4 to CVC5. (#6351)

This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.

1 files changed, 20 insertions, 18 deletions

diff --git a/src/smt/dump.h b/src/smt/dump.h
index 7a2b0146b..3038d8996 100644
--- a/src/smt/dump.h
+++ b/src/smt/dump.h
@@ -27,24 +27,24 @@ class NodeCommand;
 
 #if defined(CVC5_DUMPING) && !defined(CVC5_MUZZLE)
 
-class CVC4dumpstream
+class CVC5dumpstream
 {
  public:
-  CVC4dumpstream() : d_os(nullptr) {}
-  CVC4dumpstream(std::ostream& os) : d_os(&os) {}
+  CVC5dumpstream() : d_os(nullptr) {}
+  CVC5dumpstream(std::ostream& os) : d_os(&os) {}
 
-  CVC4dumpstream& operator<<(const Command& c);
+  CVC5dumpstream& operator<<(const Command& c);
 
   /** A convenience function for dumping internal commands.
    *
    * Since Commands are now part of the public API, internal code should use
    * NodeCommands and this function (instead of the one above) to dump them.
    */
-  CVC4dumpstream& operator<<(const NodeCommand& nc);
+  CVC5dumpstream& operator<<(const NodeCommand& nc);
 
  private:
   std::ostream* d_os;
-}; /* class CVC4dumpstream */
+}; /* class CVC5dumpstream */
 
 #else
 
@@ -52,14 +52,14 @@ class CVC4dumpstream
  * Dummy implementation of the dump stream when dumping is disabled or the
  * build is muzzled.
  */
-class CVC4dumpstream
+class CVC5dumpstream
 {
  public:
-  CVC4dumpstream() {}
-  CVC4dumpstream(std::ostream& os) {}
-  CVC4dumpstream& operator<<(const Command& c);
-  CVC4dumpstream& operator<<(const NodeCommand& nc);
-}; /* class CVC4dumpstream */
+  CVC5dumpstream() {}
+  CVC5dumpstream(std::ostream& os) {}
+  CVC5dumpstream& operator<<(const Command& c);
+  CVC5dumpstream& operator<<(const NodeCommand& nc);
+}; /* class CVC5dumpstream */
 
 #endif /* CVC5_DUMPING && !CVC5_MUZZLE */
 
@@ -67,19 +67,21 @@ class CVC4dumpstream
 class DumpC
 {
  public:
-  CVC4dumpstream operator()(const char* tag) {
+  CVC5dumpstream operator()(const char* tag)
+  {
     if(!d_tags.empty() && d_tags.find(std::string(tag)) != d_tags.end()) {
-      return CVC4dumpstream(getStream());
+      return CVC5dumpstream(getStream());
     } else {
-      return CVC4dumpstream();
+      return CVC5dumpstream();
     }
   }
 
-  CVC4dumpstream operator()(std::string tag) {
+  CVC5dumpstream operator()(std::string tag)
+  {
     if(!d_tags.empty() && d_tags.find(tag) != d_tags.end()) {
-      return CVC4dumpstream(getStream());
+      return CVC5dumpstream(getStream());
     } else {
-      return CVC4dumpstream();
+      return CVC5dumpstream();
     }
   }