fastest_set_interval_set_cases.hpp 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
  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. // interval_set
  12. //------------------------------------------------------------------------------
  13. BOOST_AUTO_TEST_CASE
  14. (fastest_icl_interval_set_check_monoid_plus_4_bicremental_types)
  15. { interval_set_check_monoid_plus_4_bicremental_types<bicremental_type_1, interval_set>();}
  16. BOOST_AUTO_TEST_CASE
  17. (fastest_icl_interval_set_check_abelian_monoid_plus_4_bicremental_types)
  18. { interval_set_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_2, interval_set>();}
  19. BOOST_AUTO_TEST_CASE
  20. (fastest_icl_interval_set_check_abelian_monoid_et_4_bicremental_types)
  21. { interval_set_check_abelian_monoid_et_4_bicremental_types<bicremental_type_3, interval_set>();}
  22. BOOST_AUTO_TEST_CASE
  23. (fastest_icl_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)
  24. { interval_set_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_4, interval_set>();}
  25. //------------------------------------------------------------------------------
  26. // separate_interval_set
  27. //------------------------------------------------------------------------------
  28. BOOST_AUTO_TEST_CASE
  29. (fastest_icl_separate_interval_set_check_monoid_plus_4_bicremental_types)
  30. { interval_set_check_monoid_plus_4_bicremental_types<bicremental_type_5, separate_interval_set>();}
  31. BOOST_AUTO_TEST_CASE
  32. (fastest_icl_separate_interval_set_check_abelian_monoid_plus_4_bicremental_types)
  33. { interval_set_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_6, separate_interval_set>();}
  34. BOOST_AUTO_TEST_CASE
  35. (fastest_icl_separate_interval_set_check_abelian_monoid_et_4_bicremental_types)
  36. { interval_set_check_abelian_monoid_et_4_bicremental_types<bicremental_type_7, separate_interval_set>();}
  37. BOOST_AUTO_TEST_CASE
  38. (fastest_icl_separate_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)
  39. { interval_set_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_8, separate_interval_set>();}
  40. //------------------------------------------------------------------------------
  41. // split_interval_set
  42. //------------------------------------------------------------------------------
  43. BOOST_AUTO_TEST_CASE
  44. (fastest_icl_split_interval_set_check_monoid_plus_4_bicremental_types)
  45. { interval_set_check_monoid_plus_4_bicremental_types<bicremental_type_1, split_interval_set>();}
  46. BOOST_AUTO_TEST_CASE
  47. (fastest_icl_split_interval_set_check_abelian_monoid_plus_4_bicremental_types)
  48. { interval_set_check_abelian_monoid_plus_4_bicremental_types<bicremental_type_2, split_interval_set>();}
  49. BOOST_AUTO_TEST_CASE
  50. (fastest_icl_split_interval_set_check_abelian_monoid_et_4_bicremental_types)
  51. { interval_set_check_abelian_monoid_et_4_bicremental_types<bicremental_type_3, split_interval_set>();}
  52. BOOST_AUTO_TEST_CASE
  53. (fastest_icl_split_interval_set_check_partial_invertive_monoid_plus_4_bicremental_types)
  54. { interval_set_check_partial_invertive_monoid_plus_4_bicremental_types<bicremental_type_4, split_interval_set>();}
  55. //------------------------------------------------------------------------------
  56. // Containedness
  57. //------------------------------------------------------------------------------
  58. BOOST_AUTO_TEST_CASE
  59. (fastest_icl_interval_set_check_containedness_4_bicremental_types)
  60. { interval_set_check_containedness_4_bicremental_types<bicremental_type_4, interval_set>();}
  61. BOOST_AUTO_TEST_CASE
  62. (fastest_icl_split_interval_set_check_containedness_4_bicremental_types)
  63. { interval_set_check_containedness_4_bicremental_types<bicremental_type_5, split_interval_set>();}
  64. BOOST_AUTO_TEST_CASE
  65. (fastest_icl_separate_interval_set_check_containedness_4_bicremental_types)
  66. { interval_set_check_containedness_4_bicremental_types<bicremental_type_6, separate_interval_set>();}
  67. //------------------------------------------------------------------------------
  68. // Inner Complement
  69. //------------------------------------------------------------------------------
  70. BOOST_AUTO_TEST_CASE
  71. (fastest_icl_interval_set_check_inner_complementarity_4_bicremental_types)
  72. { interval_set_check_inner_complementarity_4_bicremental_types<bicremental_type_7, interval_set>();}
  73. BOOST_AUTO_TEST_CASE
  74. (fastest_icl_separate_interval_set_check_inner_complementarity_4_bicremental_types)
  75. { interval_set_check_inner_complementarity_4_bicremental_types<bicremental_type_8, separate_interval_set>();}
  76. BOOST_AUTO_TEST_CASE
  77. (fastest_icl_split_interval_set_check_inner_complementarity_4_bicremental_types)
  78. { interval_set_check_inner_complementarity_4_bicremental_types<bicremental_type_1, split_interval_set>();}
  79. //------------------------------------------------------------------------------
  80. // Inner Complement and Distance
  81. //------------------------------------------------------------------------------
  82. BOOST_AUTO_TEST_CASE
  83. (fastest_icl_interval_set_check_length_complementarity_4_bicremental_types)
  84. { interval_set_check_length_complementarity_4_bicremental_types<bicremental_type_2, interval_set>();}
  85. BOOST_AUTO_TEST_CASE
  86. (fastest_icl_separate_interval_set_check_length_complementarity_4_bicremental_types)
  87. { interval_set_check_length_complementarity_4_bicremental_types<bicremental_type_3, separate_interval_set>();}
  88. BOOST_AUTO_TEST_CASE
  89. (fastest_icl_split_interval_set_check_length_complementarity_4_bicremental_types)
  90. { interval_set_check_length_complementarity_4_bicremental_types<bicremental_type_4, split_interval_set>();}
  91. #endif // BOOST_ICL_FASTEST_SET_INTERVAL_SET_CASES_HPP_JOFA_090703