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
|
//
// Copyright (c) 2010 by Rutger ter Borg
//
// 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)
//
#ifndef BOOST_NUMERIC_BINDINGS_HAS_STATIC_SIZE_HPP
#define BOOST_NUMERIC_BINDINGS_HAS_STATIC_SIZE_HPP
#include <boost/numeric/bindings/detail/property_map.hpp>
#include <boost/numeric/bindings/tag.hpp>
#include <boost/mpl/count_if.hpp>
#include <boost/mpl/equal_to.hpp>
namespace boost {
namespace numeric {
namespace bindings {
namespace detail {
template< typename T >
struct is_static_size_property: mpl::false_ {};
template< int N, int M >
struct is_static_size_property< mpl::pair< tag::size_type<N>, mpl::int_<M> > >: mpl::true_ {};
} // namespace detail
template< typename T, typename Enable = void >
struct has_static_size: mpl::false_ {};
template< typename T >
struct has_static_size<
T,
typename boost::enable_if< detail::is_adaptable<T> >::type >:
// count the number of static size properties,
// should be equal to the rank of the object
mpl::equal_to<
mpl::count_if<
typename detail::property_map_of< T >::type,
detail::is_static_size_property< mpl::_ >
>,
typename detail::property_at< T, tag::entity >::type
>::type {};
} // namespace bindings
} // namespace numeric
} // namespace boost
#endif
|
