diff options
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/backtrackable.h | 6 | ||||
-rw-r--r-- | src/context/cdhashmap.h | 6 | ||||
-rw-r--r-- | src/context/cdhashmap_forward.h | 6 | ||||
-rw-r--r-- | src/context/cdhashset.h | 6 | ||||
-rw-r--r-- | src/context/cdhashset_forward.h | 6 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap_forward.h | 6 | ||||
-rw-r--r-- | src/context/cdlist.h | 6 | ||||
-rw-r--r-- | src/context/cdlist_forward.h | 6 | ||||
-rw-r--r-- | src/context/cdo.h | 6 | ||||
-rw-r--r-- | src/context/cdqueue.h | 6 | ||||
-rw-r--r-- | src/context/cdtrail_queue.h | 6 | ||||
-rw-r--r-- | src/context/context.h | 6 | ||||
-rw-r--r-- | src/context/context_mm.h | 6 |
13 files changed, 39 insertions, 39 deletions
diff --git a/src/context/backtrackable.h b/src/context/backtrackable.h index 2c4fdff41..b128313a6 100644 --- a/src/context/backtrackable.h +++ b/src/context/backtrackable.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL__BACKTRACKABLE_H -#define CVC4__UTIL__BACKTRACKABLE_H +#ifndef CVC5__UTIL__BACKTRACKABLE_H +#define CVC5__UTIL__BACKTRACKABLE_H #include <cstdlib> #include <vector> @@ -219,4 +219,4 @@ template <class T> void Backtracker<T>::checkConsistency() { } // namespace cvc5 -#endif /* CVC4__UTIL__BACKTRACKABLE_H */ +#endif /* CVC5__UTIL__BACKTRACKABLE_H */ diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h index a9f81d529..9a8ae925f 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -80,8 +80,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CDHASHMAP_H -#define CVC4__CONTEXT__CDHASHMAP_H +#ifndef CVC5__CONTEXT__CDHASHMAP_H +#define CVC5__CONTEXT__CDHASHMAP_H #include <functional> #include <iterator> @@ -455,4 +455,4 @@ public: } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDHASHMAP_H */ +#endif /* CVC5__CONTEXT__CDHASHMAP_H */ diff --git a/src/context/cdhashmap_forward.h b/src/context/cdhashmap_forward.h index b6907322c..e7ca68bb4 100644 --- a/src/context/cdhashmap_forward.h +++ b/src/context/cdhashmap_forward.h @@ -23,8 +23,8 @@ #include "cvc4_public.h" -#ifndef CVC4__CONTEXT__CDHASHMAP_FORWARD_H -#define CVC4__CONTEXT__CDHASHMAP_FORWARD_H +#ifndef CVC5__CONTEXT__CDHASHMAP_FORWARD_H +#define CVC5__CONTEXT__CDHASHMAP_FORWARD_H #include <functional> @@ -39,4 +39,4 @@ class CDHashMap; /// \endcond -#endif /* CVC4__CONTEXT__CDHASHMAP_FORWARD_H */ +#endif /* CVC5__CONTEXT__CDHASHMAP_FORWARD_H */ diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h index 1a31e6022..b7e9b051b 100644 --- a/src/context/cdhashset.h +++ b/src/context/cdhashset.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CDHASHSET_H -#define CVC4__CONTEXT__CDHASHSET_H +#ifndef CVC5__CONTEXT__CDHASHSET_H +#define CVC5__CONTEXT__CDHASHSET_H #include "base/check.h" #include "context/cdinsert_hashmap.h" @@ -158,4 +158,4 @@ public: } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDHASHSET_H */ +#endif /* CVC5__CONTEXT__CDHASHSET_H */ diff --git a/src/context/cdhashset_forward.h b/src/context/cdhashset_forward.h index 387c10ada..2601dfed8 100644 --- a/src/context/cdhashset_forward.h +++ b/src/context/cdhashset_forward.h @@ -23,8 +23,8 @@ #include "cvc4_public.h" -#ifndef CVC4__CONTEXT__CDSET_FORWARD_H -#define CVC4__CONTEXT__CDSET_FORWARD_H +#ifndef CVC5__CONTEXT__CDSET_FORWARD_H +#define CVC5__CONTEXT__CDSET_FORWARD_H #include <functional> @@ -35,4 +35,4 @@ class CDHashSet; } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDSET_FORWARD_H */ +#endif /* CVC5__CONTEXT__CDSET_FORWARD_H */ diff --git a/src/context/cdinsert_hashmap_forward.h b/src/context/cdinsert_hashmap_forward.h index d636be1c1..5b9c0eb78 100644 --- a/src/context/cdinsert_hashmap_forward.h +++ b/src/context/cdinsert_hashmap_forward.h @@ -23,8 +23,8 @@ #include "cvc4_public.h" -#ifndef CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H -#define CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H +#ifndef CVC5__CONTEXT__CDINSERT_HASHMAP_FORWARD_H +#define CVC5__CONTEXT__CDINSERT_HASHMAP_FORWARD_H #include <functional> @@ -35,4 +35,4 @@ class CDInsertHashMap; } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */ +#endif /* CVC5__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */ diff --git a/src/context/cdlist.h b/src/context/cdlist.h index 20b0f1e3d..c379e21c8 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -17,8 +17,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CDLIST_H -#define CVC4__CONTEXT__CDLIST_H +#ifndef CVC5__CONTEXT__CDLIST_H +#define CVC5__CONTEXT__CDLIST_H #include <cstring> #include <iterator> @@ -437,4 +437,4 @@ class CDList<T, CleanUp, ContextMemoryAllocator<T> > : public ContextObj { } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDLIST_H */ +#endif /* CVC5__CONTEXT__CDLIST_H */ diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h index 5758b71ba..9575881e0 100644 --- a/src/context/cdlist_forward.h +++ b/src/context/cdlist_forward.h @@ -29,8 +29,8 @@ #include "cvc4_public.h" -#ifndef CVC4__CONTEXT__CDLIST_FORWARD_H -#define CVC4__CONTEXT__CDLIST_FORWARD_H +#ifndef CVC5__CONTEXT__CDLIST_FORWARD_H +#define CVC5__CONTEXT__CDLIST_FORWARD_H #include <memory> @@ -53,4 +53,4 @@ class CDList; } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDLIST_FORWARD_H */ +#endif /* CVC5__CONTEXT__CDLIST_FORWARD_H */ diff --git a/src/context/cdo.h b/src/context/cdo.h index 393b584f1..7e3d892d7 100644 --- a/src/context/cdo.h +++ b/src/context/cdo.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CDO_H -#define CVC4__CONTEXT__CDO_H +#ifndef CVC5__CONTEXT__CDO_H +#define CVC5__CONTEXT__CDO_H #include "context/context.h" @@ -178,4 +178,4 @@ public: } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDO_H */ +#endif /* CVC5__CONTEXT__CDO_H */ diff --git a/src/context/cdqueue.h b/src/context/cdqueue.h index 12ca02754..acd31020a 100644 --- a/src/context/cdqueue.h +++ b/src/context/cdqueue.h @@ -22,8 +22,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CDQUEUE_H -#define CVC4__CONTEXT__CDQUEUE_H +#ifndef CVC5__CONTEXT__CDQUEUE_H +#define CVC5__CONTEXT__CDQUEUE_H #include "context/context.h" #include "context/cdlist.h" @@ -165,4 +165,4 @@ public: } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDQUEUE_H */ +#endif /* CVC5__CONTEXT__CDQUEUE_H */ diff --git a/src/context/cdtrail_queue.h b/src/context/cdtrail_queue.h index abdd83f99..1cc8b1f70 100644 --- a/src/context/cdtrail_queue.h +++ b/src/context/cdtrail_queue.h @@ -19,8 +19,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CDTRAIL_QUEUE_H -#define CVC4__CONTEXT__CDTRAIL_QUEUE_H +#ifndef CVC5__CONTEXT__CDTRAIL_QUEUE_H +#define CVC5__CONTEXT__CDTRAIL_QUEUE_H #include "context/cdlist.h" #include "context/cdo.h" @@ -92,4 +92,4 @@ public: } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CDTRAIL_QUEUE_H */ +#endif /* CVC5__CONTEXT__CDTRAIL_QUEUE_H */ diff --git a/src/context/context.h b/src/context/context.h index 438d9c28a..d6b458701 100644 --- a/src/context/context.h +++ b/src/context/context.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CONTEXT_H -#define CVC4__CONTEXT__CONTEXT_H +#ifndef CVC5__CONTEXT__CONTEXT_H +#define CVC5__CONTEXT__CONTEXT_H #include <cstdlib> #include <iostream> @@ -742,4 +742,4 @@ inline void Scope::addToChain(ContextObj* pContextObj) } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CONTEXT_H */ +#endif /* CVC5__CONTEXT__CONTEXT_H */ diff --git a/src/context/context_mm.h b/src/context/context_mm.h index cf597908a..22852b9a6 100644 --- a/src/context/context_mm.h +++ b/src/context/context_mm.h @@ -17,8 +17,8 @@ #include "cvc4_private.h" -#ifndef CVC4__CONTEXT__CONTEXT_MM_H -#define CVC4__CONTEXT__CONTEXT_MM_H +#ifndef CVC5__CONTEXT__CONTEXT_MM_H +#define CVC5__CONTEXT__CONTEXT_MM_H #ifndef CVC4_DEBUG_CONTEXT_MEMORY_MANAGER #include <deque> @@ -264,4 +264,4 @@ inline bool operator!=(const ContextMemoryAllocator<T>& a1, } // namespace context } // namespace cvc5 -#endif /* CVC4__CONTEXT__CONTEXT_MM_H */ +#endif /* CVC5__CONTEXT__CONTEXT_MM_H */ |