/third_party/boost/libs/icl/test/ |
D | test_interval_set_shared.hpp | 570 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 …]
|
D | test_icl_interval.hpp | 81 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()
|
D | test_set_icl_set.hpp | 32 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()
|
D | test_icl_map.hpp | 35 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()
|
D | test_interval_map_shared.hpp | 460 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 …]
|
D | test_icl_discrete_interval.hpp | 26 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()
|
D | test_interval_map_mixed.hpp | 268 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 …]
|
D | test_value_maker.hpp | 181 #define MK_v(key) test_value<T>::make(key) macro
|
D | test_set_interval_set_shared.hpp | 22 elem_e = MK_v(5); in make_3_interval_sets_and_derivatives_1()
|
D | test_interval_set_mixed.hpp | 236 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()
|