/usr/include/boost/math/tools/traits.hpp is in libboost1.46-dev 1.46.1-7ubuntu3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | // Copyright John Maddock 2007.
// Use, modification and distribution are subject to 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)
/*
This header defines two traits classes, both in namespace boost::math::tools.
is_distribution<D>::value is true iff D has overloaded "cdf" and
"quantile" functions, plus member typedefs value_type and policy_type.
It's not much of a definitive test frankly,
but if it looks like a distribution and quacks like a distribution
then it must be a distribution.
is_scaled_distribution<D>::value is true iff D is a distribution
as defined above, and has member functions "scale" and "location".
*/
#ifndef BOOST_STATS_IS_DISTRIBUTION_HPP
#define BOOST_STATS_IS_DISTRIBUTION_HPP
#ifdef _MSC_VER
#pragma once
#endif
#include <boost/mpl/has_xxx.hpp>
// should be the last #include
#include <boost/type_traits/detail/bool_trait_def.hpp>
namespace boost{ namespace math{ namespace tools{
namespace detail{
BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_value_type, value_type, true)
BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_policy_type, policy_type, true)
template<class D>
char cdf(const D& ...);
template<class D>
char quantile(const D& ...);
template <class D>
struct has_cdf
{
static D d;
BOOST_STATIC_CONSTANT(bool, value = sizeof(cdf(d, 0.0f)) != 1);
};
template <class D>
struct has_quantile
{
static D d;
BOOST_STATIC_CONSTANT(bool, value = sizeof(quantile(d, 0.0f)) != 1);
};
template <class D>
struct is_distribution_imp
{
BOOST_STATIC_CONSTANT(bool, value =
has_quantile<D>::value
&& has_cdf<D>::value
&& has_value_type<D>::value
&& has_policy_type<D>::value);
};
template <class sig, sig val>
struct result_tag{};
template <class D>
double test_has_location(const volatile result_tag<typename D::value_type (D::*)()const, &D::location>*);
template <class D>
char test_has_location(...);
template <class D>
double test_has_scale(const volatile result_tag<typename D::value_type (D::*)()const, &D::scale>*);
template <class D>
char test_has_scale(...);
template <class D, bool b>
struct is_scaled_distribution_helper
{
BOOST_STATIC_CONSTANT(bool, value = false);
};
template <class D>
struct is_scaled_distribution_helper<D, true>
{
BOOST_STATIC_CONSTANT(bool, value =
(sizeof(test_has_location<D>(0)) != 1)
&&
(sizeof(test_has_scale<D>(0)) != 1));
};
template <class D>
struct is_scaled_distribution_imp
{
BOOST_STATIC_CONSTANT(bool, value = (::boost::math::tools::detail::is_scaled_distribution_helper<D, ::boost::math::tools::detail::is_distribution_imp<D>::value>::value));
};
} // namespace detail
BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_distribution,T,::boost::math::tools::detail::is_distribution_imp<T>::value)
BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_scaled_distribution,T,::boost::math::tools::detail::is_scaled_distribution_imp<T>::value)
}}}
#endif
|