element_map.hpp File Reference

#include <boost/mpl/and.hpp>
#include <boost/mpl/not.hpp>
#include <boost/icl/detail/on_absorbtion.hpp>
#include <boost/icl/type_traits/unit_element.hpp>
#include <boost/icl/type_traits/is_total.hpp>
#include <boost/icl/type_traits/absorbs_identities.hpp>
#include <boost/icl/type_traits/is_associative_element_container.hpp>
#include <boost/icl/type_traits/is_combinable.hpp>
#include <boost/icl/concept/map_value.hpp>
#include <boost/icl/detail/map_algo.hpp>

Include dependency graph for element_map.hpp:

This graph shows which files directly or indirectly include this file:

Namespaces
	boost
	Duration formatting facet for input.
	boost::icl

Functions
template<class Type , class Predicate >
enable_if < is_associative_element_container < Type >, Type >::type &	boost::icl::erase_if (const Predicate &pred, Type &object)
template<class Type >
enable_if< is_element_map < Type >, bool >::type	boost::icl::within (const typename Type::element_type &value_pair, const Type &super)
	Checks if a key-value pair is in the map. More...
template<class Type >
enable_if< is_element_map < Type >, bool >::type	boost::icl::contains (const Type &super, const typename Type::element_type &value_pair)
template<class Type >
enable_if< is_element_map < Type >, bool >::type	boost::icl::is_distinct_equal (const Type &lhs, const Type &rhs)
	Protonic equality is equality on all elements that do not carry an identity element as content. More...
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::add (Type &object, const typename Type::value_type &value_pair)
	add inserts value_pair into the map if it's key does not exist in the map. More...
template<class Type >
enable_if< is_element_map < Type >, typename Type::iterator >::type	boost::icl::add (Type &object, typename Type::iterator prior, const typename Type::value_type &value_pair)
	add add value_pair into the map using prior as a hint to insert value_pair after the position prior is pointing to. More...
template<class Type >
enable_if< is_element_map < Type >, typename Type::size_type >::type	boost::icl::erase (Type &object, const typename Type::element_type &value_pair)
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::erase (Type &object, const typename Type::set_type &erasure)
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::subtract (Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::subtract (Type &object, const typename Type::domain_type &key_value)
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::operator-= (Type &object, const typename Type::set_type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type	boost::icl::operator- (Type object, const typename Type::set_type &subtrahend)
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::set_at (Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< is_element_map < Type >, void >::type	boost::icl::add_intersection (Type &section, const Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< is_element_map < Type >, void >::type	boost::icl::add_intersection (Type &section, const Type &object, const Type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , is_total< Type > >, Type > ::type &	boost::icl::operator&= (Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, Type >::type &	boost::icl::operator&= (Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type	boost::icl::operator& (Type object, const typename Type::element_type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type	boost::icl::operator& (const typename Type::element_type &operand, Type object)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , is_total< Type > >, Type > ::type &	boost::icl::operator&= (Type &object, const Type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, Type >::type &	boost::icl::operator&= (Type &object, const Type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type	boost::icl::operator& (Type object, const typename Type::key_object_type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type	boost::icl::operator& (const typename Type::key_object_type &operand, Type object)
template<class Type , class CoType >
enable_if< mpl::and_ < is_element_map< Type > , is_total< Type > >, bool > ::type	boost::icl::intersects (const Type &, const CoType &)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, bool >::type	boost::icl::intersects (const Type &object, const typename Type::domain_type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, bool >::type	boost::icl::intersects (const Type &object, const typename Type::set_type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, bool >::type	boost::icl::intersects (const Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, bool >::type	boost::icl::intersects (const Type &object, const Type &operand)
template<class Type >
enable_if< is_element_map < Type >, Type >::type &	boost::icl::flip (Type &object, const typename Type::element_type &operand)
template<class Type , class CoType >
enable_if< mpl::and_ < is_element_map< Type > , is_total< Type > , absorbs_identities< Type > >, Type >::type &	boost::icl::operator^= (Type &object, const CoType &)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , is_total< Type >, mpl::not_ < absorbs_identities< Type > > >, Type >::type &	boost::icl::operator^= (Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , is_total< Type >, mpl::not_ < absorbs_identities< Type > > >, Type >::type &	boost::icl::operator^= (Type &object, const Type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, Type >::type &	boost::icl::operator^= (Type &object, const typename Type::element_type &operand)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_< is_total< Type > > >, Type >::type &	boost::icl::operator^= (Type &object, const Type &operand)
template<class Type >
enable_if< is_element_map < Type >, typename Type::set_type >::type &	boost::icl::domain (typename Type::set_type &domain_set, const Type &object)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , absorbs_identities< Type > >, Type >::type &	boost::icl::absorb_identities (Type &object)
template<class Type >
enable_if< mpl::and_ < is_element_map< Type > , mpl::not_ < absorbs_identities< Type > > >, Type >::type &	boost::icl::absorb_identities (Type &)
template<class CharType , class CharTraits , class Type >
enable_if< is_element_map < Type >, std::basic_ostream < CharType, CharTraits > >::type &	boost::icl::operator<< (std::basic_ostream< CharType, CharTraits > &stream, const Type &object)