From 9dcb32a0084a702459eb26b4b024cec05af4f970 Mon Sep 17 00:00:00 2001
From: Douglas Rumbaugh <dbr4@psu.edu>
Date: Tue, 20 May 2025 17:10:06 -0400
Subject: updates

---
 chapters/beyond-dsp.tex | 56 ++++++++++++++++++++++++++-----------------------
 1 file changed, 30 insertions(+), 26 deletions(-)

(limited to 'chapters/beyond-dsp.tex')

diff --git a/chapters/beyond-dsp.tex b/chapters/beyond-dsp.tex
index b94221f..38a99c5 100644
--- a/chapters/beyond-dsp.tex
+++ b/chapters/beyond-dsp.tex
@@ -871,9 +871,9 @@ this information during reconstruction.
 
 template <typename SHARD>
 concept ShardInterface = RecordInterface<typename SHARD::RECORD> 
-  && requires(SHARD shard, const std::vector<SHARD *> &shard_vector,
-              bool b, BufferView<typename SHARD::RECORD> bv,
-              typename SHARD::RECORD rec) {
+&& requires(SHARD shard, const std::vector<SHARD *> &shard_vector,
+            bool b, BufferView<typename SHARD::RECORD> bv,
+            typename SHARD::RECORD rec) {
   {SHARD(shard_vector)};
   {SHARD(std::move(bv))};
 
@@ -940,39 +940,43 @@ or duplicate effort in the combine step on each repetition.
 
 template <typename QUERY, typename SHARD,
           typename RESULT = typename QUERY::ResultType,
-          typename LOCAL_RESULT = typename QUERY::LocalResultType,
+          typename LOCAL_RESULT =
+                   typename QUERY::LocalResultType,
           typename PARAMETERS = typename QUERY::Parameters,
           typename LOCAL = typename QUERY::LocalQuery,
-          typename LOCAL_BUFFER = typename QUERY::LocalQueryBuffer>
+          typename LOCAL_BUFFER =
+                   typename QUERY::LocalQueryBuffer>
 concept QueryInterface =
-    requires(PARAMETERS *parameters, LOCAL *local, LOCAL_BUFFER *buffer_query,
-             SHARD *shard, std::vector<LOCAL *> &local_queries,
-             std::vector<LOCAL_RESULT> &local_results, RESULT &result,
-             BufferView<typename SHARD::RECORD> *bv) {
-      {
-        QUERY::local_preproc(shard, parameters)
-      } -> std::convertible_to<LOCAL *>;
+requires(PARAMETERS *parameters, LOCAL *local,
+         LOCAL_BUFFER *buffer_query, SHARD *shard,
+         std::vector<LOCAL *> &local_queries,
+         std::vector<LOCAL_RESULT> &local_results,
+         RESULT &result,
+         BufferView<typename SHARD::RECORD> *bv) {
 
-      {
-        QUERY::local_preproc_buffer(bv, parameters)
-      } -> std::convertible_to<LOCAL_BUFFER *>;
+  { QUERY::local_preproc(shard, parameters)
+  } -> std::convertible_to<LOCAL *>;
 
-      { QUERY::distribute_query(parameters, local_queries, buffer_query) };
+  { QUERY::local_preproc_buffer(bv, parameters)
+  } -> std::convertible_to<LOCAL_BUFFER *>;
 
-      { QUERY::local_query(shard, local) } -> std::convertible_to<LOCAL_RESULT>;
+  { QUERY::distribute_query(parameters, local_queries,
+                            buffer_query) };
 
-      {
-        QUERY::local_query_buffer(buffer_query)
-      } -> std::convertible_to<LOCAL_RESULT>;
+  { QUERY::local_query(shard, local) 
+  }  -> std::convertible_to<LOCAL_RESULT>;
 
-      { QUERY::combine(local_results, parameters, result) };
+  { QUERY::local_query_buffer(buffer_query)
+  } -> std::convertible_to<LOCAL_RESULT>;
 
-      {
-        QUERY::repeat(parameters, result, local_queries, buffer_query)
-      } -> std::same_as<bool>;
+  { QUERY::combine(local_results, parameters, result) };
 
-      { QUERY::EARLY_ABORT } -> std::convertible_to<bool>;
-    };
+  { QUERY::repeat(parameters, result, local_queries,
+                  buffer_query)
+  } -> std::same_as<bool>;
+
+  { QUERY::EARLY_ABORT } -> std::convertible_to<bool>;
+};
 \end{lstlisting}
 
 \label{listing:query}
-- 
cgit v1.2.3

