constraints.cuh

Go to the documentation of this file.

// SPDX-License-Identifier: Apache-2.0
 
#pragma once
#include <cstddef>
#include <type_traits>
 
namespace fss {

template <typename In, int in_bits>
concept ValidForInputBits =
    in_bits >= 1 &&
    !std::is_same_v<std::remove_cv_t<In>, bool> &&
    (std::is_unsigned_v<In> || std::is_same_v<In, __uint128_t>) &&
    in_bits <= sizeof(In) * 8;
 
}  // namespace fss