Chris@16: /*-----------------------------------------------------------------------------+    
Chris@16: Copyright (c) 2010-2010: Joachim Faulhaber
Chris@16: +------------------------------------------------------------------------------+
Chris@16:    Distributed under the Boost Software License, Version 1.0.
Chris@16:       (See accompanying file LICENCE.txt or copy at
Chris@16:            http://www.boost.org/LICENSE_1_0.txt)
Chris@16: +-----------------------------------------------------------------------------*/
Chris@16: #ifndef BOOST_ICL_CONCEPT_INTERVAL_SET_VALUE_HPP_JOFA_100924
Chris@16: #define BOOST_ICL_CONCEPT_INTERVAL_SET_VALUE_HPP_JOFA_100924
Chris@16: 
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/icl/type_traits/is_interval_container.hpp>
Chris@16: #include <boost/icl/concept/interval.hpp>
Chris@16: 
Chris@16: namespace boost{ namespace icl
Chris@16: {
Chris@16: 
Chris@16: //==============================================================================
Chris@16: //= AlgoUnifiers<Set>
Chris@16: //==============================================================================
Chris@16: template<class Type, class Iterator>
Chris@16: inline typename enable_if<is_interval_set<Type>, typename Type::codomain_type>::type
Chris@16: co_value(Iterator value_)
Chris@16: { 
Chris@16:     typedef typename Type::codomain_type codomain_type;
Chris@16:     return icl::is_empty(*value_)? codomain_type() : (*value_).lower(); 
Chris@16: }
Chris@16: 
Chris@16: }} // namespace boost icl
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: