Chris@16: /*-----------------------------------------------------------------------------+
Chris@16: Copyright (c) 2008-2009: 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_DETAIL_INTERVAL_MORPHISM_HPP_JOFA_080315
Chris@16: #define BOOST_ICL_DETAIL_INTERVAL_MORPHISM_HPP_JOFA_080315
Chris@16: 
Chris@16: #include <boost/icl/detail/notate.hpp>
Chris@16: #include <boost/icl/concept/interval_set_value.hpp>
Chris@16: #include <boost/icl/concept/element_set_value.hpp>
Chris@16: #include <boost/icl/concept/set_value.hpp>
Chris@16: #include <boost/icl/concept/map_value.hpp>
Chris@16: #include <boost/icl/associative_interval_container.hpp>
Chris@16: #include <boost/icl/associative_element_container.hpp>
Chris@16: 
Chris@16: namespace boost{namespace icl
Chris@16: {
Chris@16:     namespace segmental
Chris@16:     {
Chris@16:         template <typename ElementContainerT, typename IntervalContainerT>
Chris@16:         void atomize(ElementContainerT& result, const IntervalContainerT& src)
Chris@16:         {
Chris@16:             ICL_const_FORALL(typename IntervalContainerT, itv_, src)
Chris@16:             {
Chris@16:                 const typename IntervalContainerT::key_type& itv   = icl::key_value<IntervalContainerT>(itv_);
Chris@16:                 typename IntervalContainerT::codomain_type   coval = icl::co_value<IntervalContainerT>(itv_);
Chris@16: 
Chris@16:                 for(typename IntervalContainerT::domain_type element = first(itv); element <= last(itv); ++element)
Chris@16:                     icl::insert(result, icl::make_value<ElementContainerT>(element, coval));
Chris@16:             }
Chris@16:         }
Chris@16: 
Chris@16:         template <typename IntervalContainerT, typename ElementContainerT>
Chris@16:         void cluster(IntervalContainerT& result, const ElementContainerT& src)
Chris@16:         {
Chris@16:             typedef typename IntervalContainerT::key_type key_type;
Chris@16:             ICL_const_FORALL(typename ElementContainerT, element_, src)
Chris@16:             {
Chris@16:                 const typename ElementContainerT::key_type&  key  
Chris@16:                     = key_value<ElementContainerT>(element_);
Chris@16:                 const typename codomain_type_of<ElementContainerT>::type& coval 
Chris@16:                     = co_value<ElementContainerT>(element_);
Chris@16: 
Chris@16:                 result += icl::make_value<IntervalContainerT>(key_type(key), coval);
Chris@16:             }
Chris@16:         }
Chris@16: 
Chris@16:         template <typename AtomizedType, typename ClusteredType>
Chris@16:         struct atomizer
Chris@16:         {
Chris@16:             void operator()(AtomizedType& atomized, const ClusteredType& clustered)
Chris@16:             {
Chris@16:                 segmental::atomize(atomized, clustered);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template <typename ClusteredType, typename AtomizedType>
Chris@16:         struct clusterer
Chris@16:         {
Chris@16:             void operator()(ClusteredType& clustered, const AtomizedType& atomized)
Chris@16:             {
Chris@16:                 segmental::cluster(clustered, atomized);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template <typename JointType, typename SplitType>
Chris@16:         struct joiner
Chris@16:         {
Chris@16:             void operator()(JointType& joint, SplitType& split)
Chris@16:             {
Chris@16:                 icl::join(split);
Chris@16:                 ICL_FORALL(typename SplitType, split_, split)
Chris@16:                     joint.insert(*split_);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template <typename AbsorberType, typename EnricherType>
Chris@16:         struct identity_absorber
Chris@16:         {
Chris@16:             void operator()(AbsorberType& absorber, EnricherType& enricher)
Chris@16:             {
Chris@16:                 icl::absorb_identities(enricher);
Chris@16:                 ICL_FORALL(typename EnricherType, enricher_, enricher)
Chris@16:                     absorber.insert(*enricher_);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:     } // namespace Interval
Chris@16: 
Chris@16: 
Chris@16:     template<> 
Chris@16:     inline std::string binary_template_to_string<segmental::atomizer>::apply() { return "@"; }
Chris@16:     template<> 
Chris@16:     inline std::string binary_template_to_string<segmental::clusterer>::apply() { return "&"; }
Chris@16:     template<> 
Chris@16:     inline std::string binary_template_to_string<segmental::joiner>::apply() { return "j"; }
Chris@16:     template<> 
Chris@16:     inline std::string binary_template_to_string<segmental::identity_absorber>::apply() { return "a0"; }
Chris@16: }} // namespace boost icl
Chris@16: 
Chris@16: #endif // BOOST_ICL_DETAIL_INTERVAL_MORPHISM_HPP_JOFA_080315
Chris@16: 
Chris@16: 
Chris@16: