general.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
 
#include "barretenberg/common/assert.hpp"
#include <type_traits>
namespace bb::numeric {
 
template <typename T> constexpr T ceil_div(const T& numerator, const T& denominator)
{
    ASSERT_IN_CONSTEXPR(denominator > 0, "Denominator must be greater than zero.");
    static_assert(std::is_integral_v<T>, "Type must be an integral type.");
    return (numerator + denominator - 1) / denominator;
}
 
} // namespace bb::numeric