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;