Home
last modified time | relevance | path

Searched refs:IIv (Results 1 – 8 of 8) sorted by relevance

/third_party/boost/libs/icl/test/test_interval_map_infix_mixed_/
Dtest_interval_map_infix_mixed.cpp38 join_a .add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
39 split_a.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
51 join_a .add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
52 split_a.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
64 join_a .add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
65 split_a.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
67 join_b .add(CDv(1,3,1)).add(IIv(6,11,3)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
68 split_b.add(IDv(0,9,2)).add(IIv(3,6,1)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
84 join_a .add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
85 split_a.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in BOOST_AUTO_TEST_CASE_TEMPLATE()
/third_party/boost/libs/icl/test/
Dtest_quantifier_map_shared.hpp22 map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_monoid_plus_4_bicremental_types()
24 map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_monoid_plus_4_bicremental_types()
41 map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_monoid_et_4_bicremental_types()
43 map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_monoid_et_4_bicremental_types()
63 map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
65 map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
82 map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
84 map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
104 map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
106 map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
[all …]
Dtest_quantifier_icl_map.hpp23 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_monoid_plus_4_bicremental_types()
25 itv_map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_monoid_plus_4_bicremental_types()
48 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_monoid_et_4_bicremental_types()
50 itv_map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_monoid_et_4_bicremental_types()
76 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
78 itv_map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
101 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
103 itv_map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
129 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
131 itv_map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
[all …]
Dtest_icl_map.hpp30 itv_map_a.add(IDv(2,4,1)).add(IIv(6,7,3)); in icl_map_contains_4_bicremental_types()
60 itv_map_a.add(IDv(2,4,1)).add(IIv(6,7,3)); in icl_map_find_4_bicremental_types()
94 itv_map_sub_a.add(IDv(2,4,1)).add(IIv(6,7,3)); in icl_map_inclusion_compare_4_bicremental_types()
96 itv_map_a.add(IIv(9,9,1)); in icl_map_inclusion_compare_4_bicremental_types()
98 itv_map_c.erase(MK_v(7)).add(IIv(11,11,2)); in icl_map_inclusion_compare_4_bicremental_types()
100 itv_map_b.set(IIv(6,7,2)); in icl_map_inclusion_compare_4_bicremental_types()
Dtest_interval_map_shared.hpp467 BOOST_CHECK_EQUAL( icl::contains((itv_map += IIv(3,7,1)), IIv(3,7,1)), true ); in interval_map_contains_4_bicremental_types()
468 BOOST_CHECK_EQUAL( icl::contains(itv_map, IIv(3,7,2)), false ); in interval_map_contains_4_bicremental_types()
471 BOOST_CHECK_EQUAL( icl::contains((itv_map += CIv(7,9,1)),IIv(3,9,1)), true ); in interval_map_contains_4_bicremental_types()
473 BOOST_CHECK_EQUAL( icl::contains((itv_map += IIv(11,12,1)), IIv(3,12,1)), false ); in interval_map_contains_4_bicremental_types()
479 IntervalMapT itv_map2(IIv(5,8,1)); in interval_map_contains_4_bicremental_types()
926 map_a.add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in interval_map_infix_plus_overload_4_bicremental_types()
927 map_b.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in interval_map_infix_plus_overload_4_bicremental_types()
954 map_a.add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in interval_map_infix_pipe_overload_4_bicremental_types()
955 map_b.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in interval_map_infix_pipe_overload_4_bicremental_types()
988 map_a.add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in interval_map_infix_minus_overload_4_bicremental_types()
[all …]
Dtest_interval_map_mixed.hpp230 split_map.add(IDv(0,2,2)).add(IIv(2,3,1)).add(CDv(3,6,1)).add(CIv(7,9,2)); in partial_interval_map_mixed_inclusion_compare_4_bicremental_types()
350 split_map.add(IDv(0,2,2)).add(IIv(2,3,1)).add(CDv(3,6,1)).add(CIv(7,9,2)); in partial_interval_map_mixed_contains_4_bicremental_types()
381 BOOST_CHECK_EQUAL( icl::contains(split_map, IIv(8,9,2)), true ); in partial_interval_map_mixed_contains_4_bicremental_types()
382 BOOST_CHECK_EQUAL( icl::contains(split_map, IIv(8,9,3)), false ); in partial_interval_map_mixed_contains_4_bicremental_types()
385 BOOST_CHECK_EQUAL( icl::contains(join_map, IIv(8,9,2)), true ); in partial_interval_map_mixed_contains_4_bicremental_types()
386 BOOST_CHECK_EQUAL( icl::contains(join_map, IIv(8,9,3)), false ); in partial_interval_map_mixed_contains_4_bicremental_types()
1501 join_a .add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in interval_map_mixed_infix_plus_overload_4_bicremental_types()
1502 split_a.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in interval_map_mixed_infix_plus_overload_4_bicremental_types()
1514 join_a .add(CDv(1,3,1)).add(IDv(8,9,1)).add(IIv(6,11,3)); in interval_map_mixed_infix_pipe_overload_4_bicremental_types()
1515 split_a.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in interval_map_mixed_infix_pipe_overload_4_bicremental_types()
[all …]
Dtest_interval_quantifier_shared.hpp31 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in make_3_itv_maps_and_derivatives_1()
33 itv_map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); in make_3_itv_maps_and_derivatives_1()
Dtest_value_maker.hpp186 #define IIv(low,up,val) map_val<IntervalMapT>::mk_segment(I_I(low,up), val) macro