17 template <class IntervalT> 
20     typedef typename domain_type_of<interval_traits<IntervalT> >::type T;  in interval_ctor_4_ordered_types()
28     BOOST_CHECK_EQUAL( icl::is_empty(IntervalT()), true );  in interval_ctor_4_ordered_types()
29     BOOST_CHECK_EQUAL( icl::cardinality(IntervalT()), s_0 );  in interval_ctor_4_ordered_types()
30     BOOST_CHECK_EQUAL(        icl::size(IntervalT()), s_0 );  in interval_ctor_4_ordered_types()
32     BOOST_CHECK_EQUAL( IntervalT(), IntervalT() );  in interval_ctor_4_ordered_types()
33     BOOST_CHECK_EQUAL( IntervalT(), IntervalT(IntervalT().lower(), IntervalT().upper()) );  in interval_ctor_4_ordered_types()
34     BOOST_CHECK_EQUAL( IntervalT(), IntervalT(icl::lower(IntervalT()), icl::upper(IntervalT())) );  in interval_ctor_4_ordered_types()
36     BOOST_CHECK_EQUAL(icl::cardinality(IntervalT(t_0, t_1)) >= s_1,  true);  in interval_ctor_4_ordered_types()
37     BOOST_CHECK_EQUAL((    icl::contains(IntervalT(t_0, t_1), t_0)  in interval_ctor_4_ordered_types()
38                        ||  icl::contains(IntervalT(t_0, t_1), t_1)), true);  in interval_ctor_4_ordered_types()
40     BOOST_CHECK_EQUAL(IntervalT(t_0, t_1).lower(),  t_0);  in interval_ctor_4_ordered_types()
41     BOOST_CHECK_EQUAL(IntervalT(t_0, t_1).upper(),  t_1);  in interval_ctor_4_ordered_types()
42     BOOST_CHECK_EQUAL(lower(icl::construct<IntervalT>(t_0, t_1)),  t_0);  in interval_ctor_4_ordered_types()
43     BOOST_CHECK_EQUAL(upper(icl::construct<IntervalT>(t_0, t_1)),  t_1);  in interval_ctor_4_ordered_types()
47 template <class IntervalT> 
54     typedef typename domain_type_of<interval_traits<IntervalT> >::type T;  in singelizable_interval_4_ordered_types()
60     BOOST_CHECK( is_singelizable<IntervalT>::value );   in singelizable_interval_4_ordered_types()
62     BOOST_CHECK_EQUAL( icl::cardinality(icl::singleton<IntervalT>(t_0)), s_1 );   in singelizable_interval_4_ordered_types()
63     BOOST_CHECK_EQUAL(        icl::size(icl::singleton<IntervalT>(t_0)), s_1 );   in singelizable_interval_4_ordered_types()
64     BOOST_CHECK_EQUAL( icl::cardinality(icl::singleton<IntervalT>(t_1)), s_1 );   in singelizable_interval_4_ordered_types()
65     BOOST_CHECK_EQUAL(        icl::size(icl::singleton<IntervalT>(t_1)), s_1 );   in singelizable_interval_4_ordered_types()
67     BOOST_CHECK_EQUAL( icl::contains(icl::singleton<IntervalT>(t_0), t_0), true );   in singelizable_interval_4_ordered_types()
68     BOOST_CHECK_EQUAL( icl::contains(icl::singleton<IntervalT>(t_1), t_1), true );   in singelizable_interval_4_ordered_types()
71 template <class IntervalT> 
74     typedef typename domain_type_of<interval_traits<IntervalT> >::type T;  in singelizable_interval_4_bicremental_types()
79     BOOST_CHECK( is_singelizable<IntervalT>::value );   in singelizable_interval_4_bicremental_types()
81     BOOST_CHECK_EQUAL( icl::cardinality(IntervalT(MK_v(3))), s_1 );   in singelizable_interval_4_bicremental_types()
82     BOOST_CHECK_EQUAL(        icl::size(IntervalT(MK_v(4))), s_1 );   in singelizable_interval_4_bicremental_types()
83     BOOST_CHECK_EQUAL( icl::singleton<IntervalT>(MK_v(2)), icl::singleton<IntervalT>(MK_v(2)) );  in singelizable_interval_4_bicremental_types()
84     BOOST_CHECK_EQUAL( icl::contains(IntervalT(MK_v(1)), MK_v(1)), true );   in singelizable_interval_4_bicremental_types()
87 template <class IntervalT> 
90     typedef typename domain_type_of<interval_traits<IntervalT> >::type T;  in coverable_asymmetric_interval_4_bicremental_types()
100     BOOST_CHECK_EQUAL( icl::contains(icl::detail::unit_trail<IntervalT>(MK_v(4)), MK_v(4)), true );   in coverable_asymmetric_interval_4_bicremental_types()
101     BOOST_CHECK_EQUAL( icl::length  (icl::detail::unit_trail<IntervalT>(MK_v(3))), d_1 );   in coverable_asymmetric_interval_4_bicremental_types()
102 …ECK      ( icl::touches (icl::detail::unit_trail<IntervalT>(MK_v(2)), icl::detail::unit_trail<Inte…  in coverable_asymmetric_interval_4_bicremental_types()