// In header: <boost/icl/interval_map.hpp>
template<typename DomainT, typename CodomainT, typename Traits, 
         ICL_COMPARE Compare, ICL_COMBINE Combine, ICL_SECTION Section, 
         ICL_INTERVAL(ICL_COMPARE) Interval, ICL_ALLOC Alloc> 
class split_interval_map : public boost::icl::interval_base_map< split_interval_map< DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc >, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc >
{
public:
  // construct/copy/destruct
  split_interval_map();
  split_interval_map(const split_interval_map &);
  explicit split_interval_map(const domain_mapping_type &);
  explicit split_interval_map(const value_type &);
  split_interval_map(split_interval_map &&);
  template<typename SubType> 
    split_interval_map & 
    operator=(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > &);
  split_interval_map & operator=(split_interval_map);
  // public member functions
  typedef ICL_INTERVAL_TYPE(Interval, DomainT, Compare);
  template<typename SubType> 
    void assign(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > &);
  // private member functions
  iterator handle_inserted(iterator) const;
  void handle_inserted(iterator, iterator) const;
  template<typename Combiner> void handle_left_combined(iterator);
  template<typename Combiner> void handle_combined(iterator);
  template<typename Combiner> 
    void handle_preceeded_combined(iterator, iterator &);
  template<typename Combiner> 
    void handle_succeeded_combined(iterator, iterator);
  void handle_reinserted(iterator);
  template<typename Combiner> 
    void gap_insert_at(iterator &, iterator, const interval_type &, 
                       const codomain_type &);
};