const_FOR_IMPLMAP(iter)
FOR_IMPLMAP(iter)

namespace boost {
  namespace itl {
    template<class DomainT , class CodomainT > struct mapping_pair;

    template<class SubType , typename DomainT , typename CodomainT , 
             class Traits  = itl::partial_absorber, 
             ITL_COMPARE Compare = ITL_COMPARE_INSTANCE(std::less, DomainT), 
             ITL_COMBINE Combine = ITL_COMBINE_INSTANCE(itl::inplace_plus, CodomainT), 
             ITL_SECTION Section = ITL_SECTION_INSTANCE(itl::inplace_et, CodomainT), 
             template< class, ITL_COMPARE >class Interval = itl::interval, 
             ITL_ALLOC Alloc = std::allocator> 
      class interval_base_map;

    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      struct is_set<itl::interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc >>;
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      struct is_map<itl::interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc >>;
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      struct has_inverse<itl::interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc >>;
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      struct is_interval_container<itl::interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc >>;
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool operator==(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                      const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool operator!=(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                      const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool is_protonic_equal(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                             const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc, 
             template< class, class, class, ITL_COMPARE, ITL_COMBINE, ITL_SECTION, template< class, ITL_COMPARE >class, ITL_ALLOC > class IntervalMap> 
      bool is_protonic_equal(const IntervalMap< DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & left, 
                             const IntervalMap< DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & right);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool operator<(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                     const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool operator>(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                     const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool operator<=(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                      const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      bool operator>=(const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & lhs, 
                      const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & rhs);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & 
      min_assign(interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & object, 
                 const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & operand);
    template<class SubType , class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & 
      max_assign(interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & object, 
                 const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & operand);
    template<class CharType , class CharTraits , class SubType , 
             class DomainT , class CodomainT , class Traits , 
             ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, 
             template< class, ITL_COMPARE >class Interval, ITL_ALLOC Alloc> 
      std::basic_ostream< CharType, CharTraits > & 
      operator<<(std::basic_ostream< CharType, CharTraits > & stream, 
                 const interval_base_map< SubType, DomainT, CodomainT, Traits, Compare, Combine, Section, Interval, Alloc > & object);
  }
}