Home
last modified time | relevance | path

Searched refs:sK_v (Results 1 – 4 of 4) sorted by relevance

/third_party/boost/libs/icl/test/
Dtest_icl_quantifier_shared.hpp32 map_pair_a = sK_v(5,1); in make_3_icl_maps_and_derivatives_1()
33 map_pair_b = sK_v(9,1); in make_3_icl_maps_and_derivatives_1()
35 add(map_a, sK_v(3,1)); in make_3_icl_maps_and_derivatives_1()
36 add(map_a, sK_v(4,1)); in make_3_icl_maps_and_derivatives_1()
37 add(map_a, sK_v(5,1)); in make_3_icl_maps_and_derivatives_1()
38 add(map_a, sK_v(5,1)); in make_3_icl_maps_and_derivatives_1()
39 add(map_a, sK_v(6,1)); in make_3_icl_maps_and_derivatives_1()
40 add(map_a, sK_v(7,1)); in make_3_icl_maps_and_derivatives_1()
42 add(map_b, sK_v(2,1)); in make_3_icl_maps_and_derivatives_1()
43 add(map_b, sK_v(8,1)); in make_3_icl_maps_and_derivatives_1()
[all …]
Dtest_quantifier_icl_map.hpp32 typename MapT::value_type map_pair1 = sK_v(5,1); in itv_quantifier_check_monoid_plus_4_bicremental_types()
33 typename MapT::value_type map_pair2 = sK_v(9,3); in itv_quantifier_check_monoid_plus_4_bicremental_types()
57 typename MapT::value_type map_pair1 = sK_v(5,1); in itv_quantifier_check_monoid_et_4_bicremental_types()
58 typename MapT::value_type map_pair2 = sK_v(9,3); in itv_quantifier_check_monoid_et_4_bicremental_types()
85 typename MapT::value_type map_pair1 = sK_v(5,1); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
86 typename MapT::value_type map_pair2 = sK_v(9,3); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
110 typename MapT::value_type map_pair1 = sK_v(5,1); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
111 typename MapT::value_type map_pair2 = sK_v(9,3); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
138 typename MapT::value_type map_pair1 = sK_v(5,1); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
139 typename MapT::value_type map_pair2 = sK_v(9,3); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
[all …]
Dtest_interval_map_shared.hpp1418 vec[0]=sK_v(1,1);vec[1]=sK_v(2,1);vec[2]=sK_v(3,1);vec[3]=sK_v(6,2);vec[4]=sK_v(7,2); in interval_map_element_iter_4_discrete_types()
1419 cev[0]=sK_v(7,2);cev[1]=sK_v(6,2);cev[2]=sK_v(3,1);cev[3]=sK_v(2,1);cev[4]=sK_v(1,1); in interval_map_element_iter_4_discrete_types()
Dtest_value_maker.hpp191 #define sK_v(key,val) map_val<IntervalMapT>::std_pair(key,val) macro