diff options
Diffstat (limited to 'src/util')
46 files changed, 123 insertions, 123 deletions
diff --git a/src/util/bin_heap.h b/src/util/bin_heap.h index 4306cd731..7df5aa36d 100644 --- a/src/util/bin_heap.h +++ b/src/util/bin_heap.h @@ -20,8 +20,8 @@ #include "cvc4_private.h" -#ifndef CVC4__BIN_HEAP_H -#define CVC4__BIN_HEAP_H +#ifndef CVC5__BIN_HEAP_H +#define CVC5__BIN_HEAP_H #include <limits> #include <functional> @@ -365,4 +365,4 @@ const size_t BinaryHeap<Elem,CmpFcn>::MAX_SIZE = (std::numeric_limits<size_t>::m } // namespace cvc5 -#endif /* CVC4__BIN_HEAP_H */ +#endif /* CVC5__BIN_HEAP_H */ diff --git a/src/util/bitvector.h b/src/util/bitvector.h index 12908166d..c069949ef 100644 --- a/src/util/bitvector.h +++ b/src/util/bitvector.h @@ -16,8 +16,8 @@ #include "cvc4_public.h" -#ifndef CVC4__BITVECTOR_H -#define CVC4__BITVECTOR_H +#ifndef CVC5__BITVECTOR_H +#define CVC5__BITVECTOR_H #include <iosfwd> #include <iostream> @@ -444,4 +444,4 @@ inline std::ostream& operator<<(std::ostream& os, const IntToBitVector& bv) } // namespace cvc5 -#endif /* CVC4__BITVECTOR_H */ +#endif /* CVC5__BITVECTOR_H */ diff --git a/src/util/bool.h b/src/util/bool.h index 01d97a43a..46e5eda1a 100644 --- a/src/util/bool.h +++ b/src/util/bool.h @@ -16,8 +16,8 @@ #include "cvc4_public.h" -#ifndef CVC4__BOOL_H -#define CVC4__BOOL_H +#ifndef CVC5__BOOL_H +#define CVC5__BOOL_H namespace cvc5 { @@ -29,4 +29,4 @@ struct BoolHashFunction { } // namespace cvc5 -#endif /* CVC4__BOOL_H */ +#endif /* CVC5__BOOL_H */ diff --git a/src/util/cardinality.h b/src/util/cardinality.h index f188a8c8c..36b07c29d 100644 --- a/src/util/cardinality.h +++ b/src/util/cardinality.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__CARDINALITY_H -#define CVC4__CARDINALITY_H +#ifndef CVC5__CARDINALITY_H +#define CVC5__CARDINALITY_H #include <iosfwd> @@ -227,4 +227,4 @@ std::ostream& operator<<(std::ostream& out, const Cardinality& c); } // namespace cvc5 -#endif /* CVC4__CARDINALITY_H */ +#endif /* CVC5__CARDINALITY_H */ diff --git a/src/util/cardinality_class.h b/src/util/cardinality_class.h index c46897550..49f2b74c0 100644 --- a/src/util/cardinality_class.h +++ b/src/util/cardinality_class.h @@ -14,8 +14,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL__CARDINALITY_CLASS_H -#define CVC4__UTIL__CARDINALITY_CLASS_H +#ifndef CVC5__UTIL__CARDINALITY_CLASS_H +#define CVC5__UTIL__CARDINALITY_CLASS_H #include <iosfwd> diff --git a/src/util/divisible.h b/src/util/divisible.h index 95934a52a..2cfe95ec7 100644 --- a/src/util/divisible.h +++ b/src/util/divisible.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__DIVISIBLE_H -#define CVC4__DIVISIBLE_H +#ifndef CVC5__DIVISIBLE_H +#define CVC5__DIVISIBLE_H #include <iosfwd> #include <ostream> @@ -63,4 +63,4 @@ inline std::ostream& operator <<(std::ostream& os, const Divisible& d) { } // namespace cvc5 -#endif /* CVC4__DIVISIBLE_H */ +#endif /* CVC5__DIVISIBLE_H */ diff --git a/src/util/floatingpoint.h b/src/util/floatingpoint.h index e038959a0..e65c89b8a 100644 --- a/src/util/floatingpoint.h +++ b/src/util/floatingpoint.h @@ -17,8 +17,8 @@ **/ #include "cvc4_public.h" -#ifndef CVC4__FLOATINGPOINT_H -#define CVC4__FLOATINGPOINT_H +#ifndef CVC5__FLOATINGPOINT_H +#define CVC5__FLOATINGPOINT_H #include <memory> @@ -535,4 +535,4 @@ std::ostream& operator<<(std::ostream& os, } // namespace cvc5 -#endif /* CVC4__FLOATINGPOINT_H */ +#endif /* CVC5__FLOATINGPOINT_H */ diff --git a/src/util/floatingpoint_literal_symfpu.h.in b/src/util/floatingpoint_literal_symfpu.h.in index dd58f1beb..8ef62c63b 100644 --- a/src/util/floatingpoint_literal_symfpu.h.in +++ b/src/util/floatingpoint_literal_symfpu.h.in @@ -15,8 +15,8 @@ **/ #include "cvc4_public.h" -#ifndef CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H -#define CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H +#ifndef CVC5__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H +#define CVC5__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H #include "util/bitvector.h" #include "util/floatingpoint_size.h" diff --git a/src/util/floatingpoint_literal_symfpu_traits.h.in b/src/util/floatingpoint_literal_symfpu_traits.h.in index 8bda58cfe..19abc009e 100644 --- a/src/util/floatingpoint_literal_symfpu_traits.h.in +++ b/src/util/floatingpoint_literal_symfpu_traits.h.in @@ -23,8 +23,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_TRAITS_H -#define CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_TRAITS_H +#ifndef CVC5__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_TRAITS_H +#define CVC5__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_TRAITS_H // clang-format off #if @CVC4_USE_SYMFPU@ diff --git a/src/util/floatingpoint_size.h b/src/util/floatingpoint_size.h index 8350ffaec..9322b9f72 100644 --- a/src/util/floatingpoint_size.h +++ b/src/util/floatingpoint_size.h @@ -13,8 +13,8 @@ **/ #include "cvc4_public.h" -#ifndef CVC4__FLOATINGPOINT_SIZE_H -#define CVC4__FLOATINGPOINT_SIZE_H +#ifndef CVC5__FLOATINGPOINT_SIZE_H +#define CVC5__FLOATINGPOINT_SIZE_H namespace cvc5 { diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h index 0b08f4f38..31c2eea84 100644 --- a/src/util/gmp_util.h +++ b/src/util/gmp_util.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__GMP_UTIL_H -#define CVC4__GMP_UTIL_H +#ifndef CVC5__GMP_UTIL_H +#define CVC5__GMP_UTIL_H #include <gmpxx.h> @@ -37,4 +37,4 @@ inline size_t gmpz_hash(const mpz_t toHash) { } // namespace cvc5 -#endif /* CVC4__GMP_UTIL_H */ +#endif /* CVC5__GMP_UTIL_H */ diff --git a/src/util/hash.h b/src/util/hash.h index 6ba4534d1..d21188f2c 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__HASH_H -#define CVC4__HASH_H +#ifndef CVC5__HASH_H +#define CVC5__HASH_H #include <functional> #include <string> @@ -66,4 +66,4 @@ struct PairHashFunction { } // namespace cvc5 -#endif /* CVC4__HASH_H */ +#endif /* CVC5__HASH_H */ diff --git a/src/util/iand.h b/src/util/iand.h index e1a42b11b..b05d23547 100644 --- a/src/util/iand.h +++ b/src/util/iand.h @@ -14,8 +14,8 @@ #include "cvc4_public.h" -#ifndef CVC4__IAND_H -#define CVC4__IAND_H +#ifndef CVC5__IAND_H +#define CVC5__IAND_H #include <iosfwd> @@ -43,4 +43,4 @@ inline std::ostream& operator<<(std::ostream& os, const IntAnd& ia) } // namespace cvc5 -#endif /* CVC4__IAND_H */ +#endif /* CVC5__IAND_H */ diff --git a/src/util/index.h b/src/util/index.h index 6da0d8602..9ba608ef6 100644 --- a/src/util/index.h +++ b/src/util/index.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__INDEX_H -#define CVC4__INDEX_H +#ifndef CVC5__INDEX_H +#define CVC5__INDEX_H namespace cvc5 { @@ -26,4 +26,4 @@ using Index = uint32_t; } // namespace cvc5 -#endif /* CVC4__INDEX_H */ +#endif /* CVC5__INDEX_H */ diff --git a/src/util/indexed_root_predicate.h b/src/util/indexed_root_predicate.h index a35ecaa12..9d03bc677 100644 --- a/src/util/indexed_root_predicate.h +++ b/src/util/indexed_root_predicate.h @@ -16,8 +16,8 @@ #include "cvc4_public.h" -#ifndef CVC4__UTIL__INDEXED_ROOT_PREDICATE_H -#define CVC4__UTIL__INDEXED_ROOT_PREDICATE_H +#ifndef CVC5__UTIL__INDEXED_ROOT_PREDICATE_H +#define CVC5__UTIL__INDEXED_ROOT_PREDICATE_H namespace cvc5 { diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h index d3d9faf56..c3a9434b9 100644 --- a/src/util/integer_cln_imp.h +++ b/src/util/integer_cln_imp.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__INTEGER_H -#define CVC4__INTEGER_H +#ifndef CVC5__INTEGER_H +#define CVC5__INTEGER_H #include <cln/input.h> #include <cln/integer.h> @@ -387,4 +387,4 @@ std::ostream& operator<<(std::ostream& os, const Integer& n); } // namespace cvc5 -#endif /* CVC4__INTEGER_H */ +#endif /* CVC5__INTEGER_H */ diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index 0d129ef45..077babe17 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__INTEGER_H -#define CVC4__INTEGER_H +#ifndef CVC5__INTEGER_H +#define CVC5__INTEGER_H #include <gmpxx.h> @@ -340,4 +340,4 @@ inline std::ostream& operator<<(std::ostream& os, const Integer& n) } // namespace cvc5 -#endif /* CVC4__INTEGER_H */ +#endif /* CVC5__INTEGER_H */ diff --git a/src/util/maybe.h b/src/util/maybe.h index 688073b8c..0d6489ad8 100644 --- a/src/util/maybe.h +++ b/src/util/maybe.h @@ -24,8 +24,8 @@ **/ #include "cvc4_public.h" -#ifndef CVC4__UTIL__MAYBE_H -#define CVC4__UTIL__MAYBE_H +#ifndef CVC5__UTIL__MAYBE_H +#define CVC5__UTIL__MAYBE_H #include <ostream> @@ -86,4 +86,4 @@ inline std::ostream& operator<<(std::ostream& out, const Maybe<T>& m){ } // namespace cvc5 -#endif /* CVC4__UTIL__MAYBE_H */ +#endif /* CVC5__UTIL__MAYBE_H */ diff --git a/src/util/ostream_util.h b/src/util/ostream_util.h index ab61faaca..f1b343b21 100644 --- a/src/util/ostream_util.h +++ b/src/util/ostream_util.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL__OSTREAM_UTIL_H -#define CVC4__UTIL__OSTREAM_UTIL_H +#ifndef CVC5__UTIL__OSTREAM_UTIL_H +#define CVC5__UTIL__OSTREAM_UTIL_H #include <ios> #include <iosfwd> @@ -46,4 +46,4 @@ class StreamFormatScope } // namespace cvc5 -#endif /* CVC4__UTIL__OSTREAM_UTIL_H */ +#endif /* CVC5__UTIL__OSTREAM_UTIL_H */ diff --git a/src/util/poly_util.h b/src/util/poly_util.h index 217f7c774..2ab44e120 100644 --- a/src/util/poly_util.h +++ b/src/util/poly_util.h @@ -22,8 +22,8 @@ #include "cvc4_private.h" -#ifndef CVC4__POLY_UTIL_H -#define CVC4__POLY_UTIL_H +#ifndef CVC5__POLY_UTIL_H +#define CVC5__POLY_UTIL_H #include <vector> @@ -142,4 +142,4 @@ void getVariableInformation(VariableInformation& vi, #endif -#endif /* CVC4__POLY_UTIL_H */ +#endif /* CVC5__POLY_UTIL_H */ diff --git a/src/util/random.h b/src/util/random.h index 738f5c510..32ec33a68 100644 --- a/src/util/random.h +++ b/src/util/random.h @@ -18,8 +18,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL__RANDOM_H -#define CVC4__UTIL__RANDOM_H +#ifndef CVC5__UTIL__RANDOM_H +#define CVC5__UTIL__RANDOM_H namespace cvc5 { diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index d62694868..992218ed0 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__RATIONAL_H -#define CVC4__RATIONAL_H +#ifndef CVC5__RATIONAL_H +#define CVC5__RATIONAL_H #include <cln/dfloat.h> #include <cln/input.h> @@ -343,4 +343,4 @@ std::ostream& operator<<(std::ostream& os, const Rational& n) CVC4_EXPORT; } // namespace cvc5 -#endif /* CVC4__RATIONAL_H */ +#endif /* CVC5__RATIONAL_H */ diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index 2bfc2a5b9..caaa26d1e 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__RATIONAL_H -#define CVC4__RATIONAL_H +#ifndef CVC5__RATIONAL_H +#define CVC5__RATIONAL_H #include <gmp.h> @@ -333,4 +333,4 @@ std::ostream& operator<<(std::ostream& os, const Rational& n) CVC4_EXPORT; } // namespace cvc5 -#endif /* CVC4__RATIONAL_H */ +#endif /* CVC5__RATIONAL_H */ diff --git a/src/util/real_algebraic_number_poly_imp.h b/src/util/real_algebraic_number_poly_imp.h index b376a236a..6b014830c 100644 --- a/src/util/real_algebraic_number_poly_imp.h +++ b/src/util/real_algebraic_number_poly_imp.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__REAL_ALGEBRAIC_NUMBER_H -#define CVC4__REAL_ALGEBRAIC_NUMBER_H +#ifndef CVC5__REAL_ALGEBRAIC_NUMBER_H +#define CVC5__REAL_ALGEBRAIC_NUMBER_H #include <vector> @@ -150,4 +150,4 @@ bool isOne(const RealAlgebraicNumber& ran); } // namespace cvc5 -#endif /* CVC4__REAL_ALGEBRAIC_NUMBER_H */ +#endif /* CVC5__REAL_ALGEBRAIC_NUMBER_H */ diff --git a/src/util/regexp.h b/src/util/regexp.h index 0f929ff9e..b0862e15a 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -14,8 +14,8 @@ #include "cvc4_public.h" -#ifndef CVC4__UTIL__REGEXP_H -#define CVC4__UTIL__REGEXP_H +#ifndef CVC5__UTIL__REGEXP_H +#define CVC5__UTIL__REGEXP_H #include <iosfwd> @@ -71,4 +71,4 @@ std::ostream& operator<<(std::ostream& os, const RegExpLoop& bv); } // namespace cvc5 -#endif /* CVC4__UTIL__REGEXP_H */ +#endif /* CVC5__UTIL__REGEXP_H */ diff --git a/src/util/resource_manager.h b/src/util/resource_manager.h index 64a94cdc9..787dd9a0a 100644 --- a/src/util/resource_manager.h +++ b/src/util/resource_manager.h @@ -18,8 +18,8 @@ #include "cvc4_public.h" -#ifndef CVC4__RESOURCE_MANAGER_H -#define CVC4__RESOURCE_MANAGER_H +#ifndef CVC5__RESOURCE_MANAGER_H +#define CVC5__RESOURCE_MANAGER_H #include <stdint.h> #include <chrono> @@ -208,4 +208,4 @@ class ResourceManager } // namespace cvc5 -#endif /* CVC4__RESOURCE_MANAGER_H */ +#endif /* CVC5__RESOURCE_MANAGER_H */ diff --git a/src/util/result.h b/src/util/result.h index 9fdd61792..b7cd1a6b6 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -16,8 +16,8 @@ #include "cvc4_public.h" -#ifndef CVC4__RESULT_H -#define CVC4__RESULT_H +#ifndef CVC5__RESULT_H +#define CVC5__RESULT_H #include <iosfwd> #include <string> @@ -162,4 +162,4 @@ bool operator!=(enum Result::Entailment e, const Result& r); } // namespace cvc5 -#endif /* CVC4__RESULT_H */ +#endif /* CVC5__RESULT_H */ diff --git a/src/util/roundingmode.h b/src/util/roundingmode.h index 2acc5a457..482e28781 100644 --- a/src/util/roundingmode.h +++ b/src/util/roundingmode.h @@ -13,8 +13,8 @@ **/ #include "cvc4_public.h" -#ifndef CVC4__ROUNDINGMODE_H -#define CVC4__ROUNDINGMODE_H +#ifndef CVC5__ROUNDINGMODE_H +#define CVC5__ROUNDINGMODE_H #include <fenv.h> diff --git a/src/util/safe_print.h b/src/util/safe_print.h index ca844ef73..92eaaaeff 100644 --- a/src/util/safe_print.h +++ b/src/util/safe_print.h @@ -34,8 +34,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__SAFE_PRINT_H -#define CVC4__SAFE_PRINT_H +#ifndef CVC5__SAFE_PRINT_H +#define CVC5__SAFE_PRINT_H #include <unistd.h> @@ -138,4 +138,4 @@ void safe_print_right_aligned(int fd, uint64_t i, ssize_t width); } // namespace cvc5 -#endif /* CVC4__SAFE_PRINT_H */ +#endif /* CVC5__SAFE_PRINT_H */ diff --git a/src/util/sampler.h b/src/util/sampler.h index 19ed68c0f..96dbf27e2 100644 --- a/src/util/sampler.h +++ b/src/util/sampler.h @@ -17,8 +17,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL_FLOATINGPOINT_SAMPLER_H -#define CVC4__UTIL_FLOATINGPOINT_SAMPLER_H +#ifndef CVC5__UTIL_FLOATINGPOINT_SAMPLER_H +#define CVC5__UTIL_FLOATINGPOINT_SAMPLER_H #include "util/floatingpoint.h" @@ -54,4 +54,4 @@ class Sampler } // namespace cvc5 -#endif /* CVC4__UTIL_FLOATINGPOINT_SAMPLER_H */ +#endif /* CVC5__UTIL_FLOATINGPOINT_SAMPLER_H */ diff --git a/src/util/sexpr.h b/src/util/sexpr.h index 3fcd398f7..7d76188bc 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -23,8 +23,8 @@ #include "cvc4_public.h" -#ifndef CVC4__SEXPR_H -#define CVC4__SEXPR_H +#ifndef CVC5__SEXPR_H +#define CVC5__SEXPR_H #include <iosfwd> #include <string> @@ -303,4 +303,4 @@ std::ostream& operator<<(std::ostream& out, PrettySExprs ps); } // namespace cvc5 -#endif /* CVC4__SEXPR_H */ +#endif /* CVC5__SEXPR_H */ diff --git a/src/util/smt2_quote_string.h b/src/util/smt2_quote_string.h index be2546053..487b10537 100644 --- a/src/util/smt2_quote_string.h +++ b/src/util/smt2_quote_string.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTIL__SMT2_QUOTE_STRING_H -#define CVC4__UTIL__SMT2_QUOTE_STRING_H +#ifndef CVC5__UTIL__SMT2_QUOTE_STRING_H +#define CVC5__UTIL__SMT2_QUOTE_STRING_H #include <string> @@ -30,4 +30,4 @@ std::string quoteSymbol(const std::string& s); } // namespace cvc5 -#endif /* CVC4__UTIL__SMT2_QUOTE_STRING_H */ +#endif /* CVC5__UTIL__SMT2_QUOTE_STRING_H */ diff --git a/src/util/statistics.h b/src/util/statistics.h index 8989cb60d..0f6c7c7b9 100644 --- a/src/util/statistics.h +++ b/src/util/statistics.h @@ -17,8 +17,8 @@ #include "cvc4_public.h" -#ifndef CVC4__STATISTICS_H -#define CVC4__STATISTICS_H +#ifndef CVC5__STATISTICS_H +#define CVC5__STATISTICS_H #include <iterator> #include <ostream> @@ -129,4 +129,4 @@ public: } // namespace cvc5 -#endif /* CVC4__STATISTICS_H */ +#endif /* CVC5__STATISTICS_H */ diff --git a/src/util/statistics_public.h b/src/util/statistics_public.h index c2d054f00..bc0882716 100644 --- a/src/util/statistics_public.h +++ b/src/util/statistics_public.h @@ -16,8 +16,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATISTICS_PUBLIC_H -#define CVC4__UTIL__STATISTICS_PUBLIC_H +#ifndef CVC5__UTIL__STATISTICS_PUBLIC_H +#define CVC5__UTIL__STATISTICS_PUBLIC_H namespace cvc5 { diff --git a/src/util/statistics_reg.h b/src/util/statistics_reg.h index e020a05b4..655d63a8c 100644 --- a/src/util/statistics_reg.h +++ b/src/util/statistics_reg.h @@ -16,8 +16,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATISTICS_REG_H -#define CVC4__UTIL__STATISTICS_REG_H +#ifndef CVC5__UTIL__STATISTICS_REG_H +#define CVC5__UTIL__STATISTICS_REG_H #include <iostream> #include <map> diff --git a/src/util/statistics_registry.h b/src/util/statistics_registry.h index 44f40d5d3..cf47bdf2e 100644 --- a/src/util/statistics_registry.h +++ b/src/util/statistics_registry.h @@ -81,8 +81,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__STATISTICS_REGISTRY_H -#define CVC4__STATISTICS_REGISTRY_H +#ifndef CVC5__STATISTICS_REGISTRY_H +#define CVC5__STATISTICS_REGISTRY_H #include <ctime> #include <iomanip> @@ -198,4 +198,4 @@ private: } // namespace cvc5 -#endif /* CVC4__STATISTICS_REGISTRY_H */ +#endif /* CVC5__STATISTICS_REGISTRY_H */ diff --git a/src/util/statistics_stats.h b/src/util/statistics_stats.h index 9757c31cc..97778bb5f 100644 --- a/src/util/statistics_stats.h +++ b/src/util/statistics_stats.h @@ -20,8 +20,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATISTICS_STATS_H -#define CVC4__UTIL__STATISTICS_STATS_H +#ifndef CVC5__UTIL__STATISTICS_STATS_H +#define CVC5__UTIL__STATISTICS_STATS_H #include <optional> diff --git a/src/util/statistics_value.h b/src/util/statistics_value.h index a272c7a05..67fd37118 100644 --- a/src/util/statistics_value.h +++ b/src/util/statistics_value.h @@ -24,8 +24,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATISTICS_VALUE_H -#define CVC4__UTIL__STATISTICS_VALUE_H +#ifndef CVC5__UTIL__STATISTICS_VALUE_H +#define CVC5__UTIL__STATISTICS_VALUE_H #include <chrono> #include <iomanip> diff --git a/src/util/stats_base.h b/src/util/stats_base.h index e59e6e57c..86a9321c0 100644 --- a/src/util/stats_base.h +++ b/src/util/stats_base.h @@ -16,8 +16,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATS_BASE_H -#define CVC4__UTIL__STATS_BASE_H +#ifndef CVC5__UTIL__STATS_BASE_H +#define CVC5__UTIL__STATS_BASE_H #include <iomanip> #include <sstream> diff --git a/src/util/stats_histogram.h b/src/util/stats_histogram.h index 5a8f21fe8..ba2135b58 100644 --- a/src/util/stats_histogram.h +++ b/src/util/stats_histogram.h @@ -16,8 +16,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATS_HISTOGRAM_H -#define CVC4__UTIL__STATS_HISTOGRAM_H +#ifndef CVC5__UTIL__STATS_HISTOGRAM_H +#define CVC5__UTIL__STATS_HISTOGRAM_H #include <map> #include <vector> diff --git a/src/util/stats_timer.h b/src/util/stats_timer.h index 92ea87b59..981c705f9 100644 --- a/src/util/stats_timer.h +++ b/src/util/stats_timer.h @@ -16,8 +16,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATS_TIMER_H -#define CVC4__UTIL__STATS_TIMER_H +#ifndef CVC5__UTIL__STATS_TIMER_H +#define CVC5__UTIL__STATS_TIMER_H #include <chrono> diff --git a/src/util/stats_utils.h b/src/util/stats_utils.h index 001a4cf82..8488f66cf 100644 --- a/src/util/stats_utils.h +++ b/src/util/stats_utils.h @@ -16,8 +16,8 @@ #include "cvc4_private_library.h" -#ifndef CVC4__UTIL__STATS_UTILS_H -#define CVC4__UTIL__STATS_UTILS_H +#ifndef CVC5__UTIL__STATS_UTILS_H +#define CVC5__UTIL__STATS_UTILS_H #include <iosfwd> diff --git a/src/util/string.h b/src/util/string.h index 6fc23f124..1df23b61a 100644 --- a/src/util/string.h +++ b/src/util/string.h @@ -14,8 +14,8 @@ #include "cvc4_public.h" -#ifndef CVC4__UTIL__STRING_H -#define CVC4__UTIL__STRING_H +#ifndef CVC5__UTIL__STRING_H +#define CVC5__UTIL__STRING_H #include <iosfwd> #include <string> @@ -277,4 +277,4 @@ std::ostream& operator<<(std::ostream& os, const String& s); } // namespace cvc5 -#endif /* CVC4__UTIL__STRING_H */ +#endif /* CVC5__UTIL__STRING_H */ diff --git a/src/util/tuple.h b/src/util/tuple.h index 5a3693691..3e6c0d677 100644 --- a/src/util/tuple.h +++ b/src/util/tuple.h @@ -16,8 +16,8 @@ #include "cvc4_public.h" -#ifndef CVC4__TUPLE_H -#define CVC4__TUPLE_H +#ifndef CVC5__TUPLE_H +#define CVC5__TUPLE_H #include <iostream> #include <vector> @@ -51,4 +51,4 @@ inline std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) { } // namespace cvc5 -#endif /* CVC4__TUPLE_H */ +#endif /* CVC5__TUPLE_H */ diff --git a/src/util/unsafe_interrupt_exception.h b/src/util/unsafe_interrupt_exception.h index 39817620d..876bec2c8 100644 --- a/src/util/unsafe_interrupt_exception.h +++ b/src/util/unsafe_interrupt_exception.h @@ -15,8 +15,8 @@ #include "cvc4_public.h" -#ifndef CVC4__UNSAFE_INTERRUPT_EXCEPTION_H -#define CVC4__UNSAFE_INTERRUPT_EXCEPTION_H +#ifndef CVC5__UNSAFE_INTERRUPT_EXCEPTION_H +#define CVC5__UNSAFE_INTERRUPT_EXCEPTION_H #include "base/exception.h" #include "cvc4_export.h" @@ -42,4 +42,4 @@ class CVC4_EXPORT UnsafeInterruptException : public cvc5::Exception } // namespace cvc5 -#endif /* CVC4__UNSAFE_INTERRUPT_EXCEPTION_H */ +#endif /* CVC5__UNSAFE_INTERRUPT_EXCEPTION_H */ diff --git a/src/util/utility.h b/src/util/utility.h index 133e51025..a11abe4e7 100644 --- a/src/util/utility.h +++ b/src/util/utility.h @@ -16,8 +16,8 @@ #include "cvc4_private.h" -#ifndef CVC4__UTILITY_H -#define CVC4__UTILITY_H +#ifndef CVC5__UTILITY_H +#define CVC5__UTILITY_H #include <algorithm> #include <fstream> @@ -79,4 +79,4 @@ std::unique_ptr<std::fstream> openTmpFile(std::string* pattern); } // namespace cvc5 -#endif /* CVC4__UTILITY_H */ +#endif /* CVC5__UTILITY_H */ |