| 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_PARTIAL_ICL_QUANTIFIER_CASES_HPP_JOFA_100819 |
|---|
| 9 | #define BOOST_ICL_FASTEST_PARTIAL_ICL_QUANTIFIER_CASES_HPP_JOFA_100819 |
|---|
| 10 | |
|---|
| 11 | //------------------------------------------------------------------------------ |
|---|
| 12 | // partial_absorber |
|---|
| 13 | //------------------------------------------------------------------------------ |
|---|
| 14 | BOOST_AUTO_TEST_CASE |
|---|
| 15 | (fastest_itl_partial_icl_quantifier_check_monoid_plus_4_bicremental_types) |
|---|
| 16 | { icl_quantifier_check_monoid_plus_4_bicremental_types<bicremental_type_1, std::string, partial_absorber, INTERVAL_MAP>();} |
|---|
| 17 | |
|---|
| 18 | BOOST_AUTO_TEST_CASE |
|---|
| 19 | (fastest_itl_partial_icl_quantifier_check_monoid_et_4_bicremental_types) |
|---|
| 20 | { icl_quantifier_check_monoid_et_4_bicremental_types<bicremental_type_2, int, partial_absorber, INTERVAL_MAP>();} |
|---|
| 21 | |
|---|
| 22 | BOOST_AUTO_TEST_CASE |
|---|
| 23 | (fastest_itl_partial_icl_quantifier_check_abelian_monoid_plus_4_bicremental_types) |
|---|
| 24 | { icl_quantifier_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_3, std::string, partial_absorber, INTERVAL_MAP>();} |
|---|
| 25 | |
|---|
| 26 | BOOST_AUTO_TEST_CASE |
|---|
| 27 | (fastest_itl_partial_icl_quantifier_check_abelian_monoid_et_4_bicremental_types) |
|---|
| 28 | { icl_quantifier_check_abelian_monoid_et_4_bicremental_types<bicremental_type_4, int, partial_absorber, INTERVAL_MAP>();} |
|---|
| 29 | |
|---|
| 30 | // x - x = 0 | partial absorber |
|---|
| 31 | BOOST_AUTO_TEST_CASE |
|---|
| 32 | (fastest_itl_partial_icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types) |
|---|
| 33 | { icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_5, int, partial_absorber, INTERVAL_MAP>();} |
|---|
| 34 | |
|---|
| 35 | //------------------------------------------------------------------------------ |
|---|
| 36 | // partial_enricher |
|---|
| 37 | //------------------------------------------------------------------------------ |
|---|
| 38 | BOOST_AUTO_TEST_CASE |
|---|
| 39 | (fastest_itl_partial_enricher_icl_quantifier_check_monoid_plus_4_bicremental_types) |
|---|
| 40 | { icl_quantifier_check_monoid_plus_4_bicremental_types<bicremental_type_6, std::string, partial_enricher, INTERVAL_MAP>();} |
|---|
| 41 | |
|---|
| 42 | BOOST_AUTO_TEST_CASE |
|---|
| 43 | (fastest_itl_partial_enricher_icl_quantifier_check_monoid_et_4_bicremental_types) |
|---|
| 44 | { icl_quantifier_check_monoid_et_4_bicremental_types<bicremental_type_7, int, partial_enricher, INTERVAL_MAP>();} |
|---|
| 45 | |
|---|
| 46 | BOOST_AUTO_TEST_CASE |
|---|
| 47 | (fastest_itl_partial_enricher_icl_quantifier_check_abelian_monoid_plus_4_bicremental_types) |
|---|
| 48 | { icl_quantifier_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_8, std::string, partial_enricher, INTERVAL_MAP>();} |
|---|
| 49 | |
|---|
| 50 | BOOST_AUTO_TEST_CASE |
|---|
| 51 | (fastest_itl_partial_enricher_icl_quantifier_check_abelian_monoid_et_4_bicremental_types) |
|---|
| 52 | { icl_quantifier_check_abelian_monoid_et_4_bicremental_types<bicremental_type_1, int, partial_enricher, INTERVAL_MAP>();} |
|---|
| 53 | |
|---|
| 54 | // x - x =d= 0 | partial enricher |
|---|
| 55 | BOOST_AUTO_TEST_CASE |
|---|
| 56 | (fastest_itl_partial_enricher_icl_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types) |
|---|
| 57 | { icl_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types<bicremental_type_2, 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 | |
|---|
| 67 | BOOST_AUTO_TEST_CASE |
|---|
| 68 | (fastest_itl_partial_icl_quantifier_check_containedness_4_bicremental_types) |
|---|
| 69 | { icl_quantifier_check_containedness_4_bicremental_types<bicremental_type_1, mono, partial_absorber, INTERVAL_MAP>();} |
|---|
| 70 | |
|---|
| 71 | BOOST_AUTO_TEST_CASE |
|---|
| 72 | (fastest_itl_partial_enricher_icl_quantifier_check_containedness_4_bicremental_types) |
|---|
| 73 | { icl_quantifier_check_containedness_4_bicremental_types<bicremental_type_1, mono, partial_enricher, INTERVAL_MAP>();} |
|---|
| 74 | |
|---|
| 75 | |
|---|
| 76 | #endif // BOOST_ICL_FASTEST_PARTIAL_ICL_QUANTIFIER_CASES_HPP_JOFA_100819 |
|---|
| 77 | |
|---|
| 78 | |
|---|
