Home
last modified time | relevance | path

Searched refs:DomainT (Results 1 – 25 of 29) sorted by relevance

12

/third_party/boost/boost/icl/
Ddiscrete_interval.hpp26 template <class DomainT,
27 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
31 typedef discrete_interval<DomainT,Compare> type;
32 typedef DomainT domain_type;
33 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
34 typedef typename bounded_value<DomainT>::type bounded_domain_type;
42 : _lwb(identity_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) in discrete_interval()
45 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in discrete_interval()
46 BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); in discrete_interval()
47 BOOST_STATIC_ASSERT((icl::is_discrete<DomainT>::value)); in discrete_interval()
[all …]
Dcontinuous_interval.hpp26 template <class DomainT,
27 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
31 typedef continuous_interval<DomainT,Compare> type;
32 typedef DomainT domain_type;
33 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
34 typedef typename bounded_value<DomainT>::type bounded_domain_type;
42 : _lwb(identity_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) in continuous_interval()
45 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in continuous_interval()
46 BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); in continuous_interval()
47 BOOST_STATIC_ASSERT((icl::is_continuous<DomainT>::value)); in continuous_interval()
[all …]
Dclosed_interval.hpp19 template <class DomainT,
20 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
24 typedef closed_interval<DomainT,Compare> type;
25 typedef DomainT domain_type;
26 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
34 : _lwb(unit_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) in closed_interval()
36 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in closed_interval()
37 BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); in closed_interval()
38 BOOST_STATIC_ASSERT((icl::is_discrete<DomainT>::value)); in closed_interval()
44 explicit closed_interval(const DomainT& val) in closed_interval()
[all …]
Dleft_open_interval.hpp20 template <class DomainT,
21 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
25 typedef left_open_interval<DomainT,Compare> type;
26 typedef DomainT domain_type;
27 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
35 : _lwb(identity_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) in left_open_interval()
37 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in left_open_interval()
38 BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); in left_open_interval()
44 explicit left_open_interval(const DomainT& val) in left_open_interval()
45 : _lwb(predecessor<DomainT,domain_compare>::apply(val)), _upb(val) in left_open_interval()
[all …]
Dopen_interval.hpp21 template <class DomainT,
22 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
26 typedef open_interval<DomainT,Compare> type;
27 typedef DomainT domain_type;
28 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
36 : _lwb(identity_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) in open_interval()
38 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in open_interval()
39 BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); in open_interval()
45 explicit open_interval(const DomainT& val) in open_interval()
48 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in open_interval()
[all …]
Dright_open_interval.hpp21 template <class DomainT,
22 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
26 typedef right_open_interval<DomainT,Compare> type;
27 typedef DomainT domain_type;
28 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
36 : _lwb(identity_element<DomainT>::value()), _upb(identity_element<DomainT>::value()) in right_open_interval()
38 BOOST_CONCEPT_ASSERT((DefaultConstructibleConcept<DomainT>)); in right_open_interval()
39 BOOST_CONCEPT_ASSERT((LessThanComparableConcept<DomainT>)); in right_open_interval()
45 explicit right_open_interval(const DomainT& val) in right_open_interval()
46 : _lwb(val), _upb(icl::successor<DomainT,domain_compare>::apply(val)) in right_open_interval()
[all …]
Dseparate_interval_set.hpp22 typename DomainT,
23 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
24 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
28 public interval_base_set<separate_interval_set<DomainT,Compare,Interval,Alloc>,
29 DomainT,Compare,Interval,Alloc>
32 typedef separate_interval_set<DomainT,Compare,Interval,Alloc> type;
34 typedef interval_base_set<type,DomainT,Compare,Interval,Alloc> base_type;
39 typedef interval_set<DomainT,Compare,Interval,Alloc> joint_type;
42 typedef DomainT domain_type;
44 typedef DomainT codomain_type;
[all …]
Dinterval_set.hpp22 typename DomainT,
23 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
24 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
28 public interval_base_set<interval_set<DomainT,Compare,Interval,Alloc>,
29 DomainT,Compare,Interval,Alloc>
33 typedef interval_set<DomainT,Compare,Interval,Alloc> type;
36 typedef interval_base_set<type,DomainT,Compare,Interval,Alloc> base_type;
45 typedef DomainT domain_type;
47 typedef DomainT codomain_type;
50 typedef DomainT element_type;
[all …]
Dsplit_interval_set.hpp23 typename DomainT,
24 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
25 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
29 public interval_base_set<split_interval_set<DomainT,Compare,Interval,Alloc>,
30 DomainT,Compare,Interval,Alloc>
33 typedef split_interval_set<DomainT,Compare,Interval,Alloc> type;
34 typedef interval_base_set<type,DomainT,Compare,Interval,Alloc> base_type;
36 typedef interval_set<DomainT,Compare,Interval,Alloc> joint_type;
41 typedef DomainT domain_type;
43 typedef DomainT codomain_type;
[all …]
Dinterval.hpp21 …template <class DomainT, ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
24 typedef typename interval_type_default<DomainT,Compare>::type interval_type;
29 static inline interval_type open(const DomainT& low, const DomainT& up) in open()
41 static inline interval_type left_open(const DomainT& low, const DomainT& up) in left_open()
53 static inline interval_type right_open(const DomainT& low, const DomainT& up) in right_open()
65 static inline interval_type closed(const DomainT& low, const DomainT& up) in closed()
77 static inline interval_type construct(const DomainT& low, const DomainT& up) in construct()
81 static inline interval_type right_open(const DomainT& low, const DomainT& up) in right_open()
84 static inline interval_type left_open(const DomainT& low, const DomainT& up) in left_open()
87 static inline interval_type open(const DomainT& low, const DomainT& up) in open()
[all …]
Dsplit_interval_map.hpp24 typename DomainT,
27 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
30 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
34 …public interval_base_map<split_interval_map<DomainT,CodomainT,Traits,Compare,Combine,Section,Inter…
35 DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc>
39 … typedef split_interval_map<DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc> type;
40 …typedef interval_map<DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc> joint_…
44DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc> base_type;
46 typedef DomainT domain_type;
48 typedef ICL_INTERVAL_TYPE(Interval,DomainT,Compare) interval_type;
[all …]
Dinterval_map.hpp19 template<class DomainT, class CodomainT, class Traits,
28 typename DomainT,
31 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
34 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
39 …public interval_base_map<interval_map<DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Al…
40 DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc>
44 … typedef interval_map<DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc> type;
45 …typedef split_interval_map<DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc> split_…
49DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc> base_type;
51 typedef ICL_INTERVAL_TYPE(Interval,DomainT,Compare) interval_type;
[all …]
Dinterval_base_set.hpp46 typename DomainT,
47 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
48 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
57 typedef interval_base_set<SubType,DomainT,Compare,Interval,Alloc> type;
69 typedef DomainT domain_type;
71 typedef DomainT codomain_type;
74 typedef DomainT element_type;
77 typedef ICL_INTERVAL_TYPE(Interval,DomainT,Compare) interval_type;
95 typedef ICL_COMPARE_DOMAIN(Compare,DomainT) domain_compare;
107 typedef typename ICL_IMPL_SPACE::set<DomainT,domain_compare,Alloc<DomainT> > atomized_type;
[all …]
Dmap.hpp84 typename DomainT,
87 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
92 class map: private ICL_IMPL_SPACE::map<DomainT, CodomainT, ICL_COMPARE_DOMAIN(Compare,DomainT),
93 Alloc<std::pair<const DomainT, CodomainT> > >
96 typedef Alloc<typename std::pair<const DomainT, CodomainT> > allocator_type;
98 typedef typename icl::map<DomainT,CodomainT,Traits, Compare,Combine,Section,Alloc> type;
99 typedef typename ICL_IMPL_SPACE::map<DomainT, CodomainT, ICL_COMPARE_DOMAIN(Compare,DomainT),
105 typedef DomainT domain_type;
106 typedef typename boost::call_traits<DomainT>::param_type domain_param;
107 typedef DomainT key_type;
[all …]
Dinterval_base_map.hpp31 template<class DomainT, class CodomainT>
34 DomainT key;
39 mapping_pair(const DomainT& key_value, const CodomainT& data_value) in mapping_pair()
42 mapping_pair(const std::pair<DomainT,CodomainT>& std_pair) in mapping_pair()
50 typename DomainT,
53 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT),
56 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
65 typedef interval_base_map<SubType,DomainT,CodomainT,
82 typedef typename icl::map<DomainT,CodomainT,
89 typedef DomainT domain_type;
[all …]
Dinterval_bounds.hpp59 template<class DomainT>
63 typedef DomainT domain_type;
64 typedef bounded_value<DomainT> type;
/third_party/boost/boost/icl/type_traits/
Dsucc_pred.hpp23 template <class DomainT, bool increasing = true>
26 template <class DomainT>
27 struct successor<DomainT, true>
30 inline static DomainT apply(DomainT value){ return ++value; } in apply()
33 template <class DomainT>
34 struct successor<DomainT, false>
37 inline static DomainT apply(DomainT value){ return --value; } in apply()
40 template <class DomainT, bool increasing = true>
43 template <class DomainT>
44 struct predecessor<DomainT, true>
[all …]
Dinterval_type_default.hpp25 …template <class DomainT, ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(ICL_COMPARE_DEFAULT, DomainT)>
30 typename mpl::if_< is_discrete<DomainT>
32 , BOOST_ICL_DISCRETE_STATIC_INTERVAL_DEFAULT<DomainT,Compare>
34 , right_open_interval<DomainT,Compare>
38 , BOOST_ICL_CONTINUOUS_STATIC_INTERVAL_DEFAULT<DomainT,Compare>
40 , right_open_interval<DomainT,Compare>
45 typename mpl::if_< is_discrete<DomainT>
46 , discrete_interval<DomainT,Compare>
47 , continuous_interval<DomainT,Compare> >::type type;
Dis_increasing.hpp16 template <class DomainT, class Compare>
23 template <class DomainT>
24 struct is_increasing<DomainT, std::greater<DomainT> >
/third_party/boost/libs/icl/example/large_bitset_/
Dlarge_bitset.hpp40 typename DomainT = nat64,
42 ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(std::less, DomainT),
43 …ICL_INTERVAL(ICL_COMPARE) Interval = ICL_INTERVAL_INSTANCE(ICL_INTERVAL_DEFAULT, DomainT, Compare),
47 : boost::equality_comparable < large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
48 , boost::less_than_comparable< large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
50 , boost::addable < large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
51 , boost::orable < large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
52 , boost::subtractable < large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
53 , boost::andable < large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
54 , boost::xorable < large_bitset<DomainT,BitSetT,Compare,Interval,Alloc>
[all …]
/third_party/boost/boost/log/expressions/
Dkeyword.hpp131 template< typename DescriptorT, template< typename > class ActorT, typename DomainT >
132 struct protoify< boost::log::expressions::attribute_keyword< DescriptorT, ActorT >, DomainT >
143 template< typename DescriptorT, template< typename > class ActorT, typename DomainT >
144 struct protoify< boost::log::expressions::attribute_keyword< DescriptorT, ActorT >&, DomainT > :
145 public protoify< boost::log::expressions::attribute_keyword< DescriptorT, ActorT >, DomainT >
149 template< typename DescriptorT, template< typename > class ActorT, typename DomainT >
150 struct protoify< boost::log::expressions::attribute_keyword< DescriptorT, ActorT > const&, DomainT struct
151 public protoify< boost::log::expressions::attribute_keyword< DescriptorT, ActorT >, DomainT >
155 template< typename DescriptorT, template< typename > class ActorT, typename DomainT >
156 …reference_wrapper< boost::log::expressions::attribute_keyword< DescriptorT, ActorT > >, DomainT > :
[all …]
/third_party/boost/boost/icl/detail/
Delement_iterator.hpp79 template<class DomainT, ICL_COMPARE Compare, ICL_INTERVAL(ICL_COMPARE) Interval>
80 struct elemental<ICL_INTERVAL_TYPE(Interval,DomainT,Compare) >
82 typedef ICL_INTERVAL_TYPE(Interval,DomainT,Compare) segment_type;
84 typedef DomainT type;
85 typedef DomainT domain_type;
86 typedef DomainT codomain_type;
87 typedef DomainT transit_type;
90 template< class DomainT, class CodomainT,
92 struct elemental<std::pair<ICL_INTERVAL_TYPE(Interval,DomainT,Compare) const, CodomainT> >
94 typedef std::pair<ICL_INTERVAL_TYPE(Interval,DomainT,Compare), CodomainT> segment_type;
[all …]
/third_party/boost/libs/icl/doc/
Dinterface.qbk34 [[statically bounded] [asymmetric][__ro_itv__] [`<class DomainT, template<class>class Compar…
91 which is `interval<DomainT,Compare>::type`.
157 [/ CL [__itv__] [__itv__] [`<DomainT,Compare>`]]
158 [[__itv_bsets__][__itv_set__] [`<DomainT,Compare,IntervalT,Alloc>`]]
159 [[] [__sep_itv_set__][`<DomainT,Compare,IntervalT,Alloc>`]]
160 [[] [__spl_itv_set__][`<DomainT,Compare,IntervalT,Alloc>`]]
173 [[__itv__] [`DomainT`][`Compare = std::less`] [] []]
174 [[__itv_bsets__] [`DomainT`][`Compare = std::less`] [`IntervalT = interval<DomainT,Compa…
176 [/ [__icl_set__] [`DomainT`][`Compare = std::less`] [] [`All…
193 [[__itv_bmaps__][__itv_map__] [`<DomainT,CodomainT,Traits,Compare,Combine,Section,IntervalT,Allo…
[all …]
/third_party/boost/libs/icl/test/
Dtest_icl_interval_shared.hpp13 template <class DomainT, ICL_COMPARE Compare,
15 void test_inner_complement(const ICL_INTERVAL_TYPE(Interval,DomainT,Compare)& itv1, in test_inner_complement() argument
16 const ICL_INTERVAL_TYPE(Interval,DomainT,Compare)& itv2) in test_inner_complement()
18 typedef interval_set<DomainT,Compare,Interval> ItvSetT; in test_inner_complement()
19 typedef ICL_INTERVAL_TYPE(Interval,DomainT,Compare) IntervalT; in test_inner_complement()
60 typedef typename interval_traits<IntervalT>::domain_type DomainT; in test_inner_complement_() typedef
63 test_inner_complement<DomainT, std::less, IntervalT>(itv1, itv2); in test_inner_complement_()
/third_party/boost/boost/icl/concept/
Dinterval_associator.hpp226 typedef typename domain_type_of<Type>::type DomainT; in lower() typedef
229 ? unit_element<DomainT>::value() in lower()
238 typedef typename domain_type_of<Type>::type DomainT; in upper() typedef
241 ? identity_element<DomainT>::value() in upper()
253 typedef typename domain_type_of<Type>::type DomainT; in first() typedef
256 ? unit_element<DomainT>::value() in first()
267 typedef typename domain_type_of<Type>::type DomainT; in last() typedef
270 ? identity_element<DomainT>::value() in last()

12