From fbe42b10928bff0c8d3fda21c81451edee336ca8 Mon Sep 17 00:00:00 2001
From: bt <bt@gh.com>
Date: Mon, 3 Mar 2025 21:59:40 +0800
Subject: [PATCH] Refactoring EquationArray concepts

---
 src/day7.cpp | 21 ++++-----------------
 1 file changed, 4 insertions(+), 17 deletions(-)

diff --git a/src/day7.cpp b/src/day7.cpp
index 6871a7b..f5f09cf 100644
--- a/src/day7.cpp
+++ b/src/day7.cpp
@@ -24,26 +24,13 @@ template<typename T>
 concept IsEquation = std::is_same_v<T, Equation>;
 
 template<typename T>
-concept EquationArrayContainer = requires(T a)
+concept EquationArray = requires(T a)
 {
-    requires IsEquation<std::iter_value_t<decltype(std::begin(a))>>;
-    requires std::forward_iterator<decltype(std::begin(a))>;
-    requires std::forward_iterator<decltype(std::end(a))>;
+    requires IsEquation<std::iter_value_t<decltype(std::begin(std::declval<T&>()))>>;
+    requires std::forward_iterator<decltype(std::begin(std::declval<T&>()))>;
+    requires std::forward_iterator<decltype(std::end(std::declval<T&>()))>;
 };
 
-template<typename T>
-concept EquationPointerArray = std::is_pointer_v<T> && IsEquation<std::remove_pointer_t<T>>;
-
-template<typename T>
-concept EquationBoundedArray = std::is_bounded_array_v<T> && requires(T a)
-{
-    requires IsEquation<std::remove_cvref_t<decltype(a[0])>>;
-};
-
-template<typename T>
-concept EquationArray = EquationArrayContainer<T> || EquationPointerArray<T> || EquationBoundedArray<T>;
-
-
 // TODO: replace the function with std::from_chairs, that becomes constexpr in C++23.
 [[nodiscard]] constexpr std::pair<int64_t, size_t> parseNumber(std::string_view str) noexcept {
     constexpr auto char_to_int = [](char c) {