Home
last modified time | relevance | path

Searched refs:itv_map_a (Results 1 – 4 of 4) sorted by relevance

/third_party/boost/libs/icl/test/
Dtest_quantifier_icl_map.hpp22 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_monoid_plus_4_bicremental_types() local
23 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_monoid_plus_4_bicremental_types()
28 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_monoid_plus_4_bicremental_types()
47 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_monoid_et_4_bicremental_types() local
48 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_monoid_et_4_bicremental_types()
53 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_monoid_et_4_bicremental_types()
75 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types() local
76 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
81 segmental::atomize(map_a, itv_map_a); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
100 IntervalMapT itv_map_a, itv_map_b, itv_map_c; in itv_quantifier_check_abelian_monoid_et_4_bicremental_types() local
[all …]
Dtest_icl_map.hpp29 IntervalMapT itv_map_a; in icl_map_contains_4_bicremental_types() local
30 itv_map_a.add(IDv(2,4,1)).add(IIv(6,7,3)); in icl_map_contains_4_bicremental_types()
33 segmental::atomize(map_a, itv_map_a); in icl_map_contains_4_bicremental_types()
59 IntervalMapT itv_map_a; in icl_map_find_4_bicremental_types() local
60 itv_map_a.add(IDv(2,4,1)).add(IIv(6,7,3)); in icl_map_find_4_bicremental_types()
63 segmental::atomize(map_a, itv_map_a); in icl_map_find_4_bicremental_types()
92 IntervalMapT itv_map_sub_a, itv_map_a, itv_map_super_a, in icl_map_inclusion_compare_4_bicremental_types() local
95 itv_map_a = itv_map_sub_a; 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()
99 itv_map_b = itv_map_a; in icl_map_inclusion_compare_4_bicremental_types()
[all …]
Dtest_interval_map_shared.hpp1302 IntervalMapT itv_map_sub_a, itv_map_a, itv_map_a2, itv_map_super_a, in interval_map_inclusion_compare_4_bicremental_types() local
1305 itv_map_a = itv_map_sub_a; in interval_map_inclusion_compare_4_bicremental_types()
1306 itv_map_a.add(IIv(9,9,1)); in interval_map_inclusion_compare_4_bicremental_types()
1307 itv_map_a2 = itv_map_a; in interval_map_inclusion_compare_4_bicremental_types()
1310 itv_map_b = itv_map_a; in interval_map_inclusion_compare_4_bicremental_types()
1315 BOOST_CHECK_EQUAL( inclusion_compare(itv_map_a, itv_map_a), inclusion::equal ); in interval_map_inclusion_compare_4_bicremental_types()
1316 BOOST_CHECK_EQUAL( inclusion_compare(itv_map_a, itv_map_a2), inclusion::equal ); in interval_map_inclusion_compare_4_bicremental_types()
1318 BOOST_CHECK_EQUAL( inclusion_compare(itv_map_a, IntervalMapT()), inclusion::superset ); in interval_map_inclusion_compare_4_bicremental_types()
1319 BOOST_CHECK_EQUAL( inclusion_compare(itv_map_a, itv_map_sub_a), inclusion::superset ); in interval_map_inclusion_compare_4_bicremental_types()
1320 BOOST_CHECK_EQUAL( inclusion_compare(IntervalMapT(), itv_map_a), inclusion::subset ); in interval_map_inclusion_compare_4_bicremental_types()
[all …]
Dtest_interval_quantifier_shared.hpp23 (ICL_PORT_msvc_7_1_IntervalMap(T,U,Trt)& itv_map_a, in make_3_itv_maps_and_derivatives_1() argument
31 itv_map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); in make_3_itv_maps_and_derivatives_1()