123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218 |
- /* Boost test/cmp_set.cpp
- * test compare::set
- *
- * Copyright 2004 Guillaume Melquiond
- *
- * Distributed under the Boost Software License, Version 1.0.
- * (See accompanying file LICENSE_1_0.txt or
- * copy at http://www.boost.org/LICENSE_1_0.txt)
- */
- #include "cmp_header.hpp"
- using namespace boost::numeric::interval_lib::compare::set;
- // comparisons between [1,2] and [3,4]
- static void test_12_34() {
- const I a(1,2), b(3,4);
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(!(a <= b));
- BOOST_CHECK(!(a > b));
- BOOST_CHECK(!(a >= b));
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(!(b >= a));
- BOOST_CHECK(!(b < a));
- BOOST_CHECK(!(b <= a));
- BOOST_CHECK(!(a == b));
- BOOST_CHECK(a != b);
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between [1,3] and [2,4]
- static void test_13_24() {
- const I a(1,3), b(2,4);
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(!(a <= b));
- BOOST_CHECK(!(a > b));
- BOOST_CHECK(!(a >= b));
- BOOST_CHECK(!(b < a));
- BOOST_CHECK(!(b <= a));
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(!(b >= a));
- BOOST_CHECK(!(a == b));
- BOOST_CHECK(a != b);
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between [1,4] and [2,3]
- static void test_14_23() {
- const I a(1,4), b(2,3);
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(!(a <= b));
- BOOST_CHECK(a > b);
- BOOST_CHECK(a >= b);
- BOOST_CHECK(b < a);
- BOOST_CHECK(b <= a);
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(!(b >= a));
- BOOST_CHECK(!(a == b));
- BOOST_CHECK(a != b);
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between [1,2] and [2,3]
- static void test_12_23() {
- const I a(1,2), b(2,3);
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(!(a <= b));
- BOOST_CHECK(!(a > b));
- BOOST_CHECK(!(a >= b));
- BOOST_CHECK(!(b < a));
- BOOST_CHECK(!(b <= a));
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(!(b >= a));
- BOOST_CHECK(!(a == b));
- BOOST_CHECK(a != b);
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between [1,2] and empty set
- static void test_12_E() {
- I a(1, 2), b(I::empty());
-
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(!(a <= b));
- BOOST_CHECK(a > b);
- BOOST_CHECK(a >= b);
- BOOST_CHECK(b < a);
- BOOST_CHECK(b <= a);
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(!(b >= a));
- BOOST_CHECK(!(a == b));
- BOOST_CHECK(a != b);
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between two empty sets
- static void test_E_E() {
- I a(I::empty()), b(I::empty());
-
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(a <= b);
- BOOST_CHECK(!(a > b));
- BOOST_CHECK(a >= b);
- BOOST_CHECK(!(b < a));
- BOOST_CHECK(b <= a);
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(b >= a);
- BOOST_CHECK(a == b);
- BOOST_CHECK(!(a != b));
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between [1,2] and [1,2]
- static void test_12_12() {
- const I a(1,2), b(1,2);
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(a <= b);
- BOOST_CHECK(!(a > b));
- BOOST_CHECK(a >= b);
- BOOST_CHECK(!(b < a));
- BOOST_CHECK(b <= a);
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(b >= a);
- BOOST_CHECK(a == b);
- BOOST_CHECK(!(a != b));
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- // comparisons between [1,1] and [1,1]
- static void test_11_11() {
- const I a(1,1), b(1,1);
- BOOST_CHECK(!(a < b));
- BOOST_CHECK(a <= b);
- BOOST_CHECK(!(a > b));
- BOOST_CHECK(a >= b);
- BOOST_CHECK(!(b < a));
- BOOST_CHECK(b <= a);
- BOOST_CHECK(!(b > a));
- BOOST_CHECK(b >= a);
- BOOST_CHECK(a == b);
- BOOST_CHECK(!(a != b));
- # ifdef __BORLANDC__
- ::detail::ignore_unused_variable_warning(a);
- ::detail::ignore_unused_variable_warning(b);
- # endif
- }
- int test_main(int, char *[]) {
- test_12_34();
- test_13_24();
- test_14_23();
- test_12_23();
- test_12_E();
- test_E_E();
- test_12_12();
- test_11_11();
- return 0;
- }
|