Home
last modified time | relevance | path

Searched refs:Concept (Results 1 – 25 of 311) sorted by relevance

12345678910>>...13

/third_party/boost/boost/type_erasure/detail/
Daccess.hpp32 template<class Concept, class T>
35 template<class Concept, class T>
38 template<class Concept>
51 template<class Concept, class T>
52 static const ::boost::type_erasure::binding<Concept>&
53 table(const ::boost::type_erasure::param<Concept, T>& arg) in table()
57 template<class Concept, class T>
58 static const ::boost::type_erasure::binding<Concept>&
59 table(const ::boost::type_erasure::param<Concept, T&>& arg) in table()
64 template<class Concept, class T>
[all …]
Dinstantiate.hpp60 template<class Concept, class Map>
68 Concept
72 ::boost::type_erasure::detail::normalize_concept_t<Concept>
76 #define BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map) \ argument
77 ((void)(typename ::boost::type_erasure::detail::make_instantiate_concept<Concept, Map> \
80 #define BOOST_TYPE_ERASURE_INSTANTIATE1(Concept, P0, T0) \ argument
82 Concept, ::boost::mpl::map1< ::boost::mpl::pair<P0, T0> > > \
90 template<class Concept>
93 Concept>::type normalized;
99 #define BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map) \
[all …]
Dnormalize.hpp284 template<class Concept, class Out = ::boost::mpl::pair< ::boost::mpl::set0<>, ::boost::mpl::map0<> …
287 typedef typename ::boost::mpl::eval_if< ::boost::mpl::is_sequence<Concept>,
288 … ::boost::mpl::fold<Concept, Out, normalize_concept_impl< ::boost::mpl::_2, ::boost::mpl::_1> >,
289 ::boost::type_erasure::detail::insert_concept<Out, Concept>
325 template<class Concept>
329 typename normalize_concept_impl<Concept>::type::second
335 template<class Concept>
338 typedef typename normalize_concept_impl<Concept>::type impl;
354 ::boost::type_erasure::is_relaxed<Concept>,
368 class Concept,
[all …]
Dmember11.hpp40 template<class P, template<class ...> class interface, class Sig, class Concept, class Base, class …
43 interface<Sig, Concept, Base, const ID>,
46 interface<Sig, Concept, Base, ID>
102 template<class Concept, class Base, class ID>
119 template<class Sig, class Concept, class Base, class ID, class Enable = void>\
122 template<class R, class... A, class Concept, class Base, class ID, class V> \
123 struct concept_name ## _member_interface<R(A...), Concept, Base, ID, V> : Base\
127 { return ::boost::type_erasure::call(Concept(), *this, std::forward<A>(a)...); }\
130 template<class R, class... A, class Concept, class Base, class ID> \
131 struct concept_name ## _member_interface<R(A...), Concept, Base, ID, \
[all …]
Dcheck_map.hpp38 template<class Concept, class Map>
41 typedef typename normalize_concept<Concept>::basic basic_components;
55 Concept>::type placeholder_subs;
80 ::boost::type_erasure::detail::normalize_concept_t<Concept>
86 Concept>::type placeholder_subs;
108 template<class Concept, class Map>
109 struct check_map<Concept, ::boost::type_erasure::static_binding<Map> > :
110 check_map<Concept, Map>
/third_party/boost/boost/type_erasure/
Dany_cast.hpp34 template<class Concept, class T>
35 void* get_pointer(::boost::type_erasure::any<Concept, T>& arg) in get_pointer() argument
40 template<class Concept, class T>
41 const void* get_pointer(const ::boost::type_erasure::any<Concept, T>& arg) in get_pointer() argument
46 template<class Concept, class T>
47 void* get_pointer(::boost::type_erasure::any<Concept, T&>& arg) in get_pointer() argument
52 template<class Concept, class T>
53 void* get_pointer(const ::boost::type_erasure::any<Concept, T&>& arg) in get_pointer() argument
58 template<class Concept, class T>
59 const void* get_pointer(::boost::type_erasure::any<Concept, const T&>& arg) in get_pointer() argument
[all …]
Dparam.hpp32 template<class Concept, class T>
35 template<class Concept>
119 template<class Concept, class T>
131 param(any<Concept, U>& a in param() argument
141 param(const any<Concept, U>& a in param() argument
155 param(any<Concept, U>&& a in param() argument
171 const ::boost::type_erasure::binding<Concept>& table) in param()
176 any<Concept, T> get() const { return _impl; } in get()
178 any<Concept, T> _impl;
183 template<class Concept, class T>
[all …]
Dcall.hpp47 template<class Concept, class Placeholder>
50 template<class Concept>
84 template<class Concept, class T>
86 convert_arg(any_base<any<Concept, const T&> >& arg, boost::mpl::true_) in convert_arg() argument
98 template<class Concept, class T>
100 convert_arg(const any_base<any<Concept, T&> >& arg, boost::mpl::true_) in convert_arg() argument
105 template<class Concept, class T>
107 convert_arg(const any_base<any<Concept, const T&> >& arg, boost::mpl::true_) in convert_arg() argument
112 template<class Concept, class T>
114 convert_arg(param<Concept, T>& arg, boost::mpl::true_) in convert_arg() argument
[all …]
Dtuple.hpp31 template<class Concept, class... T>
49 template<int N, class Concept, class... T>
50 any<Concept, TN>& get(tuple<Concept, T...>& arg);
52 template<int N, class Concept, class... T>
53 const any<Concept, TN>& get(const tuple<Concept, T...>& arg);
76 template<class Concept, class... T>
79 template<class Concept>
80 struct cons<Concept>
86 template<class Concept, class T0, class... T>
87 struct cons<Concept, T0, T...>
[all …]
Dany.hpp78 template<class Concept, class Base, class ID>
81 typedef ::boost::type_erasure::concept_interface<Concept, Base, ID> type;
88 template<class Concept, class Base, class ID>
89 using apply = ::boost::type_erasure::concept_interface<Concept, Base, ID>;
94 template<class Concept, class Base, class ID>
97 typedef decltype(boost_type_erasure_find_interface(::boost::declval<Concept>())) finder;
98 typedef typename finder::template apply<Concept, Base, ID> type;
105 template<class Derived, class Concept, class T>
110 Concept
126 template<class Concept, class Base>
[all …]
Dconcept_of.hpp21 template<class Concept, class T>
24 template<class Concept, class T>
48 template<class Concept, class T>
49 struct concept_of< ::boost::type_erasure::any<Concept, T> >
51 typedef Concept type;
55 template<class Concept, class T>
56 struct concept_of< ::boost::type_erasure::param<Concept, T> >
58 typedef Concept type;
Drequire_match.hpp36 template<class Concept>
54 template<class Concept, class Op, class... U>
55 void require_match(const binding<Concept>& binding_arg, const Op& f, U&&... args);
69 template<class Concept, class Op, class... U>
72 const ::boost::type_erasure::binding<Concept>& table, in require_match_impl()
81 template<class Concept, class Op, class... U>
84 const ::boost::type_erasure::binding<Concept>&, in require_match_impl()
109 template<class Concept, class Op, class... U>
111 const ::boost::type_erasure::binding<Concept>& table, in require_match()
115 ::boost::type_erasure::is_relaxed<Concept> cond; in require_match()
[all …]
Dcheck_match.hpp41 template<class Concept>
67 template<class Concept, class T>
71 ::boost::type_erasure::is_relaxed<Concept>
86 template<class Concept, class Op, class... U>
87 bool check_match(const binding<Concept>& binding_arg, const Op& f, U&&... args);
101 template<class Concept, class R>
102 bool check_table(const ::boost::type_erasure::binding<Concept>* /*t*/, R(*)()) in check_table() argument
107 template<class Concept, class R, class T0, class... T, class U0, class... U>
109 const ::boost::type_erasure::binding<Concept>* t, in check_table()
120 ::boost::type_erasure::detail::should_check<Concept, t0>())) in check_table()
[all …]
Dbinding.hpp68 template<class Concept>
72 Concept>::type normalized;
79 Concept
88 binding() { BOOST_MPL_ASSERT((::boost::type_erasure::is_relaxed<Concept>)); } in binding()
99 BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map), in binding()
113 BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map), in binding()
132 ::boost::type_erasure::detail::check_map<Concept, Map>, in binding()
133 ::boost::type_erasure::is_subconcept<Concept, Concept2, Map> in binding() argument
141 ::boost::type_erasure::detail::can_optimize_conversion<Concept2, Concept, Map>() in binding()
159 ::boost::type_erasure::detail::check_map<Concept, Map>, in binding()
[all …]
Dplaceholder_of.hpp19 template<class Concept, class T>
22 template<class Concept, class T>
46 template<class Concept, class T>
47 struct placeholder_of< ::boost::type_erasure::any<Concept, T> >
53 template<class Concept, class T>
54 struct placeholder_of< ::boost::type_erasure::param<Concept, T> >
Dtypeid_of.hpp32 template<class Concept, class T>
33 const std::type_info& typeid_of(const any<Concept, T>& arg) in typeid_of() argument
45 template<class Concept, class T>
46 const std::type_info& typeid_of(const param<Concept, T>& arg) in typeid_of() argument
61 template<class T, class Concept>
62 const std::type_info& typeid_of(const binding<Concept>& binding_arg) in typeid_of()
Ddynamic_any_cast.hpp194 template<class R, class Concept, class Tag>
195 R dynamic_any_cast(const any<Concept, Tag>& arg) in dynamic_any_cast() argument
201 template<class R, class Concept, class Tag>
202 R dynamic_any_cast(any<Concept, Tag>& arg) in dynamic_any_cast() argument
209 template<class R, class Concept, class Tag>
210 R dynamic_any_cast(any<Concept, Tag>&& arg) in dynamic_any_cast() argument
217 template<class R, class Concept, class Tag, class Map>
218 R dynamic_any_cast(const any<Concept, Tag>& arg, const static_binding<Map>& map) in dynamic_any_cast() argument
223 template<class R, class Concept, class Tag, class Map>
224 R dynamic_any_cast(any<Concept, Tag>& arg, const static_binding<Map>& map) in dynamic_any_cast() argument
[all …]
/third_party/boost/boost/poly_collection/
Dany_collection_fwd.hpp23 template<typename Concept> struct any_model;
26 template<typename Concept>
28 typename detail::any_model<Concept>::value_type;
31 typename Concept,
32 typename Allocator=std::allocator<any_collection_value_type<Concept>>
36 template<typename Concept,typename Allocator>
38 const any_collection<Concept,Allocator>& x,
39 const any_collection<Concept,Allocator>& y);
41 template<typename Concept,typename Allocator>
43 const any_collection<Concept,Allocator>& x,
[all …]
Dany_collection.hpp25 template<typename Concept,typename Allocator>
27 public common_impl::poly_collection<detail::any_model<Concept>,Allocator>
30 detail::any_model<Concept>,Allocator>;
49 template<typename Concept,typename Allocator>
51 const any_collection<Concept,Allocator>& x, in operator ==() argument
52 const any_collection<Concept,Allocator>& y) in operator ==()
57 template<typename Concept,typename Allocator>
59 const any_collection<Concept,Allocator>& x, in operator !=() argument
60 const any_collection<Concept,Allocator>& y) in operator !=()
65 template<typename Concept,typename Allocator>
[all …]
/third_party/boost/boost/hana/detail/
Dhas_common_embedding.hpp22 template <template <typename...> class Concept, typename T, typename U, typename = void>
25 template <template <typename...> class Concept, typename T, typename U>
26 struct has_common_embedding_impl<Concept, T, U, detail::void_t<
31 Concept<T>::value &&
32 Concept<U>::value &&
33 Concept<Common>::value &&
45 template <template <typename...> class Concept, typename T, typename U>
46 using has_common_embedding = typename has_common_embedding_impl<Concept, T, U>::type;
48 template <template <typename...> class Concept, typename T, typename U>
50 : has_common_embedding_impl<Concept, T, U>
[all …]
/third_party/boost/libs/hana/include/boost/hana/detail/
Dhas_common_embedding.hpp22 template <template <typename...> class Concept, typename T, typename U, typename = void>
25 template <template <typename...> class Concept, typename T, typename U>
26 struct has_common_embedding_impl<Concept, T, U, detail::void_t<
31 Concept<T>::value &&
32 Concept<U>::value &&
33 Concept<Common>::value &&
45 template <template <typename...> class Concept, typename T, typename U>
46 using has_common_embedding = typename has_common_embedding_impl<Concept, T, U>::type;
48 template <template <typename...> class Concept, typename T, typename U>
50 : has_common_embedding_impl<Concept, T, U>
[all …]
/third_party/boost/libs/geometry/doc/generated/
Darithmetic.qbk31 [[Type] [Concept] [Name] [Description] ]
32 [[Point1 &] [Any type fulfilling a Point Concept ] [p1] [first point ]]
33 [[Point2 const &] [Any type fulfilling a Point Concept ] [p2] [second point ]]
62 [[Type] [Concept] [Name] [Description] ]
63 [[Point &] [Any type fulfilling a Point Concept ] [p] [point ]]
96 [[Type] [Concept] [Name] [Description] ]
97 [[Point1 &] [Any type fulfilling a Point Concept ] [p1] [first point ]]
98 [[Point2 const &] [Any type fulfilling a Point Concept ] [p2] [second point ]]
127 [[Type] [Concept] [Name] [Description] ]
128 [[Point &] [Any type fulfilling a Point Concept ] [p] [point ]]
[all …]
Denvelope.qbk31 [[Type] [Concept] [Name] [Description] ]
32 [[Geometry const &] [Any type fulfilling a Geometry Concept ] [geometry] [A model of the specified …
33 [[Box &] [Any type fulfilling a Box Concept ] [mbr] [A model of the specified Box Concept which is …
34 [[Strategy const &] [Any type fulfilling a Envelope Strategy Concept ] [strategy] [The strategy whi…
70 [[Type] [Concept] [Name] [Description] ]
71 [[Geometry const &] [Any type fulfilling a Geometry Concept ] [geometry] [A model of the specified …
72 [[Box &] [Any type fulfilling a Box Concept ] [mbr] [A model of the specified Box Concept which is …
108 [[Type] [Concept] [Name] [Description] ]
109 [[Box] [Any type fulfilling a Box Concept ] [ - ] [Must be specified]]
110 [[Geometry const &] [Any type fulfilling a Geometry Concept ] [geometry] [A model of the specified …
[all …]
Dcentroid.qbk31 [[Type] [Concept] [Name] [Description] ]
32 [[Geometry const &] [Any type fulfilling a Geometry Concept ] [geometry] [A model of the specified …
33 [[Point &] [Any type fulfilling a Point Concept ] [c] [A model of the specified Point Concept which…
34 [[Strategy const &] [Any type fulfilling a Centroid Strategy Concept ] [strategy] [The strategy whi…
69 [[Type] [Concept] [Name] [Description] ]
70 [[Geometry const &] [Any type fulfilling a Geometry Concept ] [geometry] [A model of the specified …
71 [[Point &] [Any type fulfilling a Point Concept ] [c] [The calculated centroid will be assigned to …
108 [[Type] [Concept] [Name] [Description] ]
109 [[Point] [Any type fulfilling a Point Concept ] [ - ] [Must be specified]]
110 [[Geometry const &] [Any type fulfilling a Geometry Concept ] [geometry] [A model of the specified …
[all …]
/third_party/boost/boost/poly_collection/detail/
Dany_model.hpp46 template<typename Concept>
53 template<typename Concept,typename Concept2,typename T>
55 type_erasure::any<Concept2,T>,any_model<Concept>,
67 template<typename Concept,typename T>
71 Concept
78 template<typename Concept,typename T>
80 type_erasure::any<Concept,T>,any_model_enable_if_has_typeid_<Concept,T>
91 template<typename Concept>
96 type_erasure::is_subconcept<type_erasure::typeid_<>,Concept>::value,
97 Concept,
[all …]

12345678910>>...13