| /*-----------------------------------------------------------------------------+ |
| Copyright (c) 2008-2010: Joachim Faulhaber |
| +------------------------------------------------------------------------------+ |
| Distributed under the Boost Software License, Version 1.0. |
| (See accompanying file LICENCE.txt or copy at |
| http://www.boost.org/LICENSE_1_0.txt) |
| +-----------------------------------------------------------------------------*/ |
| #ifndef LIBS_ICL_TEST_TEST_SET_INTERVAL_SET_SHARED_HPP_JOFA_090119 |
| #define LIBS_ICL_TEST_TEST_SET_INTERVAL_SET_SHARED_HPP_JOFA_090119 |
| |
| #include "portability.hpp" |
| |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void make_3_interval_sets_and_derivatives_1 |
| (ICL_PORT_msvc_7_1_IntervalSet(T)& set_a, |
| ICL_PORT_msvc_7_1_IntervalSet(T)& set_b, |
| ICL_PORT_msvc_7_1_IntervalSet(T)& set_c, |
| typename ICL_PORT_msvc_7_1_IntervalSet(T)::segment_type& segm_d, |
| typename ICL_PORT_msvc_7_1_IntervalSet(T)::element_type& elem_e) |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::segment_type IntervalT; |
| typedef typename IntervalSetT::segment_type segment_type; |
| typedef typename IntervalSetT::element_type element_type; |
| |
| segm_d = I_D(6,9); |
| elem_e = MK_v(5); |
| |
| 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)); |
| } |
| |
| |
| |
| //------------------------------------------------------------------------------ |
| // Monoid EAN |
| //------------------------------------------------------------------------------ |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_monoid_plus_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::interval_type IntervalT; |
| |
| 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 inter_val1 = I_D(6,9); |
| typename IntervalSetT::segment_type inter_val2 = I_I(5,5); |
| |
| CHECK_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, inter_val1, inter_val2); |
| CHECK_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, inter_val1, inter_val2); |
| } |
| |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_monoid_et_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::interval_type IntervalT; |
| |
| 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 inter_val1 = I_D(6,9); |
| typename IntervalSetT::segment_type inter_val2 = I_I(5,5); |
| |
| CHECK_MONOID_INSTANCE_WRT(et) (set_a, set_b, set_c, inter_val1, inter_val2); |
| CHECK_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, inter_val1, inter_val2); |
| } |
| |
| //------------------------------------------------------------------------------ |
| // Abelian monoid EANC |
| //------------------------------------------------------------------------------ |
| |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_abelian_monoid_plus_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::interval_type IntervalT; |
| |
| 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 inter_val1 = I_D(6,9); |
| typename IntervalSetT::segment_type inter_val2 = I_I(5,5); |
| |
| CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, inter_val1, inter_val2); |
| CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, inter_val1, inter_val2); |
| } |
| |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_abelian_monoid_et_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::interval_type IntervalT; |
| |
| 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 inter_val1 = I_D(6,9); |
| typename IntervalSetT::segment_type inter_val2 = I_I(5,5); |
| |
| CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (set_a, set_b, set_c, inter_val1, inter_val2); |
| CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, inter_val1, inter_val2); |
| } |
| |
| |
| //------------------------------------------------------------------------------ |
| // Abelian partial invertive monoid |
| //------------------------------------------------------------------------------ |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_partial_invertive_monoid_plus_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::interval_type IntervalT; |
| |
| 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 inter_val1 = I_D(6,9); |
| typename IntervalSetT::segment_type inter_val2 = I_I(5,5); |
| |
| CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, inter_val1, inter_val2); |
| CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, inter_val1, inter_val2); |
| } |
| |
| |
| //------------------------------------------------------------------------------ |
| // Containedness |
| //------------------------------------------------------------------------------ |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_containedness_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::segment_type segment_type; |
| typedef typename IntervalSetT::element_type element_type; |
| |
| IntervalSetT set_a, set_b, set_c; |
| segment_type segm_d; |
| element_type elem_e; |
| make_3_interval_sets_and_derivatives_1(set_a, set_b, set_c, segm_d, elem_e); |
| |
| check_intersection_containedness(set_a, set_c); |
| check_intersection_containedness(set_b, segm_d); |
| check_intersection_containedness(set_c, elem_e); |
| |
| check_union_containedness(set_c, set_c); |
| check_union_containedness(set_b, segm_d); |
| check_union_containedness(set_a, elem_e); |
| } |
| |
| |
| //------------------------------------------------------------------------------ |
| // Inner complement |
| //------------------------------------------------------------------------------ |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_inner_complementarity_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::segment_type segment_type; |
| typedef typename IntervalSetT::element_type element_type; |
| |
| IntervalSetT set_a, set_b, set_c; |
| segment_type segm_d; |
| element_type elem_e; |
| make_3_interval_sets_and_derivatives_1(set_a, set_b, set_c, segm_d, elem_e); |
| |
| has_inner_complementarity<IntervalSetT,IntervalSetT>(set_a); |
| has_inner_complementarity<IntervalSetT,IntervalSetT>(set_b); |
| has_inner_complementarity<IntervalSetT,IntervalSetT>(set_c); |
| } |
| |
| template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet> |
| void interval_set_check_length_complementarity_4_bicremental_types() |
| { |
| typedef IntervalSet<T> IntervalSetT; |
| typedef typename IntervalSetT::segment_type segment_type; |
| typedef typename IntervalSetT::element_type element_type; |
| |
| IntervalSetT set_a, set_b, set_c; |
| segment_type segm_d; |
| element_type elem_e; |
| make_3_interval_sets_and_derivatives_1(set_a, set_b, set_c, segm_d, elem_e); |
| |
| has_length_complementarity(set_a); |
| has_length_complementarity(set_b); |
| has_length_complementarity(set_c); |
| |
| has_length_as_distance<IntervalSetT,IntervalSetT>(set_a); |
| has_length_as_distance<IntervalSetT,IntervalSetT>(set_b); |
| has_length_as_distance<IntervalSetT,IntervalSetT>(set_c); |
| } |
| |
| #endif // LIBS_ICL_TEST_TEST_SET_INTERVAL_SET_SHARED_HPP_JOFA_090119 |
| |