Home
last modified time | relevance | path

Searched refs:itv_map_b (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
24 itv_map_b.add(CDv(1,3,1)).add(IDv(8,9,1)); in itv_quantifier_check_monoid_plus_4_bicremental_types()
29 segmental::atomize(map_b, itv_map_b); 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
49 itv_map_b.add(CDv(1,3,1)).add(IDv(8,9,1)); in itv_quantifier_check_monoid_et_4_bicremental_types()
54 segmental::atomize(map_b, itv_map_b); 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
77 itv_map_b.add(CDv(1,3,1)).add(IDv(8,9,1)); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
82 segmental::atomize(map_b, itv_map_b); 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.hpp93 itv_map_b, itv_map_c; in icl_map_inclusion_compare_4_bicremental_types() local
99 itv_map_b = itv_map_a; 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()
104 segmental::atomize(map_b, itv_map_b); in icl_map_inclusion_compare_4_bicremental_types()
Dtest_interval_quantifier_shared.hpp24 ICL_PORT_msvc_7_1_IntervalMap(T,U,Trt)& itv_map_b, in make_3_itv_maps_and_derivatives_1() argument
32 itv_map_b.add(CDv(1,3,1)).add(IDv(8,9,1)); in make_3_itv_maps_and_derivatives_1()
Dtest_interval_map_shared.hpp1303 itv_map_b, itv_map_c; in interval_map_inclusion_compare_4_bicremental_types() local
1310 itv_map_b = itv_map_a; in interval_map_inclusion_compare_4_bicremental_types()
1311 itv_map_b.set(IIv(6,7,2)); in interval_map_inclusion_compare_4_bicremental_types()
1323 BOOST_CHECK_EQUAL( inclusion_compare(itv_map_a, itv_map_b), inclusion::unrelated ); in interval_map_inclusion_compare_4_bicremental_types()