/*-----------------------------------------------------------------------------+ Copyright (c) 2010-2010: Joachim Faulhaber +------------------------------------------------------------------------------+ Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENCE.txt or copy at http://www.boost.org/LICENSE_1_0.txt) +-----------------------------------------------------------------------------*/ #ifndef BOOST_ICL_INTERVAL_TRAITS_HPP_JOFA_100926 #define BOOST_ICL_INTERVAL_TRAITS_HPP_JOFA_100926 #include <boost/icl/type_traits/domain_type_of.hpp> #include <boost/icl/type_traits/difference_type_of.hpp> #include <boost/icl/type_traits/size_type_of.hpp> namespace boost{ namespace icl { template<class Type> struct interval_traits; template<class Type> struct domain_type_of<interval_traits<Type> > { typedef typename interval_traits<Type>::domain_type type; }; //------------------------------------------------------------------------------ //- Adapter class //------------------------------------------------------------------------------ template<class Type> struct interval_traits { typedef interval_traits type; typedef typename domain_type_of<Type>::type domain_type; static Type construct(const domain_type& lo, const domain_type& up); static domain_type upper(const Type& inter_val); static domain_type lower(const Type& inter_val); }; template<class Type> struct difference_type_of<interval_traits<Type> > { typedef typename interval_traits<Type>::domain_type domain_type; typedef typename difference_type_of<domain_type>::type type; }; template<class Type> struct size_type_of<interval_traits<Type> > { typedef typename interval_traits<Type>::domain_type domain_type; typedef typename size_type_of<domain_type>::type type; }; }} // namespace boost icl #endif