FM / type_traits

/usr/include/boost/icl/type_traits

Name	Size	Mode	Actions
absorbs_identities.hpp	815	0644	edit dl rm
adds_inversely.hpp	998	0644	edit dl rm
codomain_type_of.hpp	1837	0644	edit dl rm
difference.hpp	701	0644	edit dl rm
difference_type_of.hpp	3343	0644	edit dl rm
domain_type_of.hpp	1442	0644	edit dl rm
element_type_of.hpp	2959	0644	edit dl rm
has_inverse.hpp	1041	0644	edit dl rm
has_set_semantics.hpp	1328	0644	edit dl rm
identity_element.hpp	1093	0644	edit dl rm
infinity.hpp	4499	0644	edit dl rm
interval_type_default.hpp	2095	0644	edit dl rm
interval_type_of.hpp	1467	0644	edit dl rm
is_associative_element_container.hpp	1139	0644	edit dl rm
is_asymmetric_interval.hpp	1819	0644	edit dl rm
is_combinable.hpp	18014	0644	edit dl rm
is_concept_equivalent.hpp	1345	0644	edit dl rm
is_container.hpp	1952	0644	edit dl rm
is_continuous.hpp	933	0644	edit dl rm
is_continuous_interval.hpp	866	0644	edit dl rm
is_discrete.hpp	2109	0644	edit dl rm
is_discrete_interval.hpp	858	0644	edit dl rm
is_element_container.hpp	1781	0644	edit dl rm
is_icl_container.hpp	1177	0644	edit dl rm
is_increasing.hpp	978	0644	edit dl rm
is_interval.hpp	5823	0644	edit dl rm
is_interval_container.hpp	1486	0644	edit dl rm
is_interval_joiner.hpp	849	0644	edit dl rm
is_interval_separator.hpp	861	0644	edit dl rm
is_interval_splitter.hpp	857	0644	edit dl rm
is_key_container_of.hpp	2879	0644	edit dl rm
is_map.hpp	800	0644	edit dl rm
is_numeric.hpp	2859	0644	edit dl rm
is_set.hpp	869	0644	edit dl rm
is_total.hpp	780	0644	edit dl rm
no_type.hpp	654	0644	edit dl rm
predicate.hpp	1480	0644	edit dl rm
rep_type_of.hpp	2162	0644	edit dl rm
segment_type_of.hpp	1454	0644	edit dl rm
size.hpp	693	0644	edit dl rm
size_type_of.hpp	2189	0644	edit dl rm
succ_pred.hpp	2365	0644	edit dl rm
to_string.hpp	1441	0644	edit dl rm
type_to_string.hpp	3494	0644	edit dl rm
unit_element.hpp	1519	0644	edit dl rm
value_size.hpp	1685	0644	edit dl rm

Edit: /usr/include/boost/icl/type_traits/is_discrete.hpp (2109B)

/*-----------------------------------------------------------------------------+    
Copyright (c) 2008-2009: Joachim Faulhaber
+------------------------------------------------------------------------------+
   Distributed under the Boost Software License, Version 1.0.
      (See accompanying file LICENCE.txt or copy at
           http://www.boost.org/LICENSE_1_0.txt)
+-----------------------------------------------------------------------------*/
#ifndef BOOST_ICL_TYPE_TRAITS_IS_DISCRETE_HPP_JOFA_100410
#define BOOST_ICL_TYPE_TRAITS_IS_DISCRETE_HPP_JOFA_100410

#include <string>
#include <boost/config.hpp> // For macro BOOST_STATIC_CONSTANT
#include <boost/mpl/and.hpp>
#include <boost/mpl/not.hpp>

#ifdef BOOST_MSVC 
#pragma warning(push)
#pragma warning(disable:4913) // user defined binary operator ',' exists but no overload could convert all operands, default built-in binary operator ',' used
#endif

#include <boost/detail/is_incrementable.hpp>

#ifdef BOOST_MSVC
#pragma warning(pop)
#endif

#include <boost/type_traits/is_integral.hpp>
#include <boost/type_traits/is_floating_point.hpp>
#include <boost/icl/type_traits/rep_type_of.hpp>
#include <boost/icl/type_traits/is_numeric.hpp>

namespace boost{ namespace icl
{
    template <class Type> struct is_discrete
    {
        typedef is_discrete type;
        BOOST_STATIC_CONSTANT(bool, 
            value = 
                (mpl::and_
                 < 
                     boost::detail::is_incrementable<Type>
                   , mpl::or_
                     < 
                         mpl::and_
                         <
                             mpl::not_<has_rep_type<Type> >
                           , is_non_floating_point<Type>
                         >
                       , mpl::and_
                         <
                             has_rep_type<Type>
                           , is_discrete<typename rep_type_of<Type>::type>
                         >
                     >
                 >::value
                )
            );
    };

}} // namespace boost icl

#endif

cmd: