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_TOTAL_INTERVAL_QUANTIFIER_CASES_HPP_JOFA_090703 |
9 | #define BOOST_ICL_FASTEST_TOTAL_INTERVAL_QUANTIFIER_CASES_HPP_JOFA_090703 |
10 | |
11 | //------------------------------------------------------------------------------ |
12 | // total_absorber |
13 | //------------------------------------------------------------------------------ |
14 | BOOST_AUTO_TEST_CASE |
15 | (fastest_itl_total_itv_quantifier_check_monoid_plus_4_bicremental_types) |
16 | { itv_quantifier_check_monoid_plus_4_bicremental_types<bicremental_type_1, std::string, total_absorber, INTERVAL_MAP>();} |
17 | |
18 | BOOST_AUTO_TEST_CASE |
19 | (fastest_itl_total_itv_quantifier_check_monoid_et_4_bicremental_types) |
20 | { itv_quantifier_check_monoid_et_4_bicremental_types<bicremental_type_2, int, total_absorber, INTERVAL_MAP>();} |
21 | |
22 | BOOST_AUTO_TEST_CASE |
23 | (fastest_itl_total_itv_quantifier_check_abelian_monoid_plus_4_bicremental_types) |
24 | { itv_quantifier_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_3, std::string, total_absorber, INTERVAL_MAP>();} |
25 | |
26 | BOOST_AUTO_TEST_CASE |
27 | (fastest_itl_total_itv_quantifier_check_abelian_monoid_et_4_bicremental_types) |
28 | { itv_quantifier_check_abelian_monoid_et_4_bicremental_types<bicremental_type_4, float, total_absorber, INTERVAL_MAP>();} |
29 | |
30 | // (0-x) + x = 0 | total absorber |
31 | BOOST_AUTO_TEST_CASE |
32 | (fastest_itl_total_itv_quantifier_check_abelian_group_plus_4_bicremental_domain_and_discrete_codomain) |
33 | { itv_quantifier_check_abelian_group_plus_4_bicremental_types<bicremental_type_5, int, total_absorber, INTERVAL_MAP>();} |
34 | |
35 | BOOST_AUTO_TEST_CASE |
36 | (fastest_itl_total_itv_quantifier_check_abelian_group_plus_4_bicremental_domain_and_continuous_codomain_1) |
37 | { itv_quantifier_check_abelian_group_plus_4_bicremental_types<bicremental_type_5, double, total_absorber, INTERVAL_MAP>();} |
38 | |
39 | BOOST_AUTO_TEST_CASE |
40 | (fastest_itl_total_itv_quantifier_check_abelian_group_plus_4_bicremental_domain_and_continuous_codomain_2) |
41 | { itv_quantifier_check_abelian_group_plus_4_bicremental_types<bicremental_type_5, boost::rational<int>, total_absorber, INTERVAL_MAP>();} |
42 | |
43 | //------------------------------------------------------------------------------ |
44 | // total_enricher |
45 | //------------------------------------------------------------------------------ |
46 | BOOST_AUTO_TEST_CASE |
47 | (fastest_itl_total_enricher_itv_quantifier_check_monoid_plus_4_bicremental_types) |
48 | { itv_quantifier_check_monoid_plus_4_bicremental_types<bicremental_type_6, std::string, total_enricher, INTERVAL_MAP>();} |
49 | |
50 | BOOST_AUTO_TEST_CASE |
51 | (fastest_itl_total_enricher_itv_quantifier_check_monoid_et_4_bicremental_types) |
52 | { itv_quantifier_check_monoid_et_4_bicremental_types<bicremental_type_7, int, total_enricher, INTERVAL_MAP>();} |
53 | |
54 | BOOST_AUTO_TEST_CASE |
55 | (fastest_itl_total_enricher_itv_quantifier_check_abelian_monoid_plus_4_bicremental_types) |
56 | { itv_quantifier_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_8, std::string, total_enricher, INTERVAL_MAP>();} |
57 | |
58 | BOOST_AUTO_TEST_CASE |
59 | (fastest_itl_total_enricher_itv_quantifier_check_abelian_monoid_et_4_bicremental_types) |
60 | { itv_quantifier_check_abelian_monoid_et_4_bicremental_types<bicremental_type_1, double, total_enricher, INTERVAL_MAP>();} |
61 | |
62 | // (0-x) + x =d= 0 | total absorber |
63 | BOOST_AUTO_TEST_CASE |
64 | (fastest_itl_total_enricher_itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_domain_discrete_codomain) |
65 | { itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types<bicremental_type_2, int, total_enricher, INTERVAL_MAP>();} |
66 | |
67 | BOOST_AUTO_TEST_CASE |
68 | (fastest_itl_total_enricher_itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_domain_continuous_codomain_1) |
69 | { itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types<bicremental_type_3, float, total_enricher, INTERVAL_MAP>();} |
70 | |
71 | BOOST_AUTO_TEST_CASE |
72 | (fastest_itl_total_enricher_itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_domain_continuous_codomain_2) |
73 | { itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types<bicremental_type_4, boost::rational<int>, total_enricher, INTERVAL_MAP>();} |
74 | |
75 | // absorber enricher |
76 | // partial x - x == 0 x - x =d= 0 partiality of subtraction |
77 | // total (-x)+ x == 0 (-x)+ x =d= 0 totality of subtraction |
78 | |
79 | |
80 | //------------------------------------------------------------------------------ |
81 | // Inner complement |
82 | //------------------------------------------------------------------------------ |
83 | BOOST_AUTO_TEST_CASE |
84 | (fastest_itl_total_enricher_itv_quantifier_check_inner_complementarity_4_bicremental_types) |
85 | { itv_quantifier_check_inner_complementarity_4_bicremental_types<bicremental_type_4, int, total_enricher, interval_map>();} |
86 | |
87 | BOOST_AUTO_TEST_CASE |
88 | (fastest_itl_total_enricher_itv_quantifier_check_length_complementarity_4_bicremental_types) |
89 | { itv_quantifier_check_length_complementarity_4_bicremental_types<bicremental_type_5, double, total_enricher, split_interval_map>();} |
90 | |
91 | BOOST_AUTO_TEST_CASE |
92 | (fastest_itl_total_absorber_itv_quantifier_check_inner_complementarity_4_bicremental_types) |
93 | { itv_quantifier_check_inner_complementarity_4_bicremental_types<bicremental_type_6, int, total_absorber, split_interval_map>();} |
94 | |
95 | BOOST_AUTO_TEST_CASE |
96 | (fastest_itl_total_absorber_itv_quantifier_check_length_complementarity_4_bicremental_types) |
97 | { itv_quantifier_check_length_complementarity_4_bicremental_types<bicremental_type_7, double, total_absorber, interval_map>();} |
98 | |
99 | #endif // BOOST_ICL_FASTEST_TOTAL_INTERVAL_QUANTIFIER_CASES_HPP_JOFA_090703 |
100 | |
101 | |