| /third_party/boost/boost/icl/detail/ |
| D | interval_map_algo.hpp | 31 template<class IntervalMapT>
32 bool is_joinable(const IntervalMapT& container, in is_joinable()
33 typename IntervalMapT::const_iterator first, in is_joinable()
34 typename IntervalMapT::const_iterator past) in is_joinable()
39 typename IntervalMapT::const_iterator it_ = first, next_ = first; in is_joinable()
42 const typename IntervalMapT::codomain_type& co_value in is_joinable()
43 = icl::co_value<IntervalMapT>(first); in is_joinable()
46 if(icl::co_value<IntervalMapT>(next_) != co_value) in is_joinable()
48 if(!icl::touches(key_value<IntervalMapT>(it_++), in is_joinable()
49 key_value<IntervalMapT>(next_++))) in is_joinable()
[all …]
|
| /third_party/boost/libs/icl/test/ |
| D | test_interval_map_shared.hpp | 24 typedef IntervalMap<T,U> IntervalMapT; in interval_map_fundamentals_4_ordered_types() typedef
25 typedef typename IntervalMapT::interval_type IntervalT; in interval_map_fundamentals_4_ordered_types()
26 typedef typename IntervalMapT::size_type size_T; in interval_map_fundamentals_4_ordered_types()
47 BOOST_CHECK_EQUAL(IntervalMapT().empty(), true); in interval_map_fundamentals_4_ordered_types()
48 BOOST_CHECK_EQUAL(icl::is_empty(IntervalMapT()), true); in interval_map_fundamentals_4_ordered_types()
49 BOOST_CHECK_EQUAL(cardinality(IntervalMapT()), boost::icl::identity_element<size_T>::value()); in interval_map_fundamentals_4_ordered_types()
50 BOOST_CHECK_EQUAL(IntervalMapT().size(), boost::icl::identity_element<size_T>::value()); in interval_map_fundamentals_4_ordered_types()
51 BOOST_CHECK_EQUAL(icl::size(IntervalMapT()), boost::icl::identity_element<size_T>::value()); in interval_map_fundamentals_4_ordered_types()
52 BOOST_CHECK_EQUAL(interval_count(IntervalMapT()), 0); in interval_map_fundamentals_4_ordered_types()
53 BOOST_CHECK_EQUAL(IntervalMapT().iterative_size(), 0); in interval_map_fundamentals_4_ordered_types()
[all …]
|
| D | test_interval_quantifier_shared.hpp | 29 typedef IntervalMap<T,U,Trt> IntervalMapT; in make_3_itv_maps_and_derivatives_1() typedef
54 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_monoid_plus_4_bicremental_types() typedef
55 IntervalMapT map_a, map_b, map_c; in itv_quantifier_check_monoid_plus_4_bicremental_types()
56 typename IntervalMapT::interval_mapping_type val_pair; in itv_quantifier_check_monoid_plus_4_bicremental_types()
76 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_monoid_et_4_bicremental_types() typedef
77 IntervalMapT map_a, map_b, map_c; in itv_quantifier_check_monoid_et_4_bicremental_types()
78 typename IntervalMapT::interval_mapping_type val_pair; in itv_quantifier_check_monoid_et_4_bicremental_types()
101 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types() typedef
102 IntervalMapT map_a, map_b, map_c; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
103 typename IntervalMapT::interval_mapping_type val_pair; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
[all …]
|
| D | test_quantifier_map_shared.hpp | 19 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_monoid_plus_4_bicremental_types() typedef
21 IntervalMapT map_a, map_b, map_c; in itv_quantifier_check_monoid_plus_4_bicremental_types()
26 typename IntervalMapT::interval_mapping_type val_pair = IDv(6,9,1); in itv_quantifier_check_monoid_plus_4_bicremental_types()
38 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_monoid_et_4_bicremental_types() typedef
40 IntervalMapT map_a, map_b, map_c; in itv_quantifier_check_monoid_et_4_bicremental_types()
45 typename IntervalMapT::interval_mapping_type val_pair = IDv(6,9,1); in itv_quantifier_check_monoid_et_4_bicremental_types()
60 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types() typedef
62 IntervalMapT map_a, map_b, map_c; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
67 typename IntervalMapT::interval_mapping_type val_pair = IDv(6,9,1); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
79 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_abelian_monoid_et_4_bicremental_types() typedef
[all …]
|
| D | test_icl_quantifier_shared.hpp | 30 typedef IntervalMap<T,U,Trt> IntervalMapT; in make_3_icl_maps_and_derivatives_1() typedef
79 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_quantifier_check_monoid_plus_4_bicremental_types() typedef
81 IntervalMapT aux; in icl_quantifier_check_monoid_plus_4_bicremental_types()
102 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_quantifier_check_monoid_et_4_bicremental_types() typedef
104 IntervalMapT aux; in icl_quantifier_check_monoid_et_4_bicremental_types()
128 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_quantifier_check_abelian_monoid_plus_4_bicremental_types() typedef
130 IntervalMapT aux; in icl_quantifier_check_abelian_monoid_plus_4_bicremental_types()
151 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_quantifier_check_abelian_monoid_et_4_bicremental_types() typedef
153 IntervalMapT aux; in icl_quantifier_check_abelian_monoid_et_4_bicremental_types()
177 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types() typedef
[all …]
|
| D | test_quantifier_icl_map.hpp | 19 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_monoid_plus_4_bicremental_types() typedef
22 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_monoid_plus_4_bicremental_types()
44 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_monoid_et_4_bicremental_types() typedef
47 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_monoid_et_4_bicremental_types()
72 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types() typedef
75 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
97 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_abelian_monoid_et_4_bicremental_types() typedef
100 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
125 typedef IntervalMap<T,U,Trt> IntervalMapT; in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types() typedef
128 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
[all …]
|
| D | test_interval_map_mixed.hpp | 19 typedef interval_map<T,U> IntervalMapT; in interval_map_mixed_ctor_4_ordered_types() typedef
28 IntervalMapT join_map(split_map); in interval_map_mixed_ctor_4_ordered_types()
37 typedef interval_map<T,U> IntervalMapT; in interval_map_mixed_equal_4_ordered_types() typedef
44 IntervalMapT join_empty, join_single(mapping_pair<T,U>(v0,u1)); in interval_map_mixed_equal_4_ordered_types()
83 typedef interval_map<T,U> IntervalMapT; in interval_map_mixed_assign_4_ordered_types() typedef
94 IntervalMapT join_map; in interval_map_mixed_assign_4_ordered_types()
103 IntervalMapT join_self = IntervalMapT().add(v1_u1); in interval_map_mixed_assign_4_ordered_types()
115 typedef interval_map<T,U> IntervalMapT; in interval_map_mixed_ctor_4_bicremental_types() typedef
117 typedef typename IntervalMapT::interval_type IntervalT; in interval_map_mixed_ctor_4_bicremental_types()
138 IntervalMapT join_map(split_map); in interval_map_mixed_ctor_4_bicremental_types()
[all …]
|
| D | test_value_maker.hpp | 186 #define IIv(low,up,val) map_val<IntervalMapT>::mk_segment(I_I(low,up), val)
187 #define IDv(low,up,val) map_val<IntervalMapT>::mk_segment(I_D(low,up), val)
188 #define CIv(low,up,val) map_val<IntervalMapT>::mk_segment(C_I(low,up), val)
189 #define CDv(low,up,val) map_val<IntervalMapT>::mk_segment(C_D(low,up), val)
190 #define K_v(key,val) map_val<IntervalMapT>::map_pair(key,val)
191 #define sK_v(key,val) map_val<IntervalMapT>::std_pair(key,val)
193 #define MK_seg(itv,val) map_val<IntervalMapT>::mk_segment(itv, val)
|
| D | test_icl_map.hpp | 24 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_map_contains_4_bicremental_types() typedef
29 IntervalMapT itv_map_a; in icl_map_contains_4_bicremental_types()
56 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_map_find_4_bicremental_types() typedef
59 IntervalMapT itv_map_a; in icl_map_find_4_bicremental_types()
88 typedef IntervalMap<T,U,Trt> IntervalMapT; in icl_map_inclusion_compare_4_bicremental_types() typedef
92 IntervalMapT itv_map_sub_a, itv_map_a, itv_map_super_a, in icl_map_inclusion_compare_4_bicremental_types()
|
| D | test_functions.hpp | 56 typedef IntervalMap<T,U,Trt> IntervalMapT; in test_interval_map_copy_via_inserter() typedef
57 IntervalMapT looped_copied_map; in test_interval_map_copy_via_inserter()
|
| /third_party/boost/libs/icl/test/test_interval_map_infix_mixed_/ |
| D | test_interval_map_infix_mixed.cpp | 34 typedef interval_map<T,U> IntervalMapT; in BOOST_AUTO_TEST_CASE_TEMPLATE() typedef
47 typedef interval_map<T,U> IntervalMapT; in BOOST_AUTO_TEST_CASE_TEMPLATE() typedef
60 typedef interval_map<T,U> IntervalMapT; in BOOST_AUTO_TEST_CASE_TEMPLATE() typedef
80 typedef interval_map<T,U> IntervalMapT; in BOOST_AUTO_TEST_CASE_TEMPLATE() typedef
|
| /third_party/boost/boost/icl/type_traits/ |
| D | is_combinable.hpp | 388 template<class GuideT, class IntervalMapT>
391 typedef combines_right_to_interval_map<GuideT, IntervalMapT> type;
393 (is_concept_compatible<is_interval_map, GuideT, IntervalMapT>::value) );
|