/third_party/boost/libs/icl/test/ |
D | test_interval_set_laws_shared.hpp | 21 set_a.add(I_D(3,6)).add(I_I(5,7)); in interval_set_check_monoid_plus_4_bicremental_types() 22 set_b.add(C_D(1,3)).add(I_D(8,9)); in interval_set_check_monoid_plus_4_bicremental_types() 23 set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in interval_set_check_monoid_plus_4_bicremental_types() 25 typename IntervalSetT::segment_type segm = I_D(6,9); in interval_set_check_monoid_plus_4_bicremental_types() 39 set_a.add(I_D(3,6)).add(I_I(5,7)); in interval_set_check_monoid_et_4_bicremental_types() 40 set_b.add(C_D(1,3)).add(I_D(8,9)); in interval_set_check_monoid_et_4_bicremental_types() 41 set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in interval_set_check_monoid_et_4_bicremental_types() 43 typename IntervalSetT::segment_type segm = I_D(6,9); in interval_set_check_monoid_et_4_bicremental_types() 60 set_a.add(I_D(3,6)).add(I_I(5,7)); in interval_set_check_abelian_monoid_plus_4_bicremental_types() 61 set_b.add(C_D(1,3)).add(I_D(8,9)); in interval_set_check_abelian_monoid_plus_4_bicremental_types() [all …]
|
D | test_set_interval_set_shared.hpp | 21 segm_d = I_D(6,9); in make_3_interval_sets_and_derivatives_1() 24 set_a.add(I_D(3,6)).add(I_I(5,7)); in make_3_interval_sets_and_derivatives_1() 25 set_b.add(C_D(1,3)).add(I_D(8,9)); in make_3_interval_sets_and_derivatives_1() 26 set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in make_3_interval_sets_and_derivatives_1() 40 set_a.add(I_D(3,6)).add(I_I(5,7)); in interval_set_check_monoid_plus_4_bicremental_types() 41 set_b.add(C_D(1,3)).add(I_D(8,9)); in interval_set_check_monoid_plus_4_bicremental_types() 42 set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in interval_set_check_monoid_plus_4_bicremental_types() 44 typename IntervalSetT::segment_type inter_val1 = I_D(6,9); in interval_set_check_monoid_plus_4_bicremental_types() 58 set_a.add(I_D(3,6)).add(I_I(5,7)); in interval_set_check_monoid_et_4_bicremental_types() 59 set_b.add(C_D(1,3)).add(I_D(8,9)); in interval_set_check_monoid_et_4_bicremental_types() [all …]
|
D | test_interval_set_shared.hpp | 342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 349 … BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1)) ), true ); in interval_set_element_compare_4_bicremental_types() 350 … BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))+I_D(1,2) ), false ); in interval_set_element_compare_4_bicremental_types() 351 … BOOST_CHECK_EQUAL( is_element_equal( I_D(1,2)+ISet(I_D(0,1)), ISet(I_D(0,1)) ), false ); in interval_set_element_compare_4_bicremental_types() 352 … BOOST_CHECK_EQUAL( is_element_equal( I_D(1,2)+ISet(I_D(0,1)), ISet(I_D(0,1))+I_D(1,2) ), true ); in interval_set_element_compare_4_bicremental_types() 356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() [all …]
|
D | test_set_icl_set.hpp | 23 itv_set_a.add(I_D(3,6)).add(I_I(5,7)); in itl_set_check_monoid_plus_4_bicremental_types() 24 itv_set_b.add(C_D(1,3)).add(I_D(8,9)); in itl_set_check_monoid_plus_4_bicremental_types() 25 itv_set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in itl_set_check_monoid_plus_4_bicremental_types() 46 itv_set_a.add(I_D(3,6)).add(I_I(5,7)); in itl_set_check_monoid_et_4_bicremental_types() 47 itv_set_b.add(C_D(1,3)).add(I_D(8,9)); in itl_set_check_monoid_et_4_bicremental_types() 48 itv_set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in itl_set_check_monoid_et_4_bicremental_types() 73 itv_set_a.add(I_D(3,6)).add(I_I(5,7)); in itl_set_check_abelian_monoid_plus_4_bicremental_types() 74 itv_set_b.add(C_D(1,3)).add(I_D(8,9)); in itl_set_check_abelian_monoid_plus_4_bicremental_types() 75 itv_set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); in itl_set_check_abelian_monoid_plus_4_bicremental_types() 96 itv_set_a.add(I_D(3,6)).add(I_I(5,7)); in itl_set_check_abelian_monoid_et_4_bicremental_types() [all …]
|
D | test_icl_continuous_interval.hpp | 53 test_inner_complement<T,Compare,IntervalT>(I_D(0,4), I_D(8,9)); in distant_intervals_4_numeric_continuous_types() 54 test_inner_complement<T,Compare,IntervalT>(I_D(7,8), I_D(2,3)); in distant_intervals_4_numeric_continuous_types() 55 test_inner_complement<T,Compare,IntervalT>(I_D(2,4), I_D(4,6)); in distant_intervals_4_numeric_continuous_types() 56 test_inner_complement<T,Compare,IntervalT>(I_D(3,7), I_D(5,8)); in distant_intervals_4_numeric_continuous_types() 57 test_inner_complement<T,Compare,IntervalT>(I_D(7,9), I_D(0,4)); in distant_intervals_4_numeric_continuous_types() 58 test_inner_complement<T,Compare,IntervalT>(I_D(0,0), I_D(0,0)); in distant_intervals_4_numeric_continuous_types() 59 test_inner_complement<T,Compare,IntervalT>(I_D(1,0), I_D(2,0)); in distant_intervals_4_numeric_continuous_types()
|
D | test_icl_discrete_interval.hpp | 70 test_inner_complement<T,Compare,IntervalT>(I_D(0,4), I_D(8,9)); in distant_intervals_4_discrete_types() 71 test_inner_complement<T,Compare,IntervalT>(I_D(7,8), I_D(2,3)); in distant_intervals_4_discrete_types() 72 test_inner_complement<T,Compare,IntervalT>(I_D(2,4), I_D(4,6)); in distant_intervals_4_discrete_types() 73 test_inner_complement<T,Compare,IntervalT>(I_D(3,7), I_D(5,8)); in distant_intervals_4_discrete_types() 74 test_inner_complement<T,Compare,IntervalT>(I_D(7,9), I_D(0,4)); in distant_intervals_4_discrete_types() 75 test_inner_complement<T,Compare,IntervalT>(I_D(0,0), I_D(0,0)); in distant_intervals_4_discrete_types() 76 test_inner_complement<T,Compare,IntervalT>(I_D(1,0), I_D(2,0)); in distant_intervals_4_discrete_types()
|
D | test_interval_set_mixed.hpp | 235 split_set.add(I_D(0,4)).add(I_D(4,8)); in interval_set_mixed_contains_4_bicremental_types() 776 join_a.add(I_D(0,4)) .add(I_I(4,6)).add(I_D(5,9)); in interval_set_mixed_infix_plus_overload_4_bicremental_types() 777 sep_a .add(I_D(0,4)) .add(I_I(4,6)).add(I_D(5,11)); in interval_set_mixed_infix_plus_overload_4_bicremental_types() 778 split_a.add(I_I(0,0)).add(I_D(8,7)).add(I_I(6,11)); in interval_set_mixed_infix_plus_overload_4_bicremental_types() 791 join_a.add(I_D(0,4)) .add(I_I(4,6)).add(I_D(5,9)); in interval_set_mixed_infix_pipe_overload_4_bicremental_types() 792 sep_a .add(I_D(0,4)) .add(I_I(4,6)).add(I_D(5,11)); in interval_set_mixed_infix_pipe_overload_4_bicremental_types() 793 split_a.add(I_I(0,0)).add(I_D(8,7)).add(I_I(6,11)); in interval_set_mixed_infix_pipe_overload_4_bicremental_types() 807 join_a.add(I_D(0,4)) .add(I_I(4,6)).add(I_D(5,9)); in interval_set_mixed_infix_minus_overload_4_bicremental_types() 808 sep_a .add(I_D(0,4)) .add(I_I(4,6)).add(I_D(5,11)); in interval_set_mixed_infix_minus_overload_4_bicremental_types() 809 split_a.add(I_I(0,0)).add(I_D(8,7)).add(I_I(6,11)); in interval_set_mixed_infix_minus_overload_4_bicremental_types() [all …]
|
D | test_icl_interval_shared.hpp | 240 IntervalT I3_7D = I_D(3,7); in interval_infix_intersect_4_bicremental_types() 242 IntervalT I0_3D = I_D(0,3); in interval_infix_intersect_4_bicremental_types() 248 IntervalT I0_5D = I_D(0,5); in interval_infix_intersect_4_bicremental_types() 250 BOOST_CHECK_EQUAL( section, I_D(3,5) ); in interval_infix_intersect_4_bicremental_types() 252 IntervalT I0_9D = I_D(0,9); in interval_infix_intersect_4_bicremental_types() 281 IntervalT I0_3D = I_D(0,3); in interval_subtract_4_bicremental_types() 282 IntervalT I2_6D = I_D(2,6); in interval_subtract_4_bicremental_types() 283 IntervalT I4_7D = I_D(4,7); in interval_subtract_4_bicremental_types() 284 IntervalT I6_7D = I_D(6,7); in interval_subtract_4_bicremental_types() 285 IntervalT I2_4D = I_D(2,4); in interval_subtract_4_bicremental_types()
|
D | test_icl_dynamic_interval.hpp | 41 check_border_containedness(I_D(0,1)); in dynamic_interval_bounds_4_bicremental_types() 42 check_border_containedness(I_D(2,5)); in dynamic_interval_bounds_4_bicremental_types() 58 BOOST_CHECK( icl::bounds(I_D(2,5)) == interval_bounds::right_open() ); in discrete_dynamic_interval_bounds_4_bicremental_types()
|
D | test_interval_map_shared.hpp | 995 join_set_a .add(I_D(0,4)).add(I_I(4,6)).add(I_D(5,9)); in interval_map_infix_minus_overload_4_bicremental_types() 996 sep_set_a .add(I_D(0,4)).add(I_I(4,6)).add(I_D(5,11)); in interval_map_infix_minus_overload_4_bicremental_types() 997 split_set_a.add(I_I(0,0)).add(I_D(8,7)).add(I_I(6,11)); in interval_map_infix_minus_overload_4_bicremental_types() 1046 join_set_a .add(I_D(0,4)).add(I_I(4,6)).add(I_D(5,9)); in interval_map_infix_et_overload_4_bicremental_types() 1047 sep_set_a .add(I_D(0,4)).add(I_I(4,6)).add(I_D(5,11)); in interval_map_infix_et_overload_4_bicremental_types() 1048 split_set_a.add(I_I(0,0)).add(I_D(8,7)).add(I_I(6,11)); in interval_map_infix_et_overload_4_bicremental_types() 1096 join_set_a .add(I_D(0,4)).add(I_I(4,6)).add(I_D(5,9)); in interval_map_infix_caret_overload_4_bicremental_types() 1097 sep_set_a .add(I_D(0,4)).add(I_I(4,6)).add(I_D(5,11)); in interval_map_infix_caret_overload_4_bicremental_types() 1098 split_set_a.add(I_I(0,0)).add(I_D(8,7)).add(I_I(6,11)); in interval_map_infix_caret_overload_4_bicremental_types() 1249 IntervalT itv = I_D(2, 7); in interval_map_range_4_bicremental_types() [all …]
|
D | test_value_maker.hpp | 173 #define I_D(low,up) icl::interval<T>::right_open(test_value<T>::make(low), test_value<T>::make(up)) macro 187 #define IDv(low,up,val) map_val<IntervalMapT>::mk_segment(I_D(low,up), val)
|
D | test_interval_map_mixed.hpp | 367 BOOST_CHECK_EQUAL( icl::contains(split_map, I_D(2,3)), true ); in partial_interval_map_mixed_contains_4_bicremental_types() 368 BOOST_CHECK_EQUAL( icl::contains(split_map, I_D(0,6)), true ); in partial_interval_map_mixed_contains_4_bicremental_types() 369 BOOST_CHECK_EQUAL( icl::contains(split_map, I_D(0,7)), false ); in partial_interval_map_mixed_contains_4_bicremental_types() 370 BOOST_CHECK_EQUAL( icl::contains(join_map, I_D(2,3)), true ); in partial_interval_map_mixed_contains_4_bicremental_types() 371 BOOST_CHECK_EQUAL( icl::contains(join_map, I_D(0,6)), true ); in partial_interval_map_mixed_contains_4_bicremental_types() 372 BOOST_CHECK_EQUAL( icl::contains(join_map, I_D(0,7)), false ); in partial_interval_map_mixed_contains_4_bicremental_types() 1223 left2. add(I_D(0,2)); in interval_map_mixed_basic_intersect2_4_bicremental_types() 1224 right2.add(I_D(0,1)); in interval_map_mixed_basic_intersect2_4_bicremental_types()
|
/third_party/boost/libs/icl/test/test_misc_/ |
D | test_misc.cpp | 82 IntervalT itv_a = I_D(1,3); in BOOST_AUTO_TEST_CASE() 83 IntervalT itv_b = I_D(5,7); in BOOST_AUTO_TEST_CASE()
|