28 check_border_containedness(const Type& itv)  in check_border_containedness()  argument
31     domain_type lo = icl::lower(itv);  in check_border_containedness()
32     domain_type up = icl::upper(itv);  in check_border_containedness()
35     BOOST_CHECK_EQUAL(icl::contains(itv, icl::identity_element<Type>::value()), true);  in check_border_containedness()
37     BOOST_CHECK_EQUAL(icl::contains(itv, itv), true);  in check_border_containedness()
39     if(icl::bounds(itv) == interval_bounds::closed())  in check_border_containedness()
41         BOOST_CHECK_EQUAL(icl::contains(itv, lo), true);  in check_border_containedness()
42         BOOST_CHECK_EQUAL(icl::contains(itv, up), true);  in check_border_containedness()
43         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::    closed(lo,up)), true);  in check_border_containedness()
44         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::right_open(lo,up)), true);  in check_border_containedness()
45         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>:: left_open(lo,up)), true);  in check_border_containedness()
46         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::      open(lo,up)), true);  in check_border_containedness()
48     else if(icl::bounds(itv) == interval_bounds::right_open())  in check_border_containedness()
50         BOOST_CHECK_EQUAL(icl::contains(itv, lo), true);  in check_border_containedness()
51         BOOST_CHECK_EQUAL(icl::contains(itv, up), false);  in check_border_containedness()
52         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::    closed(lo,up)), false);  in check_border_containedness()
53         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::right_open(lo,up)), true);  in check_border_containedness()
54         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>:: left_open(lo,up)), false);  in check_border_containedness()
55         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::      open(lo,up)), true);  in check_border_containedness()
57     else if(icl::bounds(itv) == interval_bounds::left_open())  in check_border_containedness()
59         BOOST_CHECK_EQUAL(icl::contains(itv, lo), false);  in check_border_containedness()
60         BOOST_CHECK_EQUAL(icl::contains(itv, up), true);  in check_border_containedness()
61         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::    closed(lo,up)), false);  in check_border_containedness()
62         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::right_open(lo,up)), false);  in check_border_containedness()
63         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>:: left_open(lo,up)), true);  in check_border_containedness()
64         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::      open(lo,up)), true);  in check_border_containedness()
66     else if(icl::bounds(itv) == interval_bounds::open())  in check_border_containedness()
68         BOOST_CHECK_EQUAL(icl::contains(itv, lo), false);  in check_border_containedness()
69         BOOST_CHECK_EQUAL(icl::contains(itv, up), false);  in check_border_containedness()
70         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::    closed(lo,up)), false);  in check_border_containedness()
71         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::right_open(lo,up)), false);  in check_border_containedness()
72         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>:: left_open(lo,up)), false);  in check_border_containedness()
73         BOOST_CHECK_EQUAL(icl::contains(itv, icl::interval<domain_type>::      open(lo,up)), true);  in check_border_containedness()