Searched refs:map_pair_b (Results 1 – 1 of 1) sorted by relevance
| /third_party/boost/libs/icl/test/ |
| D | test_icl_quantifier_shared.hpp | 27 std::pair<T,U>& map_pair_b, in make_3_icl_maps_and_derivatives_1() argument
33 map_pair_b = sK_v(9,1); in make_3_icl_maps_and_derivatives_1()
83 std::pair<T,U> map_pair_a, map_pair_b; in icl_quantifier_check_monoid_plus_4_bicremental_types() local
84 make_3_icl_maps_and_derivatives_1(map_a, map_b, map_c, map_pair_a, map_pair_b, &aux); in icl_quantifier_check_monoid_plus_4_bicremental_types()
86 CHECK_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_monoid_plus_4_bicremental_types()
87 CHECK_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_monoid_plus_4_bicremental_types()
106 std::pair<T,U> map_pair_a, map_pair_b; in icl_quantifier_check_monoid_et_4_bicremental_types() local
107 make_3_icl_maps_and_derivatives_1(map_a, map_b, map_c, map_pair_a, map_pair_b, &aux); in icl_quantifier_check_monoid_et_4_bicremental_types()
109 CHECK_MONOID_INSTANCE_WRT(et) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_monoid_et_4_bicremental_types()
110 CHECK_MONOID_INSTANCE_WRT(caret)(map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_monoid_et_4_bicremental_types()
[all …]
|