Home
last modified time | relevance | path

Searched refs:segmental (Results 1 – 12 of 12) sorted by relevance

/third_party/boost/libs/icl/test/
Dtest_quantifier_icl_map.hpp28 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_monoid_plus_4_bicremental_types()
29 segmental::atomize(map_b, itv_map_b); in itv_quantifier_check_monoid_plus_4_bicremental_types()
30 segmental::atomize(map_c, itv_map_c); in itv_quantifier_check_monoid_plus_4_bicremental_types()
53 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_monoid_et_4_bicremental_types()
54 segmental::atomize(map_b, itv_map_b); in itv_quantifier_check_monoid_et_4_bicremental_types()
55 segmental::atomize(map_c, itv_map_c); in itv_quantifier_check_monoid_et_4_bicremental_types()
81 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
82 segmental::atomize(map_b, itv_map_b); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
83 segmental::atomize(map_c, itv_map_c); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
106 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
[all …]
Dtest_set_icl_set.hpp28 segmental::atomize(set_a, itv_set_a); in itl_set_check_monoid_plus_4_bicremental_types()
29 segmental::atomize(set_b, itv_set_b); in itl_set_check_monoid_plus_4_bicremental_types()
30 segmental::atomize(set_c, itv_set_c); in itl_set_check_monoid_plus_4_bicremental_types()
51 segmental::atomize(set_a, itv_set_a); in itl_set_check_monoid_et_4_bicremental_types()
52 segmental::atomize(set_b, itv_set_b); in itl_set_check_monoid_et_4_bicremental_types()
53 segmental::atomize(set_c, itv_set_c); in itl_set_check_monoid_et_4_bicremental_types()
78 segmental::atomize(set_a, itv_set_a); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
79 segmental::atomize(set_b, itv_set_b); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
80 segmental::atomize(set_c, itv_set_c); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
101 segmental::atomize(set_a, itv_set_a); in itl_set_check_abelian_monoid_et_4_bicremental_types()
[all …]
Dtest_icl_map.hpp33 segmental::atomize(map_a, itv_map_a); in icl_map_contains_4_bicremental_types()
63 segmental::atomize(map_a, itv_map_a); in icl_map_find_4_bicremental_types()
103 segmental::atomize(map_a, itv_map_a); in icl_map_inclusion_compare_4_bicremental_types()
104 segmental::atomize(map_b, itv_map_b); in icl_map_inclusion_compare_4_bicremental_types()
105 segmental::atomize(map_c, itv_map_c); in icl_map_inclusion_compare_4_bicremental_types()
106 segmental::atomize(map_sub_a, itv_map_sub_a); in icl_map_inclusion_compare_4_bicremental_types()
/third_party/boost/boost/icl/detail/
Dinterval_morphism.hpp21 namespace segmental namespace
56 segmental::atomize(atomized, clustered); in operator ()()
65 segmental::cluster(clustered, atomized); in operator ()()
95 inline std::string binary_template_to_string<segmental::atomizer>::apply() { return "@"; } in apply()
97 inline std::string binary_template_to_string<segmental::clusterer>::apply() { return "&"; } in apply()
99 inline std::string binary_template_to_string<segmental::joiner>::apply() { return "j"; } in apply()
101 …inline std::string binary_template_to_string<segmental::identity_absorber>::apply() { return "a0";… in apply()
Dinterval_map_algo.hpp29 using namespace segmental;
Dinterval_set_algo.hpp222 namespace segmental namespace
367 using namespace segmental;
/third_party/boost/boost/icl/
Dinterval_map.hpp156 return segmental::join_neighbours(*this, it_); in handle_inserted()
161 if(prior_ != this->_map.end() && segmental::joinable(*this, prior_, it_)) in handle_inserted()
162 segmental::join_on_right(*this, prior_, it_); in handle_inserted()
171 segmental::join_left(*this, it_); in handle_left_combined()
180 segmental::join_neighbours(*this, it_); in handle_combined()
192 segmental::join_neighbours(*this, it_); in handle_preceeded_combined()
201 segmental::join_right(*this, next_); in handle_succeeded_combined()
205 segmental::join_left(*this, it_); in handle_succeeded_combined()
206 segmental::join_neighbours(*this, next_); in handle_succeeded_combined()
214 segmental::join_right(*this, insertion_); in handle_reinserted()
[all …]
Dinterval_set.hpp175 return segmental::join_neighbours(*this, it_); in handle_inserted()
180 iterator joined_ = segmental::join_under(*this, addend, last_); in add_over()
181 return segmental::join_neighbours(*this, joined_); in add_over()
186 iterator joined_ = segmental::join_under(*this, addend); in add_over()
187 return segmental::join_neighbours(*this, joined_); in add_over()
Dseparate_interval_set.hpp167 return segmental::join_under(*this, addend, last_); in add_over()
172 return segmental::join_under(*this, addend); in add_over()
/third_party/boost/boost/icl/concept/
Dinterval_associator_base.hpp120 if( segmental::is_joinable<Type>(it_, next_) ) in join()
127 && segmental::is_joinable<Type>(it_, next_) ) in join()
Djoinable.hpp17 namespace segmental namespace
/third_party/boost/libs/icl/doc/
Dicl.qbk211 [def __bi_iterative__ ['*segmental*]]
212 [def __iterative__ segmental]