diff options
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/backtrackable.h | 4 | ||||
-rw-r--r-- | src/context/cddense_set.h | 4 | ||||
-rw-r--r-- | src/context/cdhashmap.h | 4 | ||||
-rw-r--r-- | src/context/cdhashmap_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdhashset.h | 4 | ||||
-rw-r--r-- | src/context/cdhashset_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap.h | 4 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdlist.h | 4 | ||||
-rw-r--r-- | src/context/cdlist_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdmaybe.h | 4 | ||||
-rw-r--r-- | src/context/cdo.h | 4 | ||||
-rw-r--r-- | src/context/cdqueue.h | 4 | ||||
-rw-r--r-- | src/context/cdtrail_queue.h | 4 | ||||
-rw-r--r-- | src/context/context.cpp | 4 | ||||
-rw-r--r-- | src/context/context.h | 4 | ||||
-rw-r--r-- | src/context/context_mm.cpp | 4 | ||||
-rw-r--r-- | src/context/context_mm.h | 4 |
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 */ |