Name	Size	Mode	Actions
exception_policy.hpp	761	0644	editdlrm
integer.hpp	678	0644	editdlrm
numeric.hpp	749	0644	editdlrm
promotion_policy.hpp	1252	0644	editdlrm
safe_numeric.hpp	876	0644	editdlrm

#ifndef BOOST_NUMERIC_CONCEPT_INTEGER_HPP #define BOOST_NUMERIC_CONCEPT_INTEGER_HPP // Copyright (c) 2012 Robert Ramey // // Distributed under the Boost Software License, Version 1.0. (See // accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) #include "numeric.hpp" namespace boost { namespace safe_numerics { template class Integer : public Numeric { // integer types must have the corresponding numeric trait. static_assert( std::numeric_limits::is_integer, "Fails to fulfill requirements for an integer type" ); }; } // safe_numerics } // boost #endif // BOOST_NUMERIC_CONCEPT_INTEGER_HPP