Home
last modified time | relevance | path

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

12

/third_party/boost/boost/icl/detail/
Ddesign_config.hpp61 # define ICL_COMBINE_CODOMAIN(itl_combine, codomain_type) itl_combine<codomain_type> argument
62 # define ICL_COMBINE_INSTANCE(combine_instance,codomain_type) combine_instance argument
65 # define ICL_COMBINE_CODOMAIN(itl_combine, codomain_type) itl_combine argument
66 # define ICL_COMBINE_INSTANCE(combine_instance,codomain_type) combine_instance<codomain_type> argument
73 # define ICL_SECTION_CODOMAIN(itl_intersect, codomain_type) itl_intersect<codomain_type> argument
74 # define ICL_SECTION_INSTANCE(section_instance,codomain_type) section_instance argument
77 # define ICL_SECTION_CODOMAIN(itl_intersect, codomain_type) itl_intersect argument
78 # define ICL_SECTION_INSTANCE(section_instance,codomain_type) section_instance<codomain_type> argument
Don_absorbtion.hpp21 typedef typename Type::codomain_type codomain_type; typedef
23 static bool is_absorbable(const codomain_type&){ return false; } in is_absorbable()
30 typedef typename Type::codomain_type codomain_type; typedef
33 static bool is_absorbable(const codomain_type& co_value) in is_absorbable()
Delement_iterator.hpp86 typedef DomainT codomain_type; typedef
98 typedef CodomainT codomain_type; typedef
111 typedef domain_type codomain_type; typedef
121 typedef CodomainT codomain_type; typedef
122 typedef std::pair<domain_type, codomain_type> type;
123 typedef mapped_reference<domain_type, codomain_type> transit_type;
145 typedef DomainT codomain_type; typedef
170 typedef CodomainT codomain_type; typedef
197 typedef domain_type codomain_type; typedef
222 typedef CodomainT codomain_type; typedef
[all …]
Dsubset_comparer.hpp71 typedef typename LeftT::codomain_type LeftCodomainT; in apply()
72 typedef typename RightT::codomain_type RightCodomainT; in apply()
Dmap_algo.hpp48 && (*iter_).second == identity_element<typename MapT::codomain_type>::value()) in next_proton()
Dinterval_subset_comparer.hpp69 typedef typename LeftT::codomain_type LeftCodomainT; in apply()
70 typedef typename RightT::codomain_type RightCodomainT; in apply()
Dinterval_morphism.hpp29 … typename IntervalContainerT::codomain_type coval = icl::co_value<IntervalContainerT>(itv_); in atomize()
Dinterval_map_algo.hpp42 const typename IntervalMapT::codomain_type& co_value in is_joinable()
/third_party/boost/boost/icl/
Dmap.hpp108 typedef CodomainT codomain_type; typedef in boost::icl::map
119 <has_set_semantics<codomain_type>
133 total_invertible = (mpl::and_<is_total<type>, has_inverse<codomain_type> >::value));
153 && has_inverse<codomain_type>::value));
276 codomain_type operator()(const domain_type& key)const in operator ()()
279 return it==end() ? identity_element<codomain_type>::value() in operator ()()
469 const typename Type::codomain_type& ) in subtract()
470 { (*it_).second = identity_element<typename Type::codomain_type>::value(); } in subtract()
477 const typename Type::codomain_type& ) in subtract()
486 const typename Type::codomain_type& co_value) in subtract()
[all …]
Dinterval_base_map.hpp92 typedef CodomainT codomain_type; typedef in boost::icl::interval_base_map
94 typedef mapping_pair<domain_type,codomain_type> domain_mapping_type;
125 <has_set_semantics<codomain_type>
144 typedef Alloc<std::pair<const interval_type, codomain_type> >
148 typedef ICL_IMPL_SPACE::map<interval_type,codomain_type,
191 && has_inverse<codomain_type>::value));
296 codomain_type operator()(const domain_type& key_value)const in operator ()()
299 return it_==end() ? identity_element<codomain_type>::value() in operator ()()
554 const codomain_type& co_val ) in gap_insert()
565 const codomain_type& co_val ) in add_at()
[all …]
Dinterval_map.hpp57 typedef typename base_type::codomain_type codomain_type; typedef in boost::icl::interval_map
220 const interval_type& end_gap, const codomain_type& co_val) in gap_insert_at()
Dsplit_interval_map.hpp47 typedef CodomainT codomain_type; typedef in boost::icl::split_interval_map
173 const interval_type& end_gap, const codomain_type& co_val) in gap_insert_at()
Dseparate_interval_set.hpp44 typedef DomainT codomain_type; typedef in boost::icl::separate_interval_set
Dinterval_set.hpp47 typedef DomainT codomain_type; typedef in boost::icl::interval_set
Dsplit_interval_set.hpp43 typedef DomainT codomain_type; typedef in boost::icl::split_interval_set
/third_party/boost/boost/icl/concept/
Dinterval_set_value.hpp22 inline typename enable_if<is_interval_set<Type>, typename Type::codomain_type>::type
25 typedef typename Type::codomain_type codomain_type; in co_value() typedef
26 return icl::is_empty(*value_)? codomain_type() : (*value_).lower(); in co_value()
Dmap_value.hpp29 inline typename enable_if<is_map<Type>, const typename Type::codomain_type>::type&
38 const typename Type::codomain_type& co_val) in make_value()
Dinterval_map.hpp513 typedef typename Type::codomain_type codomain_type; in flip() typedef
517 (*it_).second = identity_element<codomain_type>::value(); in flip()
/third_party/boost/libs/icl/test/
Dtest_value_maker.hpp129 typedef typename ItvMapT::codomain_type codomain_type; typedef
134 typedef std::pair<domain_type, codomain_type> std_pair_type;
138 return segment_type(inter_val, test_value<codomain_type>::make(val)); in mk_segment()
157 test_value<codomain_type>::make(val)); in map_pair()
163 test_value<codomain_type>::make(val)); in std_pair()
/third_party/boost/libs/icl/doc/
Dfunctions_selection.qbk20 [[`codomain_type& operator[] (const domain_type&)`] [ ] [ ] [ ] [__Olgn…
21 [[`codomain_type operator() (const domain_type&)const`] [ ] [__Olgn__] [ ] [__Olgn…
49 [[`codomain_type& operator[]`\n
51 … A pair `std::pair(x,codomain_type())` will be inserted, of `x` is not found in the map.] ]
52 [[`codomain_type operator()`\n
Dfunctions_intersection.qbk35 if it exists for the Map's codomain_type.
37 If the codomain_type has no intersection operation, associated
/third_party/boost/boost/icl/type_traits/
Dcodomain_type_of.hpp21 BOOST_MPL_HAS_XXX_TRAIT_DEF(codomain_type)
41 typedef typename Type::codomain_type type;
Dis_combinable.hpp39 (boost::is_same<typename LeftT::codomain_type,
40 typename RightT::codomain_type>::value)
/third_party/boost/libs/icl/example/splititvmap_shell_/
Dsplititvmap_shell.cpp54 typename MapTV::codomain_type in mapTestShell()
55 val = typename MapTV::codomain_type(); in mapTestShell()
/third_party/boost/libs/icl/test/test_type_traits_/
Dtest_type_traits.cpp106 BOOST_CHECK((boost::is_same<MapII::codomain_type, int>::value)); in BOOST_AUTO_TEST_CASE()

12