Rename namespace CVC5 to cvc5. (#6258)

18 files changed, 36 insertions, 36 deletions

diff --git a/src/context/backtrackable.h b/src/context/backtrackable.h
index 2d5416eab..2c4fdff41 100644
--- a/src/context/backtrackable.h
+++ b/src/context/backtrackable.h
@@ -23,7 +23,7 @@
 #include <vector>
 #include "context/cdo.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
 template <class T> class List;
 template <class T> class List_iterator;
@@ -217,6 +217,6 @@ template <class T> void Backtracker<T>::checkConsistency() {
   Assert(curr_level == pop_level);
 }
 
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__UTIL__BACKTRACKABLE_H */
diff --git a/src/context/cddense_set.h b/src/context/cddense_set.h
index 765e0f75d..095d14156 100644
--- a/src/context/cddense_set.h
+++ b/src/context/cddense_set.h
@@ -29,7 +29,7 @@
 
 #include "util/index.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 template <class CleanUp = DefaultCleanUp<Index> >
@@ -97,4 +97,4 @@ public:
 };/* class CDDenseSet<> */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index 165080bd1..a9f81d529 100644
--- a/src/context/cdhashmap.h
+++ b/src/context/cdhashmap.h
@@ -91,7 +91,7 @@
 #include "context/cdhashmap_forward.h"
 #include "context/context.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 // Auxiliary class: almost the same as CDO (see cdo.h)
@@ -453,6 +453,6 @@ public:
 };/* class CDHashMap<> */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDHASHMAP_H */
diff --git a/src/context/cdhashmap_forward.h b/src/context/cdhashmap_forward.h
index b34981c73..b6907322c 100644
--- a/src/context/cdhashmap_forward.h
+++ b/src/context/cdhashmap_forward.h
@@ -30,12 +30,12 @@
 
 /// \cond internals
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 template <class Key, class Data, class HashFcn = std::hash<Key> >
 class CDHashMap;
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 /// \endcond
 
diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h
index 418bc8bf0..1a31e6022 100644
--- a/src/context/cdhashset.h
+++ b/src/context/cdhashset.h
@@ -23,7 +23,7 @@
 #include "context/cdinsert_hashmap.h"
 #include "context/context.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 template <class V, class HashFcn>
@@ -156,6 +156,6 @@ public:
 };/* class CDHashSet */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDHASHSET_H */
diff --git a/src/context/cdhashset_forward.h b/src/context/cdhashset_forward.h
index 81154db5d..387c10ada 100644
--- a/src/context/cdhashset_forward.h
+++ b/src/context/cdhashset_forward.h
@@ -28,11 +28,11 @@
 
 #include <functional>
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 template <class V, class HashFcn = std::hash<V> >
 class CDHashSet;
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDSET_FORWARD_H */
diff --git a/src/context/cdinsert_hashmap.h b/src/context/cdinsert_hashmap.h
index 6bd15c645..903acdaf0 100644
--- a/src/context/cdinsert_hashmap.h
+++ b/src/context/cdinsert_hashmap.h
@@ -45,7 +45,7 @@
 
 #pragma once
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 
@@ -407,4 +407,4 @@ class CDInsertHashMap<TNode, Data, HashFcn> : public ContextObj {
 };
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/context/cdinsert_hashmap_forward.h b/src/context/cdinsert_hashmap_forward.h
index 9729ea2f4..d636be1c1 100644
--- a/src/context/cdinsert_hashmap_forward.h
+++ b/src/context/cdinsert_hashmap_forward.h
@@ -28,11 +28,11 @@
 
 #include <functional>
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 template <class Key, class Data, class HashFcn = std::hash<Key> >
 class CDInsertHashMap;
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */
diff --git a/src/context/cdlist.h b/src/context/cdlist.h
index 7174152cb..20b0f1e3d 100644
--- a/src/context/cdlist.h
+++ b/src/context/cdlist.h
@@ -29,7 +29,7 @@
 #include "context/context.h"
 #include "context/context_mm.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 /**
@@ -435,6 +435,6 @@ class CDList<T, CleanUp, ContextMemoryAllocator<T> > : public ContextObj {
 };
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDLIST_H */
diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h
index bd3a911af..5758b71ba 100644
--- a/src/context/cdlist_forward.h
+++ b/src/context/cdlist_forward.h
@@ -36,7 +36,7 @@
 
 /// \cond internals
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 template <class T>
@@ -51,6 +51,6 @@ class CDList;
 /// \endcond
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDLIST_FORWARD_H */
diff --git a/src/context/cdmaybe.h b/src/context/cdmaybe.h
index 1455ca5f0..4913c2dd5 100644
--- a/src/context/cdmaybe.h
+++ b/src/context/cdmaybe.h
@@ -24,7 +24,7 @@
 #include "context/cdo.h"
 #include "context/context.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 class CDRaised {
@@ -74,4 +74,4 @@ public:
 };/* class CDMaybe<T> */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/context/cdo.h b/src/context/cdo.h
index 79e73d38f..393b584f1 100644
--- a/src/context/cdo.h
+++ b/src/context/cdo.h
@@ -21,7 +21,7 @@
 
 #include "context/context.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 /**
@@ -176,6 +176,6 @@ public:
 };/* class CDO */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDO_H */
diff --git a/src/context/cdqueue.h b/src/context/cdqueue.h
index 20d078184..12ca02754 100644
--- a/src/context/cdqueue.h
+++ b/src/context/cdqueue.h
@@ -28,7 +28,7 @@
 #include "context/context.h"
 #include "context/cdlist.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 template <class T, class CleanUp = DefaultCleanUp<T>, class Allocator = std::allocator<T> >
@@ -163,6 +163,6 @@ public:
 };/* class CDQueue<> */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDQUEUE_H */
diff --git a/src/context/cdtrail_queue.h b/src/context/cdtrail_queue.h
index d9bf6d572..abdd83f99 100644
--- a/src/context/cdtrail_queue.h
+++ b/src/context/cdtrail_queue.h
@@ -25,7 +25,7 @@
 #include "context/cdlist.h"
 #include "context/cdo.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 class Context;
@@ -90,6 +90,6 @@ public:
 };/* class CDTrailQueue<> */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CDTRAIL_QUEUE_H */
diff --git a/src/context/context.cpp b/src/context/context.cpp
index 88c783303..6dfab3de2 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -21,7 +21,7 @@
 #include "base/check.h"
 #include "context/context.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 
@@ -388,4 +388,4 @@ void Scope::enqueueToGarbageCollect(ContextObj* obj) {
 }
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/context/context.h b/src/context/context.h
index 7cf72e4d2..438d9c28a 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -29,7 +29,7 @@
 #include "base/output.h"
 #include "context/context_mm.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 class Context;
@@ -740,6 +740,6 @@ inline void Scope::addToChain(ContextObj* pContextObj)
 }
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CONTEXT_H */
diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp
index 2a69bc26f..2e5f0aba4 100644
--- a/src/context/context_mm.cpp
+++ b/src/context/context_mm.cpp
@@ -29,7 +29,7 @@
 #include "base/output.h"
 #include "context/context_mm.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 #ifndef CVC4_DEBUG_CONTEXT_MEMORY_MANAGER
@@ -178,4 +178,4 @@ unsigned ContextMemoryManager::getMaxAllocationSize()
 #endif /* CVC4_DEBUG_CONTEXT_MEMORY_MANAGER */
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/context/context_mm.h b/src/context/context_mm.h
index 72c2bcd3a..cf597908a 100644
--- a/src/context/context_mm.h
+++ b/src/context/context_mm.h
@@ -25,7 +25,7 @@
 #endif
 #include <vector>
 
-namespace CVC5 {
+namespace cvc5 {
 namespace context {
 
 #ifndef CVC4_DEBUG_CONTEXT_MEMORY_MANAGER
@@ -262,6 +262,6 @@ inline bool operator!=(const ContextMemoryAllocator<T>& a1,
 }
 
 }  // namespace context
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__CONTEXT__CONTEXT_MM_H */