StaticLoop.h

Go to the documentation of this file.

//===-- StaticLoop.h -------------------------------------------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2026 Project LLZK
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
 
#pragma once
 
#include <cstdint>
 
namespace llzk::polymorphic {
inline bool hasNextStaticIteration(int64_t current, int64_t upper, int64_t step) {
  return uint64_t(upper) - uint64_t(current) > uint64_t(step);
}
} // namespace llzk::polymorphic