1 /*-----------------------------------------------------------------------------+
2 Copyright (c) 2008-2009: 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 BOOST_ICL_FASTEST_SET_INTERVAL_SET_CASES_HPP_JOFA_090703
9 #define BOOST_ICL_FASTEST_SET_INTERVAL_SET_CASES_HPP_JOFA_090703
10
11 //------------------------------------------------------------------------------
12 // interval_set
13 //------------------------------------------------------------------------------
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_monoid_plus_4_bicremental_types)14 BOOST_AUTO_TEST_CASE
15 (fastest_icl_interval_set_check_monoid_plus_4_bicremental_types)
16 { interval_set_check_monoid_plus_4_bicremental_types<bicremental_type_1, interval_set>();}
17
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_abelian_monoid_plus_4_bicremental_types)18 BOOST_AUTO_TEST_CASE
19 (fastest_icl_interval_set_check_abelian_monoid_plus_4_bicremental_types)
20 { interval_set_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_2, interval_set>();}
21
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_abelian_monoid_et_4_bicremental_types)22 BOOST_AUTO_TEST_CASE
23 (fastest_icl_interval_set_check_abelian_monoid_et_4_bicremental_types)
24 { interval_set_check_abelian_monoid_et_4_bicremental_types<bicremental_type_3, interval_set>();}
25
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)26 BOOST_AUTO_TEST_CASE
27 (fastest_icl_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)
28 { interval_set_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_4, interval_set>();}
29
30
31 //------------------------------------------------------------------------------
32 // separate_interval_set
33 //------------------------------------------------------------------------------
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_monoid_plus_4_bicremental_types)34 BOOST_AUTO_TEST_CASE
35 (fastest_icl_separate_interval_set_check_monoid_plus_4_bicremental_types)
36 { interval_set_check_monoid_plus_4_bicremental_types<bicremental_type_5, separate_interval_set>();}
37
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_abelian_monoid_plus_4_bicremental_types)38 BOOST_AUTO_TEST_CASE
39 (fastest_icl_separate_interval_set_check_abelian_monoid_plus_4_bicremental_types)
40 { interval_set_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_6, separate_interval_set>();}
41
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_abelian_monoid_et_4_bicremental_types)42 BOOST_AUTO_TEST_CASE
43 (fastest_icl_separate_interval_set_check_abelian_monoid_et_4_bicremental_types)
44 { interval_set_check_abelian_monoid_et_4_bicremental_types<bicremental_type_7, separate_interval_set>();}
45
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)46 BOOST_AUTO_TEST_CASE
47 (fastest_icl_separate_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)
48 { interval_set_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_8, separate_interval_set>();}
49
50
51 //------------------------------------------------------------------------------
52 // split_interval_set
53 //------------------------------------------------------------------------------
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_monoid_plus_4_bicremental_types)54 BOOST_AUTO_TEST_CASE
55 (fastest_icl_split_interval_set_check_monoid_plus_4_bicremental_types)
56 { interval_set_check_monoid_plus_4_bicremental_types<bicremental_type_1, split_interval_set>();}
57
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_abelian_monoid_plus_4_bicremental_types)58 BOOST_AUTO_TEST_CASE
59 (fastest_icl_split_interval_set_check_abelian_monoid_plus_4_bicremental_types)
60 { interval_set_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_2, split_interval_set>();}
61
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_abelian_monoid_et_4_bicremental_types)62 BOOST_AUTO_TEST_CASE
63 (fastest_icl_split_interval_set_check_abelian_monoid_et_4_bicremental_types)
64 { interval_set_check_abelian_monoid_et_4_bicremental_types<bicremental_type_3, split_interval_set>();}
65
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)66 BOOST_AUTO_TEST_CASE
67 (fastest_icl_split_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)
68 { interval_set_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_4, split_interval_set>();}
69
70
71 //------------------------------------------------------------------------------
72 // Containedness
73 //------------------------------------------------------------------------------
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_containedness_4_bicremental_types)74 BOOST_AUTO_TEST_CASE
75 (fastest_icl_interval_set_check_containedness_4_bicremental_types)
76 { interval_set_check_containedness_4_bicremental_types<bicremental_type_4, interval_set>();}
77
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_containedness_4_bicremental_types)78 BOOST_AUTO_TEST_CASE
79 (fastest_icl_split_interval_set_check_containedness_4_bicremental_types)
80 { interval_set_check_containedness_4_bicremental_types<bicremental_type_5, split_interval_set>();}
81
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_containedness_4_bicremental_types)82 BOOST_AUTO_TEST_CASE
83 (fastest_icl_separate_interval_set_check_containedness_4_bicremental_types)
84 { interval_set_check_containedness_4_bicremental_types<bicremental_type_6, separate_interval_set>();}
85
86 //------------------------------------------------------------------------------
87 // Inner Complement
88 //------------------------------------------------------------------------------
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_inner_complementarity_4_bicremental_types)89 BOOST_AUTO_TEST_CASE
90 (fastest_icl_interval_set_check_inner_complementarity_4_bicremental_types)
91 { interval_set_check_inner_complementarity_4_bicremental_types<bicremental_type_7, interval_set>();}
92
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_inner_complementarity_4_bicremental_types)93 BOOST_AUTO_TEST_CASE
94 (fastest_icl_separate_interval_set_check_inner_complementarity_4_bicremental_types)
95 { interval_set_check_inner_complementarity_4_bicremental_types<bicremental_type_8, separate_interval_set>();}
96
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_inner_complementarity_4_bicremental_types)97 BOOST_AUTO_TEST_CASE
98 (fastest_icl_split_interval_set_check_inner_complementarity_4_bicremental_types)
99 { interval_set_check_inner_complementarity_4_bicremental_types<bicremental_type_1, split_interval_set>();}
100
101 //------------------------------------------------------------------------------
102 // Inner Complement and Distance
103 //------------------------------------------------------------------------------
BOOST_AUTO_TEST_CASE(fastest_icl_interval_set_check_length_complementarity_4_bicremental_types)104 BOOST_AUTO_TEST_CASE
105 (fastest_icl_interval_set_check_length_complementarity_4_bicremental_types)
106 { interval_set_check_length_complementarity_4_bicremental_types<bicremental_type_2, interval_set>();}
107
BOOST_AUTO_TEST_CASE(fastest_icl_separate_interval_set_check_length_complementarity_4_bicremental_types)108 BOOST_AUTO_TEST_CASE
109 (fastest_icl_separate_interval_set_check_length_complementarity_4_bicremental_types)
110 { interval_set_check_length_complementarity_4_bicremental_types<bicremental_type_3, separate_interval_set>();}
111
BOOST_AUTO_TEST_CASE(fastest_icl_split_interval_set_check_length_complementarity_4_bicremental_types)112 BOOST_AUTO_TEST_CASE
113 (fastest_icl_split_interval_set_check_length_complementarity_4_bicremental_types)
114 { interval_set_check_length_complementarity_4_bicremental_types<bicremental_type_4, split_interval_set>();}
115
116 #endif // BOOST_ICL_FASTEST_SET_INTERVAL_SET_CASES_HPP_JOFA_090703
117
118