Home
last modified time | relevance | path

Searched refs:MK_v (Results 1 – 10 of 10) sorted by relevance

/third_party/boost/libs/icl/test/
Dtest_interval_set_shared.hpp570 BOOST_CHECK_EQUAL(set_b + MK_v(4), MK_v(4) + set_b); in interval_set_infix_plus_overload_4_bicremental_types()
589 BOOST_CHECK_EQUAL(set_b | MK_v(4), MK_v(4) | set_b); in interval_set_infix_pipe_overload_4_bicremental_types()
609 BOOST_CHECK_EQUAL(set_b - MK_v(4), (MK_v(4) + set_b) - MK_v(4)); in interval_set_infix_minus_overload_4_bicremental_types()
628 BOOST_CHECK_EQUAL(set_b & MK_v(4), MK_v(4) & set_b); in interval_set_infix_et_overload_4_bicremental_types()
648 BOOST_CHECK_EQUAL(set_b ^ MK_v(4), MK_v(4) ^ set_b); in interval_set_infix_caret_overload_4_bicremental_types()
662 typename IntervalSetT::const_iterator found = set_a.find(MK_v(6)); in interval_set_find_4_bicremental_types()
666 found = set_a.find(MK_v(5)); in interval_set_find_4_bicremental_types()
670 c_iterator found1 = set_a.find(MK_v(6)); in interval_set_find_4_bicremental_types()
671 c_iterator found2 = icl::find(set_a, MK_v(6)); in interval_set_find_4_bicremental_types()
677 found1 = set_a.find(MK_v(5)); in interval_set_find_4_bicremental_types()
[all …]
Dtest_icl_interval.hpp81 BOOST_CHECK_EQUAL( icl::cardinality(IntervalT(MK_v(3))), s_1 ); in singelizable_interval_4_bicremental_types()
82 BOOST_CHECK_EQUAL( icl::size(IntervalT(MK_v(4))), s_1 ); in singelizable_interval_4_bicremental_types()
83 BOOST_CHECK_EQUAL( icl::singleton<IntervalT>(MK_v(2)), icl::singleton<IntervalT>(MK_v(2)) ); in singelizable_interval_4_bicremental_types()
84 BOOST_CHECK_EQUAL( icl::contains(IntervalT(MK_v(1)), MK_v(1)), true ); in singelizable_interval_4_bicremental_types()
100 BOOST_CHECK_EQUAL( icl::contains(icl::detail::unit_trail<IntervalT>(MK_v(4)), MK_v(4)), true ); in coverable_asymmetric_interval_4_bicremental_types()
101 BOOST_CHECK_EQUAL( icl::length (icl::detail::unit_trail<IntervalT>(MK_v(3))), d_1 ); in coverable_asymmetric_interval_4_bicremental_types()
102 … ( icl::touches (icl::detail::unit_trail<IntervalT>(MK_v(2)), icl::detail::unit_trail<IntervalT>(M… in coverable_asymmetric_interval_4_bicremental_types()
Dtest_set_icl_set.hpp32 T val1 = MK_v(7); in itl_set_check_monoid_plus_4_bicremental_types()
33 T val2 = MK_v(5); in itl_set_check_monoid_plus_4_bicremental_types()
55 T val1 = MK_v(7); in itl_set_check_monoid_et_4_bicremental_types()
56 T val2 = MK_v(5); in itl_set_check_monoid_et_4_bicremental_types()
82 T val1 = MK_v(7); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
83 T val2 = MK_v(5); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
105 T val1 = MK_v(7); in itl_set_check_abelian_monoid_et_4_bicremental_types()
106 T val2 = MK_v(5); in itl_set_check_abelian_monoid_et_4_bicremental_types()
132 T val1 = MK_v(7); in itl_set_check_partial_invertive_monoid_plus_4_bicremental_types()
133 T val2 = MK_v(5); in itl_set_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_icl_map.hpp35 BOOST_CHECK_EQUAL( contains(map_a, MK_v(3)), true ); in icl_map_contains_4_bicremental_types()
36 BOOST_CHECK_EQUAL( within(MK_v(3), map_a), true ); in icl_map_contains_4_bicremental_types()
38 map_element_type key_value_pair(MK_v(6), MK_u(3)); in icl_map_contains_4_bicremental_types()
65 typename MapT::const_iterator found = map_a.find(MK_v(6)); in icl_map_find_4_bicremental_types()
68 BOOST_CHECK_EQUAL( map_a(MK_v(6)), MK_u(3) ); in icl_map_find_4_bicremental_types()
70 found = map_a.find(MK_v(5)); in icl_map_find_4_bicremental_types()
73 BOOST_CHECK_EQUAL( map_a(MK_v(5)), MK_u(0) ); in icl_map_find_4_bicremental_types()
98 itv_map_c.erase(MK_v(7)).add(IIv(11,11,2)); in icl_map_inclusion_compare_4_bicremental_types()
166 map_element_type kv_6_3(MK_v(6), MK_u(3)); in icl_map_move_4_discrete_types()
Dtest_interval_map_shared.hpp460 BOOST_CHECK_EQUAL( icl::contains(itv_map, MK_v(3)), true ); in interval_map_contains_4_bicremental_types()
464 BOOST_CHECK_EQUAL( icl::contains(IntervalMapT().add(K_v(3,1)), MK_v(3)), true ); in interval_map_contains_4_bicremental_types()
504 BOOST_CHECK_EQUAL( icl::contains(itv_map, MK_v(0)), false ); in interval_map_contains_key_objects_4_bicremental_types()
505 BOOST_CHECK_EQUAL( icl::contains(itv_map, MK_v(2)), true ); in interval_map_contains_key_objects_4_bicremental_types()
506 BOOST_CHECK_EQUAL( icl::contains(itv_map, MK_v(3)), false ); in interval_map_contains_key_objects_4_bicremental_types()
1010 BOOST_CHECK_EQUAL(map_b - MK_v(8), (IIv(8,8,3) + map_b) - MK_v(8)); in interval_map_infix_minus_overload_4_bicremental_types()
1060 BOOST_CHECK_EQUAL(map_b & MK_v(8), MK_v(8) & map_b); in interval_map_infix_et_overload_4_bicremental_types()
1128 c_iterator found1 = map_a.find(MK_v(6)); in interval_map_find_4_bicremental_types()
1129 c_iterator found2 = icl::find(map_a, MK_v(6)); in interval_map_find_4_bicremental_types()
1134 BOOST_CHECK_EQUAL( map_a(MK_v(6)), MK_u(3) ); in interval_map_find_4_bicremental_types()
[all …]
Dtest_icl_discrete_interval.hpp26 BOOST_CHECK_EQUAL( IntervalT(MK_v(3)), IntervalT(MK_v(3)) ); in discrete_interval_ctor__dis_4_dyn_v_sta()
27 BOOST_CHECK_EQUAL( icl::contains(IntervalT(MK_v(1)), MK_v(1)), true ); in discrete_interval_ctor__dis_4_dyn_v_sta()
Dtest_interval_map_mixed.hpp268 split_sub_map1.erase(MK_v(2)); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
269 BOOST_CHECK_EQUAL( icl::contains(split_sub_map1, MK_v(2)), false ); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
273 join_sub_map2.erase(MK_v(1)); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
274 BOOST_CHECK_EQUAL( icl::contains(join_sub_map2, MK_v(1)), false ); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
310 BOOST_CHECK_EQUAL( split_unrel_map11(MK_v(8)), MK_u(1) ); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
314 BOOST_CHECK_EQUAL( join_unrel_map21(MK_v(0)), MK_u(1) ); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
328 BOOST_CHECK_EQUAL( split_unrel_map1(MK_v(11)), MK_u(1) ); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
332 BOOST_CHECK_EQUAL( join_unrel_map2(MK_v(6)), MK_u(1) ); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
363 BOOST_CHECK_EQUAL( icl::contains(split_map, MK_v(0)), true ); in partial_interval_map_mixed_contains_4_bicremental_types()
364 BOOST_CHECK_EQUAL( icl::contains(split_map, MK_v(5)), true ); in partial_interval_map_mixed_contains_4_bicremental_types()
[all …]
Dtest_value_maker.hpp181 #define MK_v(key) test_value<T>::make(key) macro
Dtest_set_interval_set_shared.hpp22 elem_e = MK_v(5); in make_3_interval_sets_and_derivatives_1()
Dtest_interval_set_mixed.hpp236 BOOST_CHECK_EQUAL( icl::contains(split_set, MK_v(4)), true ); in interval_set_mixed_contains_4_bicremental_types()
239 interval_set<T> join_set_gap4(split_set.erase(MK_v(4))); in interval_set_mixed_contains_4_bicremental_types()
240 BOOST_CHECK_EQUAL( icl::contains(join_set_gap4, MK_v(4)), false ); in interval_set_mixed_contains_4_bicremental_types()