general.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#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)
{
    if (denominator <= 0) {
        bb::assert_failure("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