ceph/src/boost/libs/icl/test/test_interval_set_laws_shared.hpp

   1 /*-----------------------------------------------------------------------------+
   2 Copyright (c) 2008-2010: Joachim Faulhaber
   3 +------------------------------------------------------------------------------+
   4    Distributed under the Boost Software License, Version 1.0.
   5       (See accompanying file LICENCE.txt or copy at
   6            http://www.boost.org/LICENSE_1_0.txt)
   7 +-----------------------------------------------------------------------------*/
   8 #ifndef LIBS_ICL_TEST_TEST_INTERVAL_SET_LAWS_SHARED_HPP_JOFA_090201
   9 #define LIBS_ICL_TEST_TEST_INTERVAL_SET_LAWS_SHARED_HPP_JOFA_090201
  10
  11
  12 //------------------------------------------------------------------------------
  13 // Monoid EAN
  14 //------------------------------------------------------------------------------
  15 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
  16 void interval_set_check_monoid_plus_4_bicremental_types()
  17 {
  18     typedef IntervalSet<T> IntervalSetT;
  19
  20     IntervalSetT set_a, set_b, set_c;
  21     set_a.add(I_D(3,6)).add(I_I(5,7));
  22     set_b.add(C_D(1,3)).add(I_D(8,9));
  23     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
  24
  25     typename IntervalSetT::segment_type segm = I_D(6,9);
  26     T elem = make<T>(5);
  27
  28     CHECK_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem);
  29     CHECK_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem);
  30 }
  31
  32
  33 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
  34 void interval_set_check_monoid_et_4_bicremental_types()
  35 {
  36     typedef IntervalSet<T> IntervalSetT;
  37
  38     IntervalSetT set_a, set_b, set_c;
  39     set_a.add(I_D(3,6)).add(I_I(5,7));
  40     set_b.add(C_D(1,3)).add(I_D(8,9));
  41     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
  42
  43     typename IntervalSetT::segment_type segm = I_D(6,9);
  44     T elem = make<T>(5);
  45
  46     CHECK_MONOID_INSTANCE_WRT(et)   (set_a, set_b, set_c, segm, elem);
  47     CHECK_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, segm, elem);
  48 }
  49
  50 //------------------------------------------------------------------------------
  51 // Abelian monoid EANC
  52 //------------------------------------------------------------------------------
  53
  54 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
  55 void interval_set_check_abelian_monoid_plus_4_bicremental_types()
  56 {
  57     typedef IntervalSet<T> IntervalSetT;
  58
  59     IntervalSetT set_a, set_b, set_c;
  60     set_a.add(I_D(3,6)).add(I_I(5,7));
  61     set_b.add(C_D(1,3)).add(I_D(8,9));
  62     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
  63
  64     typename IntervalSetT::segment_type segm = I_D(6,9);
  65     T elem = make<T>(5);
  66
  67     CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem);
  68     CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem);
  69 }
  70
  71
  72 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
  73 void interval_set_check_abelian_monoid_et_4_bicremental_types()
  74 {
  75     typedef IntervalSet<T> IntervalSetT;
  76
  77     IntervalSetT set_a, set_b, set_c;
  78     set_a.add(I_D(3,6)).add(I_I(5,7));
  79     set_b.add(C_D(1,3)).add(I_D(8,9));
  80     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
  81
  82     typename IntervalSetT::segment_type segm = I_D(6,9);
  83     T elem = make<T>(5);
  84
  85     CHECK_ABELIAN_MONOID_INSTANCE_WRT(et)   (set_a, set_b, set_c, segm, elem);
  86     CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, segm, elem);
  87 }
  88
  89
  90 //------------------------------------------------------------------------------
  91 // Abelian partial invertive monoid
  92 //------------------------------------------------------------------------------
  93 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
  94 void interval_set_check_partial_invertive_monoid_plus_4_bicremental_types()
  95 {
  96     typedef IntervalSet<T> IntervalSetT;
  97
  98     IntervalSetT set_a, set_b, set_c;
  99     set_a.add(I_D(3,6)).add(I_I(5,7));
 100     set_b.add(C_D(1,3)).add(I_D(8,9));
 101     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
 102
 103     typename IntervalSetT::segment_type segm = I_D(6,9);
 104     T elem = make<T>(5);
 105
 106     CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem);
 107     CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem);
 108 }
 109
 110 //------------------------------------------------------------------------------
 111 // Abelian partial invertive monoid with distinct equality for inversion
 112 //------------------------------------------------------------------------------
 113 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
 114 void interval_set_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
 115 {
 116     typedef IntervalSet<T> IntervalSetT;
 117
 118     IntervalSetT set_a, set_b, set_c;
 119     set_a.add(I_D(3,6)).add(I_I(5,7));
 120     set_b.add(C_D(1,3)).add(I_D(8,9));
 121     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
 122
 123     typename IntervalSetT::segment_type segm = I_D(6,9);
 124     T elem = make<T>(5);
 125
 126     CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(set_a, set_b, set_c, segm, elem);
 127     CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(set_a, set_b, set_c, segm, elem);
 128
 129 #if !defined(_MSC_VER) || (_MSC_VER >= 1400) // 1310==MSVC-7.1  1400 ==MSVC-8.0
 130     CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT_EQUAL(plus)(is_distinct_equal, set_a, set_b, set_c, segm, elem);
 131     CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT_EQUAL(pipe)(is_distinct_equal, set_a, set_b, set_c, segm, elem);
 132 #endif
 133 }
 134
 135
 136 //------------------------------------------------------------------------------
 137 // Abelian group EANIC
 138 //------------------------------------------------------------------------------
 139 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
 140 void interval_set_check_abelian_group_plus_4_bicremental_types()
 141 {
 142     typedef IntervalSet<T> IntervalSetT;
 143
 144     IntervalSetT set_a, set_b, set_c;
 145     set_a.add(I_D(3,6)).add(I_I(5,7));
 146     set_b.add(C_D(1,3)).add(I_D(8,9));
 147     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
 148
 149     typename IntervalSetT::segment_type segm = I_D(6,9);
 150     T elem = make<T>(5);
 151
 152     CHECK_ABELIAN_GROUP_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem);
 153     CHECK_ABELIAN_GROUP_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem);
 154 }
 155
 156 //------------------------------------------------------------------------------
 157 // (0 - x) + x =d= 0  |
 158 //------------------------------------------------------------------------------
 159 template <class T, ICL_IntervalSet_TEMPLATE(_T) IntervalSet>
 160 void interval_set_check_abelian_group_plus_prot_inv_4_bicremental_types()
 161 {
 162     typedef IntervalSet<T> IntervalSetT;
 163
 164     IntervalSetT set_a, set_b, set_c;
 165     set_a.add(I_D(3,6)).add(I_I(5,7));
 166     set_b.add(C_D(1,3)).add(I_D(8,9));
 167     set_c.add(I_D(0,9)).add(I_I(3,6)).add(I_D(5,7));
 168
 169     typename IntervalSetT::segment_type segm = I_D(6,9);
 170     T elem = make<T>(5);
 171
 172     CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem);
 173     CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem);
 174
 175 #if !defined(_MSC_VER) || (_MSC_VER >= 1400) // 1310==MSVC-7.1  1400 ==MSVC-8.0
 176     CHECK_ABELIAN_GROUP_INSTANCE_WRT_EQUAL(plus) (is_distinct_equal, set_a, set_b, set_c, segm, elem);
 177     CHECK_ABELIAN_GROUP_INSTANCE_WRT_EQUAL(pipe) (is_distinct_equal, set_a, set_b, set_c, segm, elem);
 178 #endif
 179 }
 180
 181 #endif // LIBS_ICL_TEST_TEST_INTERVAL_SET_LAWS_SHARED_HPP_JOFA_090201
 182