Bounded.hpp File Reference

Specify compile-time bounds on integers. More...

#include <type_traits>
#include <cassert>
#include <stdexcept>
#include "utils.hpp"

Go to the source code of this file.

Classes
struct	sanisizer::Bounded< Integer_, max_ >
	Bound the maximum possible value of an integer. More...
struct	sanisizer::is_Bounded< Value_ >
struct	sanisizer::is_Bounded< Bounded< Integer_, max_ > >

Namespaces
namespace	sanisizer
	Sanitize sizes to avoid integer overflow.

Functions
template<typename Max_ , Max_ new_max_, typename Value_ >
constexpr auto	sanisizer::set_bound (Value_ x)
template<typename MaxType_ , typename Value_ >
constexpr auto	sanisizer::set_bound_by_type (Value_ x)
template<typename Max_ , Max_ new_max_, typename Value_ >
constexpr auto	sanisizer::set_bound_unsafe (Value_ x)
template<typename MaxType_ , typename Value_ >
constexpr auto	sanisizer::set_bound_by_type_unsafe (Value_ x)

Detailed Description

Specify compile-time bounds on integers.