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_TEST_PARTIAL_ICL_QUANTIFIER_CASES_HPP_JOFA_100819 |
9 | #define BOOST_ICL_TEST_PARTIAL_ICL_QUANTIFIER_CASES_HPP_JOFA_100819 |
10 | |
11 | //------------------------------------------------------------------------------ |
12 | // partial_absorber |
13 | //------------------------------------------------------------------------------ |
14 | BOOST_AUTO_TEST_CASE_TEMPLATE |
15 | (test_itl_partial_icl_quantifier_check_monoid_plus_4_bicremental_types, T, bicremental_types) |
16 | { icl_quantifier_check_monoid_plus_4_bicremental_types<T, std::string, partial_absorber, INTERVAL_MAP>();} |
17 | |
18 | BOOST_AUTO_TEST_CASE_TEMPLATE |
19 | (test_itl_partial_icl_quantifier_check_monoid_et_4_bicremental_types, T, bicremental_types) |
20 | { icl_quantifier_check_monoid_et_4_bicremental_types<T, int, partial_absorber, INTERVAL_MAP>();} |
21 | |
22 | BOOST_AUTO_TEST_CASE_TEMPLATE |
23 | (test_itl_partial_icl_quantifier_check_abelian_monoid_plus_4_bicremental_types, T, bicremental_types) |
24 | { icl_quantifier_check_abelian_monoid_plus_4_bicremental_types<T, std::string, partial_absorber, INTERVAL_MAP>();} |
25 | |
26 | BOOST_AUTO_TEST_CASE_TEMPLATE |
27 | (test_itl_partial_icl_quantifier_check_abelian_monoid_et_4_bicremental_types, T, bicremental_types) |
28 | { icl_quantifier_check_abelian_monoid_et_4_bicremental_types<T, int, partial_absorber, INTERVAL_MAP>();} |
29 | |
30 | // x - x = 0 | partial absorber |
31 | BOOST_AUTO_TEST_CASE_TEMPLATE |
32 | (test_itl_partial_icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types, T, bicremental_types) |
33 | { icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types<T, int, partial_absorber, INTERVAL_MAP>();} |
34 | |
35 | //------------------------------------------------------------------------------ |
36 | // partial_enricher |
37 | //------------------------------------------------------------------------------ |
38 | BOOST_AUTO_TEST_CASE_TEMPLATE |
39 | (test_itl_partial_enricher_icl_quantifier_check_monoid_plus_4_bicremental_types, T, bicremental_types) |
40 | { icl_quantifier_check_monoid_plus_4_bicremental_types<T, std::string, partial_enricher, INTERVAL_MAP>();} |
41 | |
42 | BOOST_AUTO_TEST_CASE_TEMPLATE |
43 | (test_itl_partial_enricher_icl_quantifier_check_monoid_et_4_bicremental_types, T, bicremental_types) |
44 | { icl_quantifier_check_monoid_et_4_bicremental_types<T, int, partial_enricher, INTERVAL_MAP>();} |
45 | |
46 | BOOST_AUTO_TEST_CASE_TEMPLATE |
47 | (test_itl_partial_enricher_icl_quantifier_check_abelian_monoid_plus_4_bicremental_types, T, bicremental_types) |
48 | { icl_quantifier_check_abelian_monoid_plus_4_bicremental_types<T, std::string, partial_enricher, INTERVAL_MAP>();} |
49 | |
50 | BOOST_AUTO_TEST_CASE_TEMPLATE |
51 | (test_itl_partial_enricher_icl_quantifier_check_abelian_monoid_et_4_bicremental_types, T, bicremental_types) |
52 | { icl_quantifier_check_abelian_monoid_et_4_bicremental_types<T, int, partial_enricher, INTERVAL_MAP>();} |
53 | |
54 | // x - x =d= 0 | partial enricher |
55 | BOOST_AUTO_TEST_CASE_TEMPLATE |
56 | (test_itl_partial_enricher_icl_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types, T, bicremental_types) |
57 | { icl_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types<T, int, partial_enricher, INTERVAL_MAP>();} |
58 | |
59 | // absorber enricher |
60 | // partial x - x == 0 x - x =d= 0 partiality of subtraction |
61 | // total (-x)+ x == 0 (-x)+ x =d= 0 totality of subtraction |
62 | |
63 | //------------------------------------------------------------------------------ |
64 | // Containedness |
65 | //------------------------------------------------------------------------------ |
66 | BOOST_AUTO_TEST_CASE |
67 | (test_itl_partial_icl_quantifier_check_containedness_4_bicremental_types) |
68 | { icl_quantifier_check_containedness_4_bicremental_types<bicremental_type_1, mono, partial_absorber, INTERVAL_MAP>();} |
69 | |
70 | BOOST_AUTO_TEST_CASE |
71 | (test_itl_partial_enricher_icl_quantifier_check_containedness_4_bicremental_types) |
72 | { icl_quantifier_check_containedness_4_bicremental_types<bicremental_type_1, mono, partial_enricher, INTERVAL_MAP>();} |
73 | |
74 | |
75 | #endif // BOOST_ICL_TEST_PARTIAL_ICL_QUANTIFIER_CASES_HPP_JOFA_100819 |
76 | |
77 | |