void interval_set_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types() { typedef IntervalSet<T> IntervalSetT; IntervalSetT set_a, set_b, set_c; set_a.add(I_D(3,6)).add(I_I(5,7)); set_b.add(C_D(1,3)).add(I_D(8,9)); set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7)); typename IntervalSetT::segment_type segm = I_D(6,9); T elem = make<T>(5); CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(set_a, set_b, set_c, segm, elem); CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(set_a, set_b, set_c, segm, elem); #if !defined(_MSC_VER) || (_MSC_VER >= 1400) // 1310==MSVC-7.1 1400 ==MSVC-8.0 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT_EQUAL(plus)(is_distinct_equal, set_a, set_b, set_c, segm, elem); CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT_EQUAL(pipe)(is_distinct_equal, set_a, set_b, set_c, segm, elem); #endif }
void itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types() { typedef IntervalMap<T,U,Trt> IntervalMapT; IntervalMapT map_a, map_b, map_c; map_a.add(IDv(3,6,1)).add(IIv(5,7,1)); map_b.add(CDv(1,3,1)).add(IDv(8,9,1)); map_c.add(IDv(0,9,2)).add(IIv(3,6,1)).add(IDv(5,7,1)); typename IntervalMapT::interval_mapping_type val_pair = IDv(6,9,1); mapping_pair<T,U> map_pair = K_v(5,1); CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(map_a, map_b, map_c, val_pair, map_pair); CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(map_a, map_b, map_c, val_pair, map_pair); #if !defined(_MSC_VER) || (_MSC_VER >= 1400) // 1310==MSVC-7.1 1400 ==MSVC-8.0 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT_EQUAL(plus)(is_distinct_equal, map_a, map_b, map_c, val_pair, map_pair); CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT_EQUAL(pipe)(is_distinct_equal, map_a, map_b, map_c, val_pair, map_pair); #endif }