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);
}
}