From ef9b789745a5542fdd3b7c6b101dea9f127cd711 Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Tue, 19 Mar 2024 11:12:03 -0700 Subject: [PATCH] Remove unused code --- Internal.h | 28 ---------------------------- 1 file changed, 28 deletions(-) diff --git a/Internal.h b/Internal.h index a14912f..d6a3e53 100644 --- a/Internal.h +++ b/Internal.h @@ -397,34 +397,6 @@ inline uint32_t Arbitrary::bounded(uint32_t s) { // ==================== END ARBITRARY IMPL ==================== -// ==================== BEGIN UTILITIES IMPL ==================== - -// Call Stepwise::step for each element of remaining until it returns true. -// Applies a permutation to `remaining` as a side effect. -template void runInterleaved(std::span remaining) { - while (remaining.size() > 0) { - for (int i = 0; i < int(remaining.size());) { - bool done = remaining[i].step(); - if (done) { - if (i != int(remaining.size()) - 1) { - using std::swap; - swap(remaining[i], remaining.back()); - } - remaining = remaining.subspan(0, remaining.size() - 1); - } else { - ++i; - } - } - } -}; - -template void runSequential(std::span remaining) { - for (auto &r : remaining) { - while (!r.step()) { - } - } -} - struct ReferenceImpl { explicit ReferenceImpl(int64_t oldestVersion) : oldestVersion(oldestVersion) { writeVersionMap[""] = oldestVersion;