alpar@25: /* -*- C++ -*-
alpar@25:  *
alpar@25:  * This file is a part of LEMON, a generic C++ optimization library
alpar@25:  *
alpar@39:  * Copyright (C) 2003-2008
alpar@25:  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
alpar@25:  * (Egervary Research Group on Combinatorial Optimization, EGRES).
alpar@25:  *
alpar@25:  * Permission to use, modify and distribute this software is granted
alpar@25:  * provided that this copyright notice appears in all copies. For
alpar@25:  * precise terms see the accompanying LICENSE file.
alpar@25:  *
alpar@25:  * This software is provided "AS IS" with no warranty of any kind,
alpar@25:  * express or implied, and with no claim as to its suitability for any
alpar@25:  * purpose.
alpar@25:  *
alpar@25:  */
alpar@25: 
alpar@25: #ifndef LEMON_MAPS_H
alpar@25: #define LEMON_MAPS_H
alpar@25: 
alpar@25: #include <iterator>
alpar@25: #include <functional>
alpar@25: #include <vector>
alpar@25: 
alpar@25: #include <lemon/bits/utility.h>
kpeter@80: #include <lemon/bits/traits.h>
alpar@25: 
alpar@25: ///\file
alpar@25: ///\ingroup maps
alpar@25: ///\brief Miscellaneous property maps
kpeter@80: 
alpar@25: #include <map>
alpar@25: 
alpar@25: namespace lemon {
alpar@25: 
alpar@25:   /// \addtogroup maps
alpar@25:   /// @{
alpar@25: 
alpar@25:   /// Base class of maps.
alpar@25: 
kpeter@80:   /// Base class of maps. It provides the necessary type definitions
kpeter@80:   /// required by the map %concepts.
kpeter@80:   template<typename K, typename V>
alpar@25:   class MapBase {
alpar@25:   public:
kpeter@80:     /// \biref The key type of the map.
alpar@25:     typedef K Key;
kpeter@80:     /// \brief The value type of the map.
kpeter@80:     /// (The type of objects associated with the keys).
kpeter@80:     typedef V Value;
alpar@25:   };
alpar@25: 
kpeter@80: 
alpar@25:   /// Null map. (a.k.a. DoNothingMap)
alpar@25: 
kpeter@29:   /// This map can be used if you have to provide a map only for
kpeter@80:   /// its type definitions, or if you have to provide a writable map,
kpeter@80:   /// but data written to it is not required (i.e. it will be sent to
kpeter@29:   /// <tt>/dev/null</tt>).
kpeter@80:   /// It conforms the \ref concepts::ReadWriteMap "ReadWriteMap" concept.
kpeter@80:   ///
kpeter@80:   /// \sa ConstMap
kpeter@80:   template<typename K, typename V>
kpeter@80:   class NullMap : public MapBase<K, V> {
alpar@25:   public:
kpeter@80:     typedef MapBase<K, V> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
kpeter@80: 
alpar@25:     /// Gives back a default constructed element.
kpeter@80:     Value operator[](const Key&) const { return Value(); }
alpar@25:     /// Absorbs the value.
kpeter@80:     void set(const Key&, const Value&) {}
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref NullMap class
kpeter@29: 
kpeter@80:   /// This function just returns a \ref NullMap class.
kpeter@80:   /// \relates NullMap
kpeter@80:   template <typename K, typename V>
alpar@25:   NullMap<K, V> nullMap() {
alpar@25:     return NullMap<K, V>();
alpar@25:   }
alpar@25: 
alpar@25: 
alpar@25:   /// Constant map.
alpar@25: 
kpeter@82:   /// This \ref concepts::ReadMap "readable map" assigns a specified
kpeter@82:   /// value to each key.
kpeter@80:   ///
kpeter@80:   /// In other aspects it is equivalent to \ref NullMap.
kpeter@80:   /// So it conforms the \ref concepts::ReadWriteMap "ReadWriteMap"
kpeter@80:   /// concept, but it absorbs the data written to it.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the constMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa NullMap
kpeter@80:   /// \sa IdentityMap
kpeter@80:   template<typename K, typename V>
kpeter@80:   class ConstMap : public MapBase<K, V> {
alpar@25:   private:
kpeter@80:     V _value;
alpar@25:   public:
kpeter@80:     typedef MapBase<K, V> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
alpar@25:     /// Default constructor
alpar@25: 
kpeter@29:     /// Default constructor.
kpeter@80:     /// The value of the map will be default constructed.
alpar@25:     ConstMap() {}
kpeter@80: 
kpeter@29:     /// Constructor with specified initial value
alpar@25: 
kpeter@29:     /// Constructor with specified initial value.
kpeter@80:     /// \param v is the initial value of the map.
kpeter@80:     ConstMap(const Value &v) : _value(v) {}
alpar@25: 
kpeter@80:     /// Gives back the specified value.
kpeter@80:     Value operator[](const Key&) const { return _value; }
alpar@25: 
kpeter@80:     /// Absorbs the value.
kpeter@80:     void set(const Key&, const Value&) {}
kpeter@80: 
kpeter@80:     /// Sets the value that is assigned to each key.
kpeter@80:     void setAll(const Value &v) {
kpeter@80:       _value = v;
kpeter@80:     }
kpeter@80: 
kpeter@80:     template<typename V1>
kpeter@80:     ConstMap(const ConstMap<K, V1> &, const Value &v) : _value(v) {}
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref ConstMap class
alpar@25: 
kpeter@80:   /// This function just returns a \ref ConstMap class.
kpeter@80:   /// \relates ConstMap
kpeter@80:   template<typename K, typename V>
alpar@25:   inline ConstMap<K, V> constMap(const V &v) {
alpar@25:     return ConstMap<K, V>(v);
alpar@25:   }
alpar@25: 
alpar@25: 
alpar@25:   template<typename T, T v>
kpeter@80:   struct Const {};
alpar@25: 
alpar@25:   /// Constant map with inlined constant value.
alpar@25: 
kpeter@82:   /// This \ref concepts::ReadMap "readable map" assigns a specified
kpeter@82:   /// value to each key.
kpeter@80:   ///
kpeter@80:   /// In other aspects it is equivalent to \ref NullMap.
kpeter@80:   /// So it conforms the \ref concepts::ReadWriteMap "ReadWriteMap"
kpeter@80:   /// concept, but it absorbs the data written to it.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the constMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa NullMap
kpeter@80:   /// \sa IdentityMap
alpar@25:   template<typename K, typename V, V v>
alpar@25:   class ConstMap<K, Const<V, v> > : public MapBase<K, V> {
alpar@25:   public:
alpar@25:     typedef MapBase<K, V> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor.
kpeter@80:     ConstMap() {}
kpeter@80: 
kpeter@80:     /// Gives back the specified value.
kpeter@80:     Value operator[](const Key&) const { return v; }
kpeter@80: 
kpeter@80:     /// Absorbs the value.
kpeter@80:     void set(const Key&, const Value&) {}
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref ConstMap class with inlined constant value
alpar@25: 
kpeter@80:   /// This function just returns a \ref ConstMap class with inlined
kpeter@80:   /// constant value.
kpeter@80:   /// \relates ConstMap
kpeter@80:   template<typename K, typename V, V v>
alpar@25:   inline ConstMap<K, Const<V, v> > constMap() {
alpar@25:     return ConstMap<K, Const<V, v> >();
alpar@25:   }
alpar@25: 
alpar@25: 
kpeter@82:   /// Identity map.
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" gives back the given
kpeter@82:   /// key as value without any modification.
kpeter@80:   ///
kpeter@80:   /// \sa ConstMap
kpeter@80:   template <typename T>
kpeter@80:   class IdentityMap : public MapBase<T, T> {
kpeter@80:   public:
kpeter@80:     typedef MapBase<T, T> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
kpeter@80: 
kpeter@80:     /// Gives back the given value without any modification.
kpeter@82:     Value operator[](const Key &k) const {
kpeter@82:       return k;
kpeter@80:     }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns an \ref IdentityMap class
kpeter@80: 
kpeter@80:   /// This function just returns an \ref IdentityMap class.
kpeter@80:   /// \relates IdentityMap
kpeter@80:   template<typename T>
kpeter@80:   inline IdentityMap<T> identityMap() {
kpeter@80:     return IdentityMap<T>();
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// \brief Map for storing values for integer keys from the range
kpeter@80:   /// <tt>[0..size-1]</tt>.
kpeter@80:   ///
kpeter@80:   /// This map is essentially a wrapper for \c std::vector. It assigns
kpeter@80:   /// values to integer keys from the range <tt>[0..size-1]</tt>.
kpeter@80:   /// It can be used with some data structures, for example
kpeter@80:   /// \ref UnionFind, \ref BinHeap, when the used items are small
kpeter@80:   /// integers. This map conforms the \ref concepts::ReferenceMap
kpeter@80:   /// "ReferenceMap" concept.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the rangeMap()
kpeter@80:   /// function.
kpeter@80:   template <typename V>
kpeter@80:   class RangeMap : public MapBase<int, V> {
kpeter@80:     template <typename V1>
kpeter@80:     friend class RangeMap;
kpeter@80:   private:
kpeter@80: 
kpeter@80:     typedef std::vector<V> Vector;
kpeter@80:     Vector _vector;
kpeter@80: 
alpar@25:   public:
alpar@25: 
kpeter@80:     typedef MapBase<int, V> Parent;
kpeter@80:     /// Key type
kpeter@45:     typedef typename Parent::Key Key;
kpeter@80:     /// Value type
kpeter@45:     typedef typename Parent::Value Value;
kpeter@80:     /// Reference type
kpeter@80:     typedef typename Vector::reference Reference;
kpeter@80:     /// Const reference type
kpeter@80:     typedef typename Vector::const_reference ConstReference;
kpeter@80: 
kpeter@80:     typedef True ReferenceMapTag;
kpeter@80: 
kpeter@80:   public:
kpeter@80: 
kpeter@80:     /// Constructor with specified default value.
kpeter@80:     RangeMap(int size = 0, const Value &value = Value())
kpeter@80:       : _vector(size, value) {}
kpeter@80: 
kpeter@80:     /// Constructs the map from an appropriate \c std::vector.
kpeter@80:     template <typename V1>
kpeter@80:     RangeMap(const std::vector<V1>& vector)
kpeter@80:       : _vector(vector.begin(), vector.end()) {}
kpeter@80: 
kpeter@80:     /// Constructs the map from another \ref RangeMap.
kpeter@80:     template <typename V1>
kpeter@80:     RangeMap(const RangeMap<V1> &c)
kpeter@80:       : _vector(c._vector.begin(), c._vector.end()) {}
kpeter@80: 
kpeter@80:     /// Returns the size of the map.
kpeter@80:     int size() {
kpeter@80:       return _vector.size();
kpeter@80:     }
kpeter@80: 
kpeter@80:     /// Resizes the map.
kpeter@80: 
kpeter@80:     /// Resizes the underlying \c std::vector container, so changes the
kpeter@80:     /// keyset of the map.
kpeter@80:     /// \param size The new size of the map. The new keyset will be the
kpeter@80:     /// range <tt>[0..size-1]</tt>.
kpeter@80:     /// \param value The default value to assign to the new keys.
kpeter@80:     void resize(int size, const Value &value = Value()) {
kpeter@80:       _vector.resize(size, value);
kpeter@80:     }
kpeter@80: 
kpeter@80:   private:
kpeter@80: 
kpeter@80:     RangeMap& operator=(const RangeMap&);
kpeter@80: 
kpeter@80:   public:
kpeter@80: 
kpeter@80:     ///\e
kpeter@80:     Reference operator[](const Key &k) {
kpeter@80:       return _vector[k];
kpeter@80:     }
kpeter@80: 
kpeter@80:     ///\e
kpeter@80:     ConstReference operator[](const Key &k) const {
kpeter@80:       return _vector[k];
kpeter@80:     }
kpeter@80: 
kpeter@80:     ///\e
kpeter@80:     void set(const Key &k, const Value &v) {
kpeter@80:       _vector[k] = v;
kpeter@80:     }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref RangeMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref RangeMap class.
kpeter@80:   /// \relates RangeMap
kpeter@80:   template<typename V>
kpeter@80:   inline RangeMap<V> rangeMap(int size = 0, const V &value = V()) {
kpeter@80:     return RangeMap<V>(size, value);
kpeter@80:   }
kpeter@80: 
kpeter@80:   /// \brief Returns a \ref RangeMap class created from an appropriate
kpeter@80:   /// \c std::vector
kpeter@80: 
kpeter@80:   /// This function just returns a \ref RangeMap class created from an
kpeter@80:   /// appropriate \c std::vector.
kpeter@80:   /// \relates RangeMap
kpeter@80:   template<typename V>
kpeter@80:   inline RangeMap<V> rangeMap(const std::vector<V> &vector) {
kpeter@80:     return RangeMap<V>(vector);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Map type based on \c std::map
kpeter@80: 
kpeter@80:   /// This map is essentially a wrapper for \c std::map with addition
kpeter@80:   /// that you can specify a default value for the keys that are not
kpeter@80:   /// stored actually. This value can be different from the default
kpeter@80:   /// contructed value (i.e. \c %Value()).
kpeter@80:   /// This type conforms the \ref concepts::ReferenceMap "ReferenceMap"
kpeter@80:   /// concept.
kpeter@80:   ///
kpeter@80:   /// This map is useful if a default value should be assigned to most of
kpeter@80:   /// the keys and different values should be assigned only to a few
kpeter@80:   /// keys (i.e. the map is "sparse").
kpeter@80:   /// The name of this type also refers to this important usage.
kpeter@80:   ///
kpeter@80:   /// Apart form that this map can be used in many other cases since it
kpeter@80:   /// is based on \c std::map, which is a general associative container.
kpeter@80:   /// However keep in mind that it is usually not as efficient as other
kpeter@80:   /// maps.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the sparseMap()
kpeter@80:   /// function.
kpeter@80:   template <typename K, typename V, typename Compare = std::less<K> >
kpeter@80:   class SparseMap : public MapBase<K, V> {
kpeter@80:     template <typename K1, typename V1, typename C1>
kpeter@80:     friend class SparseMap;
kpeter@80:   public:
kpeter@80: 
kpeter@80:     typedef MapBase<K, V> Parent;
kpeter@80:     /// Key type
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     /// Value type
kpeter@80:     typedef typename Parent::Value Value;
kpeter@80:     /// Reference type
kpeter@80:     typedef Value& Reference;
kpeter@80:     /// Const reference type
kpeter@80:     typedef const Value& ConstReference;
alpar@25: 
kpeter@45:     typedef True ReferenceMapTag;
kpeter@45: 
alpar@25:   private:
kpeter@80: 
kpeter@80:     typedef std::map<K, V, Compare> Map;
kpeter@80:     Map _map;
alpar@25:     Value _value;
alpar@25: 
alpar@25:   public:
alpar@25: 
kpeter@80:     /// \brief Constructor with specified default value.
kpeter@80:     SparseMap(const Value &value = Value()) : _value(value) {}
kpeter@80:     /// \brief Constructs the map from an appropriate \c std::map, and
kpeter@47:     /// explicitly specifies a default value.
kpeter@80:     template <typename V1, typename Comp1>
kpeter@80:     SparseMap(const std::map<Key, V1, Comp1> &map,
kpeter@80:               const Value &value = Value())
alpar@25:       : _map(map.begin(), map.end()), _value(value) {}
kpeter@80: 
kpeter@80:     /// \brief Constructs the map from another \ref SparseMap.
kpeter@80:     template<typename V1, typename Comp1>
kpeter@80:     SparseMap(const SparseMap<Key, V1, Comp1> &c)
alpar@25:       : _map(c._map.begin(), c._map.end()), _value(c._value) {}
alpar@25: 
alpar@25:   private:
alpar@25: 
kpeter@80:     SparseMap& operator=(const SparseMap&);
alpar@25: 
alpar@25:   public:
alpar@25: 
alpar@25:     ///\e
alpar@25:     Reference operator[](const Key &k) {
alpar@25:       typename Map::iterator it = _map.lower_bound(k);
alpar@25:       if (it != _map.end() && !_map.key_comp()(k, it->first))
alpar@25: 	return it->second;
alpar@25:       else
alpar@25: 	return _map.insert(it, std::make_pair(k, _value))->second;
alpar@25:     }
alpar@25: 
kpeter@80:     ///\e
alpar@25:     ConstReference operator[](const Key &k) const {
alpar@25:       typename Map::const_iterator it = _map.find(k);
alpar@25:       if (it != _map.end())
alpar@25: 	return it->second;
alpar@25:       else
alpar@25: 	return _value;
alpar@25:     }
alpar@25: 
kpeter@80:     ///\e
kpeter@80:     void set(const Key &k, const Value &v) {
alpar@25:       typename Map::iterator it = _map.lower_bound(k);
alpar@25:       if (it != _map.end() && !_map.key_comp()(k, it->first))
kpeter@80: 	it->second = v;
alpar@25:       else
kpeter@80: 	_map.insert(it, std::make_pair(k, v));
alpar@25:     }
alpar@25: 
kpeter@80:     ///\e
kpeter@80:     void setAll(const Value &v) {
kpeter@80:       _value = v;
alpar@25:       _map.clear();
kpeter@80:     }
kpeter@80:   };
alpar@25: 
kpeter@80:   /// Returns a \ref SparseMap class
kpeter@45: 
kpeter@80:   /// This function just returns a \ref SparseMap class with specified
kpeter@80:   /// default value.
kpeter@80:   /// \relates SparseMap
kpeter@80:   template<typename K, typename V, typename Compare>
kpeter@80:   inline SparseMap<K, V, Compare> sparseMap(const V& value = V()) {
kpeter@80:     return SparseMap<K, V, Compare>(value);
kpeter@54:   }
kpeter@45: 
kpeter@80:   template<typename K, typename V>
kpeter@80:   inline SparseMap<K, V, std::less<K> > sparseMap(const V& value = V()) {
kpeter@80:     return SparseMap<K, V, std::less<K> >(value);
kpeter@45:   }
alpar@25: 
kpeter@80:   /// \brief Returns a \ref SparseMap class created from an appropriate
kpeter@80:   /// \c std::map
alpar@25: 
kpeter@80:   /// This function just returns a \ref SparseMap class created from an
kpeter@80:   /// appropriate \c std::map.
kpeter@80:   /// \relates SparseMap
kpeter@80:   template<typename K, typename V, typename Compare>
kpeter@80:   inline SparseMap<K, V, Compare>
kpeter@80:     sparseMap(const std::map<K, V, Compare> &map, const V& value = V())
kpeter@80:   {
kpeter@80:     return SparseMap<K, V, Compare>(map, value);
kpeter@45:   }
alpar@25: 
alpar@25:   /// @}
alpar@25: 
alpar@25:   /// \addtogroup map_adaptors
alpar@25:   /// @{
alpar@25: 
kpeter@80:   /// Composition of two maps
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the
kpeter@80:   /// composition of two given maps. That is to say, if \c m1 is of
kpeter@80:   /// type \c M1 and \c m2 is of \c M2, then for
kpeter@80:   /// \code
kpeter@80:   ///   ComposeMap<M1, M2> cm(m1,m2);
kpeter@80:   /// \endcode
kpeter@80:   /// <tt>cm[x]</tt> will be equal to <tt>m1[m2[x]]</tt>.
alpar@25:   ///
kpeter@80:   /// The \c Key type of the map is inherited from \c M2 and the
kpeter@80:   /// \c Value type is from \c M1.
kpeter@80:   /// \c M2::Value must be convertible to \c M1::Key.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the composeMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa CombineMap
kpeter@80:   ///
kpeter@80:   /// \todo Check the requirements.
kpeter@80:   template <typename M1, typename M2>
kpeter@80:   class ComposeMap : public MapBase<typename M2::Key, typename M1::Value> {
kpeter@80:     const M1 &_m1;
kpeter@80:     const M2 &_m2;
alpar@25:   public:
kpeter@80:     typedef MapBase<typename M2::Key, typename M1::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     ComposeMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@80: 
alpar@25:     /// \e
kpeter@80:     typename MapTraits<M1>::ConstReturnValue
kpeter@80:     operator[](const Key &k) const { return _m1[_m2[k]]; }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref ComposeMap class
alpar@25: 
kpeter@80:   /// This function just returns a \ref ComposeMap class.
kpeter@80:   ///
kpeter@80:   /// If \c m1 and \c m2 are maps and the \c Value type of \c m2 is
kpeter@80:   /// convertible to the \c Key of \c m1, then <tt>composeMap(m1,m2)[x]</tt>
kpeter@80:   /// will be equal to <tt>m1[m2[x]]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates ComposeMap
kpeter@80:   template <typename M1, typename M2>
kpeter@80:   inline ComposeMap<M1, M2> composeMap(const M1 &m1, const M2 &m2) {
kpeter@80:     return ComposeMap<M1, M2>(m1, m2);
alpar@25:   }
alpar@25: 
kpeter@80: 
kpeter@80:   /// Combination of two maps using an STL (binary) functor.
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" takes two maps and a
kpeter@80:   /// binary functor and returns the combination of the two given maps
kpeter@80:   /// using the functor.
kpeter@80:   /// That is to say, if \c m1 is of type \c M1 and \c m2 is of \c M2
kpeter@80:   /// and \c f is of \c F, then for
kpeter@80:   /// \code
kpeter@80:   ///   CombineMap<M1,M2,F,V> cm(m1,m2,f);
kpeter@80:   /// \endcode
kpeter@80:   /// <tt>cm[x]</tt> will be equal to <tt>f(m1[x],m2[x])</tt>.
alpar@26:   ///
kpeter@80:   /// The \c Key type of the map is inherited from \c M1 (\c M1::Key
kpeter@80:   /// must be convertible to \c M2::Key) and the \c Value type is \c V.
kpeter@80:   /// \c M2::Value and \c M1::Value must be convertible to the
kpeter@80:   /// corresponding input parameter of \c F and the return type of \c F
kpeter@80:   /// must be convertible to \c V.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the combineMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa ComposeMap
kpeter@80:   ///
kpeter@80:   /// \todo Check the requirements.
kpeter@80:   template<typename M1, typename M2, typename F,
kpeter@80: 	   typename V = typename F::result_type>
kpeter@80:   class CombineMap : public MapBase<typename M1::Key, V> {
kpeter@80:     const M1 &_m1;
kpeter@80:     const M2 &_m2;
kpeter@80:     F _f;
alpar@25:   public:
kpeter@80:     typedef MapBase<typename M1::Key, V> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     CombineMap(const M1 &m1, const M2 &m2, const F &f = F())
kpeter@80:       : _m1(m1), _m2(m2), _f(f) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _f(_m1[k],_m2[k]); }
kpeter@80:   };
alpar@25: 
kpeter@80:   /// Returns a \ref CombineMap class
alpar@25: 
kpeter@80:   /// This function just returns a \ref CombineMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m1 and \c m2 are both maps with \c double
kpeter@80:   /// values, then
kpeter@80:   /// \code
kpeter@80:   ///   combineMap(m1,m2,std::plus<double>())
kpeter@80:   /// \endcode
kpeter@80:   /// is equivalent to
kpeter@80:   /// \code
kpeter@80:   ///   addMap(m1,m2)
kpeter@80:   /// \endcode
kpeter@80:   ///
kpeter@80:   /// This function is specialized for adaptable binary function
kpeter@80:   /// classes and C++ functions.
kpeter@80:   ///
kpeter@80:   /// \relates CombineMap
kpeter@80:   template<typename M1, typename M2, typename F, typename V>
kpeter@80:   inline CombineMap<M1, M2, F, V>
kpeter@80:   combineMap(const M1 &m1, const M2 &m2, const F &f) {
kpeter@80:     return CombineMap<M1, M2, F, V>(m1,m2,f);
alpar@25:   }
alpar@25: 
kpeter@80:   template<typename M1, typename M2, typename F>
kpeter@80:   inline CombineMap<M1, M2, F, typename F::result_type>
kpeter@80:   combineMap(const M1 &m1, const M2 &m2, const F &f) {
kpeter@80:     return combineMap<M1, M2, F, typename F::result_type>(m1,m2,f);
kpeter@80:   }
alpar@25: 
kpeter@80:   template<typename M1, typename M2, typename K1, typename K2, typename V>
kpeter@80:   inline CombineMap<M1, M2, V (*)(K1, K2), V>
kpeter@80:   combineMap(const M1 &m1, const M2 &m2, V (*f)(K1, K2)) {
kpeter@80:     return combineMap<M1, M2, V (*)(K1, K2), V>(m1,m2,f);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Converts an STL style (unary) functor to a map
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the value
kpeter@80:   /// of a given functor. Actually, it just wraps the functor and
kpeter@80:   /// provides the \c Key and \c Value typedefs.
alpar@26:   ///
kpeter@80:   /// Template parameters \c K and \c V will become its \c Key and
kpeter@80:   /// \c Value. In most cases they have to be given explicitly because
kpeter@80:   /// a functor typically does not provide \c argument_type and
kpeter@80:   /// \c result_type typedefs.
kpeter@80:   /// Parameter \c F is the type of the used functor.
kpeter@29:   ///
kpeter@80:   /// The simplest way of using this map is through the functorToMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa MapToFunctor
kpeter@80:   template<typename F,
kpeter@80: 	   typename K = typename F::argument_type,
kpeter@80: 	   typename V = typename F::result_type>
kpeter@80:   class FunctorToMap : public MapBase<K, V> {
kpeter@80:     const F &_f;
kpeter@80:   public:
kpeter@80:     typedef MapBase<K, V> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     FunctorToMap(const F &f = F()) : _f(f) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _f(k); }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref FunctorToMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref FunctorToMap class.
kpeter@80:   ///
kpeter@80:   /// This function is specialized for adaptable binary function
kpeter@80:   /// classes and C++ functions.
kpeter@80:   ///
kpeter@80:   /// \relates FunctorToMap
kpeter@80:   template<typename K, typename V, typename F>
kpeter@80:   inline FunctorToMap<F, K, V> functorToMap(const F &f) {
kpeter@80:     return FunctorToMap<F, K, V>(f);
kpeter@80:   }
kpeter@80: 
kpeter@80:   template <typename F>
kpeter@80:   inline FunctorToMap<F, typename F::argument_type, typename F::result_type>
kpeter@80:     functorToMap(const F &f)
kpeter@80:   {
kpeter@80:     return FunctorToMap<F, typename F::argument_type,
kpeter@80:       typename F::result_type>(f);
kpeter@80:   }
kpeter@80: 
kpeter@80:   template <typename K, typename V>
kpeter@80:   inline FunctorToMap<V (*)(K), K, V> functorToMap(V (*f)(K)) {
kpeter@80:     return FunctorToMap<V (*)(K), K, V>(f);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Converts a map to an STL style (unary) functor
kpeter@80: 
kpeter@80:   /// This class converts a map to an STL style (unary) functor.
kpeter@80:   /// That is it provides an <tt>operator()</tt> to read its values.
kpeter@80:   ///
kpeter@80:   /// For the sake of convenience it also works as a usual
kpeter@80:   /// \ref concepts::ReadMap "readable map", i.e. <tt>operator[]</tt>
kpeter@80:   /// and the \c Key and \c Value typedefs also exist.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the mapToFunctor()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   ///\sa FunctorToMap
kpeter@80:   template <typename M>
kpeter@80:   class MapToFunctor : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     const M &_m;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     typedef typename Parent::Key argument_type;
kpeter@80:     typedef typename Parent::Value result_type;
kpeter@80: 
kpeter@80:     /// Constructor
kpeter@80:     MapToFunctor(const M &m) : _m(m) {}
kpeter@80:     /// \e
kpeter@80:     Value operator()(const Key &k) const { return _m[k]; }
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m[k]; }
alpar@25:   };
kpeter@45: 
kpeter@80:   /// Returns a \ref MapToFunctor class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref MapToFunctor class.
kpeter@80:   /// \relates MapToFunctor
kpeter@45:   template<typename M>
kpeter@80:   inline MapToFunctor<M> mapToFunctor(const M &m) {
kpeter@80:     return MapToFunctor<M>(m);
kpeter@45:   }
alpar@25: 
alpar@25: 
kpeter@80:   /// \brief Map adaptor to convert the \c Value type of a map to
kpeter@80:   /// another type using the default conversion.
kpeter@80: 
kpeter@80:   /// Map adaptor to convert the \c Value type of a \ref concepts::ReadMap
kpeter@80:   /// "readable map" to another type using the default conversion.
kpeter@80:   /// The \c Key type of it is inherited from \c M and the \c Value
kpeter@80:   /// type is \c V.
kpeter@80:   /// This type conforms the \ref concepts::ReadMap "ReadMap" concept.
alpar@26:   ///
kpeter@80:   /// The simplest way of using this map is through the convertMap()
kpeter@80:   /// function.
kpeter@80:   template <typename M, typename V>
kpeter@80:   class ConvertMap : public MapBase<typename M::Key, V> {
kpeter@80:     const M &_m;
kpeter@80:   public:
kpeter@80:     typedef MapBase<typename M::Key, V> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
kpeter@80: 
kpeter@80:     /// Constructor
kpeter@80: 
kpeter@80:     /// Constructor.
kpeter@80:     /// \param m The underlying map.
kpeter@80:     ConvertMap(const M &m) : _m(m) {}
kpeter@80: 
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m[k]; }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref ConvertMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref ConvertMap class.
kpeter@80:   /// \relates ConvertMap
kpeter@80:   template<typename V, typename M>
kpeter@80:   inline ConvertMap<M, V> convertMap(const M &map) {
kpeter@80:     return ConvertMap<M, V>(map);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Applies all map setting operations to two maps
kpeter@80: 
kpeter@80:   /// This map has two \ref concepts::WriteMap "writable map" parameters
kpeter@80:   /// and each write request will be passed to both of them.
kpeter@80:   /// If \c M1 is also \ref concepts::ReadMap "readable", then the read
kpeter@80:   /// operations will return the corresponding values of \c M1.
kpeter@29:   ///
kpeter@80:   /// The \c Key and \c Value types are inherited from \c M1.
kpeter@80:   /// The \c Key and \c Value of \c M2 must be convertible from those
kpeter@80:   /// of \c M1.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the forkMap()
kpeter@80:   /// function.
kpeter@80:   template<typename  M1, typename M2>
kpeter@80:   class ForkMap : public MapBase<typename M1::Key, typename M1::Value> {
kpeter@80:     M1 &_m1;
kpeter@80:     M2 &_m2;
kpeter@80:   public:
kpeter@80:     typedef MapBase<typename M1::Key, typename M1::Value> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     ForkMap(M1 &m1, M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@80:     /// Returns the value associated with the given key in the first map.
kpeter@80:     Value operator[](const Key &k) const { return _m1[k]; }
kpeter@80:     /// Sets the value associated with the given key in both maps.
kpeter@80:     void set(const Key &k, const Value &v) { _m1.set(k,v); _m2.set(k,v); }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref ForkMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref ForkMap class.
kpeter@80:   /// \relates ForkMap
kpeter@80:   template <typename M1, typename M2>
kpeter@80:   inline ForkMap<M1,M2> forkMap(M1 &m1, M2 &m2) {
kpeter@80:     return ForkMap<M1,M2>(m1,m2);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Sum of two maps
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the sum
kpeter@80:   /// of the values of the two given maps.
kpeter@80:   /// Its \c Key and \c Value types are inherited from \c M1.
kpeter@80:   /// The \c Key and \c Value of \c M2 must be convertible to those of
kpeter@80:   /// \c M1.
kpeter@80:   ///
kpeter@80:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@80:   /// \code
kpeter@80:   ///   AddMap<M1,M2> am(m1,m2);
kpeter@80:   /// \endcode
kpeter@80:   /// <tt>am[x]</tt> will be equal to <tt>m1[x]+m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the addMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa SubMap, MulMap, DivMap
kpeter@80:   /// \sa ShiftMap, ShiftWriteMap
kpeter@80:   template<typename M1, typename M2>
alpar@25:   class AddMap : public MapBase<typename M1::Key, typename M1::Value> {
kpeter@80:     const M1 &_m1;
kpeter@80:     const M2 &_m2;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M1::Key, typename M1::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     AddMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m1[k]+_m2[k]; }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns an \ref AddMap class
kpeter@80: 
kpeter@80:   /// This function just returns an \ref AddMap class.
alpar@25:   ///
kpeter@80:   /// For example, if \c m1 and \c m2 are both maps with \c double
kpeter@80:   /// values, then <tt>addMap(m1,m2)[x]</tt> will be equal to
kpeter@80:   /// <tt>m1[x]+m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates AddMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   inline AddMap<M1, M2> addMap(const M1 &m1, const M2 &m2) {
alpar@25:     return AddMap<M1, M2>(m1,m2);
alpar@25:   }
alpar@25: 
alpar@25: 
kpeter@80:   /// Difference of two maps
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the difference
kpeter@80:   /// of the values of the two given maps.
kpeter@80:   /// Its \c Key and \c Value types are inherited from \c M1.
kpeter@80:   /// The \c Key and \c Value of \c M2 must be convertible to those of
kpeter@80:   /// \c M1.
alpar@25:   ///
kpeter@80:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@80:   /// \code
kpeter@80:   ///   SubMap<M1,M2> sm(m1,m2);
kpeter@80:   /// \endcode
kpeter@80:   /// <tt>sm[x]</tt> will be equal to <tt>m1[x]-m2[x]</tt>.
kpeter@29:   ///
kpeter@80:   /// The simplest way of using this map is through the subMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa AddMap, MulMap, DivMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   class SubMap : public MapBase<typename M1::Key, typename M1::Value> {
kpeter@80:     const M1 &_m1;
kpeter@80:     const M2 &_m2;
kpeter@80:   public:
kpeter@80:     typedef MapBase<typename M1::Key, typename M1::Value> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
kpeter@80: 
kpeter@80:     /// Constructor
kpeter@80:     SubMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m1[k]-_m2[k]; }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref SubMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref SubMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m1 and \c m2 are both maps with \c double
kpeter@80:   /// values, then <tt>subMap(m1,m2)[x]</tt> will be equal to
kpeter@80:   /// <tt>m1[x]-m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates SubMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   inline SubMap<M1, M2> subMap(const M1 &m1, const M2 &m2) {
kpeter@80:     return SubMap<M1, M2>(m1,m2);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Product of two maps
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the product
kpeter@80:   /// of the values of the two given maps.
kpeter@80:   /// Its \c Key and \c Value types are inherited from \c M1.
kpeter@80:   /// The \c Key and \c Value of \c M2 must be convertible to those of
kpeter@80:   /// \c M1.
kpeter@80:   ///
kpeter@80:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@80:   /// \code
kpeter@80:   ///   MulMap<M1,M2> mm(m1,m2);
kpeter@80:   /// \endcode
kpeter@80:   /// <tt>mm[x]</tt> will be equal to <tt>m1[x]*m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the mulMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa AddMap, SubMap, DivMap
kpeter@80:   /// \sa ScaleMap, ScaleWriteMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   class MulMap : public MapBase<typename M1::Key, typename M1::Value> {
kpeter@80:     const M1 &_m1;
kpeter@80:     const M2 &_m2;
kpeter@80:   public:
kpeter@80:     typedef MapBase<typename M1::Key, typename M1::Value> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
kpeter@80: 
kpeter@80:     /// Constructor
kpeter@80:     MulMap(const M1 &m1,const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m1[k]*_m2[k]; }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref MulMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref MulMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m1 and \c m2 are both maps with \c double
kpeter@80:   /// values, then <tt>mulMap(m1,m2)[x]</tt> will be equal to
kpeter@80:   /// <tt>m1[x]*m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates MulMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   inline MulMap<M1, M2> mulMap(const M1 &m1,const M2 &m2) {
kpeter@80:     return MulMap<M1, M2>(m1,m2);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Quotient of two maps
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the quotient
kpeter@80:   /// of the values of the two given maps.
kpeter@80:   /// Its \c Key and \c Value types are inherited from \c M1.
kpeter@80:   /// The \c Key and \c Value of \c M2 must be convertible to those of
kpeter@80:   /// \c M1.
kpeter@80:   ///
kpeter@80:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@80:   /// \code
kpeter@80:   ///   DivMap<M1,M2> dm(m1,m2);
kpeter@80:   /// \endcode
kpeter@80:   /// <tt>dm[x]</tt> will be equal to <tt>m1[x]/m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the divMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa AddMap, SubMap, MulMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   class DivMap : public MapBase<typename M1::Key, typename M1::Value> {
kpeter@80:     const M1 &_m1;
kpeter@80:     const M2 &_m2;
kpeter@80:   public:
kpeter@80:     typedef MapBase<typename M1::Key, typename M1::Value> Parent;
kpeter@80:     typedef typename Parent::Key Key;
kpeter@80:     typedef typename Parent::Value Value;
kpeter@80: 
kpeter@80:     /// Constructor
kpeter@80:     DivMap(const M1 &m1,const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m1[k]/_m2[k]; }
kpeter@80:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref DivMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref DivMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m1 and \c m2 are both maps with \c double
kpeter@80:   /// values, then <tt>divMap(m1,m2)[x]</tt> will be equal to
kpeter@80:   /// <tt>m1[x]/m2[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates DivMap
kpeter@80:   template<typename M1, typename M2>
kpeter@80:   inline DivMap<M1, M2> divMap(const M1 &m1,const M2 &m2) {
kpeter@80:     return DivMap<M1, M2>(m1,m2);
kpeter@80:   }
kpeter@80: 
kpeter@80: 
kpeter@80:   /// Shifts a map with a constant.
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the sum of
kpeter@80:   /// the given map and a constant value (i.e. it shifts the map with
kpeter@80:   /// the constant). Its \c Key and \c Value are inherited from \c M.
kpeter@80:   ///
kpeter@80:   /// Actually,
kpeter@80:   /// \code
kpeter@80:   ///   ShiftMap<M> sh(m,v);
kpeter@80:   /// \endcode
kpeter@80:   /// is equivalent to
kpeter@80:   /// \code
kpeter@80:   ///   ConstMap<M::Key, M::Value> cm(v);
kpeter@80:   ///   AddMap<M, ConstMap<M::Key, M::Value> > sh(m,cm);
kpeter@80:   /// \endcode
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the shiftMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa ShiftWriteMap
kpeter@80:   template<typename M, typename C = typename M::Value>
alpar@25:   class ShiftMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     const M &_m;
kpeter@80:     C _v;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
alpar@25: 
kpeter@80:     /// Constructor.
kpeter@80:     /// \param m The undelying map.
kpeter@80:     /// \param v The constant value.
kpeter@80:     ShiftMap(const M &m, const C &v) : _m(m), _v(v) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m[k]+_v; }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Shifts a map with a constant (read-write version).
alpar@25: 
kpeter@80:   /// This \ref concepts::ReadWriteMap "read-write map" returns the sum
kpeter@80:   /// of the given map and a constant value (i.e. it shifts the map with
kpeter@80:   /// the constant). Its \c Key and \c Value are inherited from \c M.
kpeter@80:   /// It makes also possible to write the map.
alpar@25:   ///
kpeter@80:   /// The simplest way of using this map is through the shiftWriteMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa ShiftMap
kpeter@80:   template<typename M, typename C = typename M::Value>
alpar@25:   class ShiftWriteMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     M &_m;
kpeter@80:     C _v;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
alpar@25: 
kpeter@80:     /// Constructor.
kpeter@80:     /// \param m The undelying map.
kpeter@80:     /// \param v The constant value.
kpeter@80:     ShiftWriteMap(M &m, const C &v) : _m(m), _v(v) {}
alpar@25:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _m[k]+_v; }
alpar@25:     /// \e
kpeter@80:     void set(const Key &k, const Value &v) { _m.set(k, v-_v); }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref ShiftMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref ShiftMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values and \c v is
kpeter@80:   /// \c double, then <tt>shiftMap(m,v)[x]</tt> will be equal to
kpeter@80:   /// <tt>m[x]+v</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates ShiftMap
kpeter@80:   template<typename M, typename C>
kpeter@80:   inline ShiftMap<M, C> shiftMap(const M &m, const C &v) {
alpar@25:     return ShiftMap<M, C>(m,v);
alpar@25:   }
alpar@25: 
kpeter@80:   /// Returns a \ref ShiftWriteMap class
kpeter@29: 
kpeter@80:   /// This function just returns a \ref ShiftWriteMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values and \c v is
kpeter@80:   /// \c double, then <tt>shiftWriteMap(m,v)[x]</tt> will be equal to
kpeter@80:   /// <tt>m[x]+v</tt>.
kpeter@80:   /// Moreover it makes also possible to write the map.
kpeter@80:   ///
kpeter@80:   /// \relates ShiftWriteMap
kpeter@80:   template<typename M, typename C>
kpeter@80:   inline ShiftWriteMap<M, C> shiftWriteMap(M &m, const C &v) {
alpar@25:     return ShiftWriteMap<M, C>(m,v);
alpar@25:   }
alpar@25: 
alpar@25: 
kpeter@80:   /// Scales a map with a constant.
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the value of
kpeter@80:   /// the given map multiplied from the left side with a constant value.
kpeter@80:   /// Its \c Key and \c Value are inherited from \c M.
alpar@26:   ///
kpeter@80:   /// Actually,
kpeter@80:   /// \code
kpeter@80:   ///   ScaleMap<M> sc(m,v);
kpeter@80:   /// \endcode
kpeter@80:   /// is equivalent to
kpeter@80:   /// \code
kpeter@80:   ///   ConstMap<M::Key, M::Value> cm(v);
kpeter@80:   ///   MulMap<ConstMap<M::Key, M::Value>, M> sc(cm,m);
kpeter@80:   /// \endcode
alpar@25:   ///
kpeter@80:   /// The simplest way of using this map is through the scaleMap()
kpeter@80:   /// function.
alpar@25:   ///
kpeter@80:   /// \sa ScaleWriteMap
kpeter@80:   template<typename M, typename C = typename M::Value>
alpar@25:   class ScaleMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     const M &_m;
kpeter@80:     C _v;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
alpar@25: 
kpeter@80:     /// Constructor.
kpeter@80:     /// \param m The undelying map.
kpeter@80:     /// \param v The constant value.
kpeter@80:     ScaleMap(const M &m, const C &v) : _m(m), _v(v) {}
alpar@25:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _v*_m[k]; }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Scales a map with a constant (read-write version).
alpar@25: 
kpeter@80:   /// This \ref concepts::ReadWriteMap "read-write map" returns the value of
kpeter@80:   /// the given map multiplied from the left side with a constant value.
kpeter@80:   /// Its \c Key and \c Value are inherited from \c M.
kpeter@80:   /// It can also be used as write map if the \c / operator is defined
kpeter@80:   /// between \c Value and \c C and the given multiplier is not zero.
kpeter@29:   ///
kpeter@80:   /// The simplest way of using this map is through the scaleWriteMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa ScaleMap
kpeter@80:   template<typename M, typename C = typename M::Value>
alpar@25:   class ScaleWriteMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     M &_m;
kpeter@80:     C _v;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
alpar@25: 
kpeter@80:     /// Constructor.
kpeter@80:     /// \param m The undelying map.
kpeter@80:     /// \param v The constant value.
kpeter@80:     ScaleWriteMap(M &m, const C &v) : _m(m), _v(v) {}
alpar@25:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return _v*_m[k]; }
alpar@25:     /// \e
kpeter@80:     void set(const Key &k, const Value &v) { _m.set(k, v/_v); }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref ScaleMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref ScaleMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values and \c v is
kpeter@80:   /// \c double, then <tt>scaleMap(m,v)[x]</tt> will be equal to
kpeter@80:   /// <tt>v*m[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates ScaleMap
kpeter@80:   template<typename M, typename C>
kpeter@80:   inline ScaleMap<M, C> scaleMap(const M &m, const C &v) {
alpar@25:     return ScaleMap<M, C>(m,v);
alpar@25:   }
alpar@25: 
kpeter@80:   /// Returns a \ref ScaleWriteMap class
kpeter@29: 
kpeter@80:   /// This function just returns a \ref ScaleWriteMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values and \c v is
kpeter@80:   /// \c double, then <tt>scaleWriteMap(m,v)[x]</tt> will be equal to
kpeter@80:   /// <tt>v*m[x]</tt>.
kpeter@80:   /// Moreover it makes also possible to write the map.
kpeter@80:   ///
kpeter@80:   /// \relates ScaleWriteMap
kpeter@80:   template<typename M, typename C>
kpeter@80:   inline ScaleWriteMap<M, C> scaleWriteMap(M &m, const C &v) {
alpar@25:     return ScaleWriteMap<M, C>(m,v);
alpar@25:   }
alpar@25: 
alpar@25: 
kpeter@80:   /// Negative of a map
alpar@25: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the negative
kpeter@80:   /// of the values of the given map (using the unary \c - operator).
kpeter@80:   /// Its \c Key and \c Value are inherited from \c M.
alpar@25:   ///
kpeter@80:   /// If M::Value is \c int, \c double etc., then
kpeter@80:   /// \code
kpeter@80:   ///   NegMap<M> neg(m);
kpeter@80:   /// \endcode
kpeter@80:   /// is equivalent to
kpeter@80:   /// \code
kpeter@80:   ///   ScaleMap<M> neg(m,-1);
kpeter@80:   /// \endcode
kpeter@29:   ///
kpeter@80:   /// The simplest way of using this map is through the negMap()
kpeter@80:   /// function.
kpeter@29:   ///
kpeter@80:   /// \sa NegWriteMap
kpeter@80:   template<typename M>
alpar@25:   class NegMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     const M& _m;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     NegMap(const M &m) : _m(m) {}
alpar@25:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return -_m[k]; }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Negative of a map (read-write version)
kpeter@80: 
kpeter@80:   /// This \ref concepts::ReadWriteMap "read-write map" returns the
kpeter@80:   /// negative of the values of the given map (using the unary \c -
kpeter@80:   /// operator).
kpeter@80:   /// Its \c Key and \c Value are inherited from \c M.
kpeter@80:   /// It makes also possible to write the map.
kpeter@80:   ///
kpeter@80:   /// If M::Value is \c int, \c double etc., then
kpeter@80:   /// \code
kpeter@80:   ///   NegWriteMap<M> neg(m);
kpeter@80:   /// \endcode
kpeter@80:   /// is equivalent to
kpeter@80:   /// \code
kpeter@80:   ///   ScaleWriteMap<M> neg(m,-1);
kpeter@80:   /// \endcode
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the negWriteMap()
kpeter@80:   /// function.
kpeter@29:   ///
kpeter@29:   /// \sa NegMap
kpeter@80:   template<typename M>
alpar@25:   class NegWriteMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     M &_m;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     NegWriteMap(M &m) : _m(m) {}
alpar@25:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return -_m[k]; }
alpar@25:     /// \e
kpeter@80:     void set(const Key &k, const Value &v) { _m.set(k, -v); }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns a \ref NegMap class
alpar@25: 
kpeter@80:   /// This function just returns a \ref NegMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values, then
kpeter@80:   /// <tt>negMap(m)[x]</tt> will be equal to <tt>-m[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates NegMap
kpeter@80:   template <typename M>
alpar@25:   inline NegMap<M> negMap(const M &m) {
alpar@25:     return NegMap<M>(m);
alpar@25:   }
alpar@25: 
kpeter@80:   /// Returns a \ref NegWriteMap class
kpeter@29: 
kpeter@80:   /// This function just returns a \ref NegWriteMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values, then
kpeter@80:   /// <tt>negWriteMap(m)[x]</tt> will be equal to <tt>-m[x]</tt>.
kpeter@80:   /// Moreover it makes also possible to write the map.
kpeter@80:   ///
kpeter@80:   /// \relates NegWriteMap
kpeter@80:   template <typename M>
kpeter@80:   inline NegWriteMap<M> negWriteMap(M &m) {
alpar@25:     return NegWriteMap<M>(m);
alpar@25:   }
alpar@25: 
alpar@25: 
kpeter@80:   /// Absolute value of a map
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the absolute
kpeter@80:   /// value of the values of the given map.
kpeter@80:   /// Its \c Key and \c Value are inherited from \c M.
kpeter@80:   /// \c Value must be comparable to \c 0 and the unary \c -
kpeter@80:   /// operator must be defined for it, of course.
kpeter@80:   ///
kpeter@80:   /// The simplest way of using this map is through the absMap()
kpeter@80:   /// function.
kpeter@80:   template<typename M>
alpar@25:   class AbsMap : public MapBase<typename M::Key, typename M::Value> {
kpeter@80:     const M &_m;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, typename M::Value> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
kpeter@80:     /// Constructor
kpeter@80:     AbsMap(const M &m) : _m(m) {}
alpar@25:     /// \e
kpeter@80:     Value operator[](const Key &k) const {
kpeter@80:       Value tmp = _m[k];
alpar@25:       return tmp >= 0 ? tmp : -tmp;
alpar@25:     }
alpar@25: 
alpar@25:   };
alpar@25: 
kpeter@80:   /// Returns an \ref AbsMap class
kpeter@80: 
kpeter@80:   /// This function just returns an \ref AbsMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c double values, then
kpeter@80:   /// <tt>absMap(m)[x]</tt> will be equal to <tt>m[x]</tt> if
kpeter@80:   /// it is positive or zero and <tt>-m[x]</tt> if <tt>m[x]</tt> is
kpeter@80:   /// negative.
kpeter@80:   ///
kpeter@80:   /// \relates AbsMap
kpeter@80:   template<typename M>
alpar@25:   inline AbsMap<M> absMap(const M &m) {
alpar@25:     return AbsMap<M>(m);
alpar@25:   }
alpar@25: 
kpeter@82:   /// @}
kpeter@82:   
kpeter@82:   // Logical maps and map adaptors:
kpeter@82: 
kpeter@82:   /// \addtogroup maps
kpeter@82:   /// @{
kpeter@82: 
kpeter@82:   /// Constant \c true map.
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" assigns \c true to
kpeter@82:   /// each key.
kpeter@82:   ///
kpeter@82:   /// Note that
kpeter@82:   /// \code
kpeter@82:   ///   TrueMap<K> tm;
kpeter@82:   /// \endcode
kpeter@82:   /// is equivalent to
kpeter@82:   /// \code
kpeter@82:   ///   ConstMap<K,bool> tm(true);
kpeter@82:   /// \endcode
kpeter@82:   ///
kpeter@82:   /// \sa FalseMap
kpeter@82:   /// \sa ConstMap
kpeter@82:   template <typename K>
kpeter@82:   class TrueMap : public MapBase<K, bool> {
kpeter@82:   public:
kpeter@82:     typedef MapBase<K, bool> Parent;
kpeter@82:     typedef typename Parent::Key Key;
kpeter@82:     typedef typename Parent::Value Value;
kpeter@82: 
kpeter@82:     /// Gives back \c true.
kpeter@82:     Value operator[](const Key&) const { return true; }
kpeter@82:   };
kpeter@82: 
kpeter@82:   /// Returns a \ref TrueMap class
kpeter@82: 
kpeter@82:   /// This function just returns a \ref TrueMap class.
kpeter@82:   /// \relates TrueMap
kpeter@82:   template<typename K>
kpeter@82:   inline TrueMap<K> trueMap() {
kpeter@82:     return TrueMap<K>();
kpeter@82:   }
kpeter@82: 
kpeter@82: 
kpeter@82:   /// Constant \c false map.
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" assigns \c false to
kpeter@82:   /// each key.
kpeter@82:   ///
kpeter@82:   /// Note that
kpeter@82:   /// \code
kpeter@82:   ///   FalseMap<K> fm;
kpeter@82:   /// \endcode
kpeter@82:   /// is equivalent to
kpeter@82:   /// \code
kpeter@82:   ///   ConstMap<K,bool> fm(false);
kpeter@82:   /// \endcode
kpeter@82:   ///
kpeter@82:   /// \sa TrueMap
kpeter@82:   /// \sa ConstMap
kpeter@82:   template <typename K>
kpeter@82:   class FalseMap : public MapBase<K, bool> {
kpeter@82:   public:
kpeter@82:     typedef MapBase<K, bool> Parent;
kpeter@82:     typedef typename Parent::Key Key;
kpeter@82:     typedef typename Parent::Value Value;
kpeter@82: 
kpeter@82:     /// Gives back \c false.
kpeter@82:     Value operator[](const Key&) const { return false; }
kpeter@82:   };
kpeter@82: 
kpeter@82:   /// Returns a \ref FalseMap class
kpeter@82: 
kpeter@82:   /// This function just returns a \ref FalseMap class.
kpeter@82:   /// \relates FalseMap
kpeter@82:   template<typename K>
kpeter@82:   inline FalseMap<K> falseMap() {
kpeter@82:     return FalseMap<K>();
kpeter@82:   }
kpeter@82: 
kpeter@82:   /// @}
kpeter@82: 
kpeter@82:   /// \addtogroup map_adaptors
kpeter@82:   /// @{
kpeter@82: 
kpeter@82:   /// Logical 'and' of two maps
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the logical
kpeter@82:   /// 'and' of the values of the two given maps.
kpeter@82:   /// Its \c Key type is inherited from \c M1 and its \c Value type is
kpeter@82:   /// \c bool. \c M2::Key must be convertible to \c M1::Key.
kpeter@82:   ///
kpeter@82:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@82:   /// \code
kpeter@82:   ///   AndMap<M1,M2> am(m1,m2);
kpeter@82:   /// \endcode
kpeter@82:   /// <tt>am[x]</tt> will be equal to <tt>m1[x]&&m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// The simplest way of using this map is through the andMap()
kpeter@82:   /// function.
kpeter@82:   ///
kpeter@82:   /// \sa OrMap
kpeter@82:   /// \sa NotMap, NotWriteMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   class AndMap : public MapBase<typename M1::Key, bool> {
kpeter@82:     const M1 &_m1;
kpeter@82:     const M2 &_m2;
kpeter@82:   public:
kpeter@82:     typedef MapBase<typename M1::Key, bool> Parent;
kpeter@82:     typedef typename Parent::Key Key;
kpeter@82:     typedef typename Parent::Value Value;
kpeter@82: 
kpeter@82:     /// Constructor
kpeter@82:     AndMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@82:     /// \e
kpeter@82:     Value operator[](const Key &k) const { return _m1[k]&&_m2[k]; }
kpeter@82:   };
kpeter@82: 
kpeter@82:   /// Returns an \ref AndMap class
kpeter@82: 
kpeter@82:   /// This function just returns an \ref AndMap class.
kpeter@82:   ///
kpeter@82:   /// For example, if \c m1 and \c m2 are both maps with \c bool values,
kpeter@82:   /// then <tt>andMap(m1,m2)[x]</tt> will be equal to
kpeter@82:   /// <tt>m1[x]&&m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// \relates AndMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   inline AndMap<M1, M2> andMap(const M1 &m1, const M2 &m2) {
kpeter@82:     return AndMap<M1, M2>(m1,m2);
kpeter@82:   }
kpeter@82: 
kpeter@82: 
kpeter@82:   /// Logical 'or' of two maps
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the logical
kpeter@82:   /// 'or' of the values of the two given maps.
kpeter@82:   /// Its \c Key type is inherited from \c M1 and its \c Value type is
kpeter@82:   /// \c bool. \c M2::Key must be convertible to \c M1::Key.
kpeter@82:   ///
kpeter@82:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@82:   /// \code
kpeter@82:   ///   OrMap<M1,M2> om(m1,m2);
kpeter@82:   /// \endcode
kpeter@82:   /// <tt>om[x]</tt> will be equal to <tt>m1[x]||m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// The simplest way of using this map is through the orMap()
kpeter@82:   /// function.
kpeter@82:   ///
kpeter@82:   /// \sa AndMap
kpeter@82:   /// \sa NotMap, NotWriteMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   class OrMap : public MapBase<typename M1::Key, bool> {
kpeter@82:     const M1 &_m1;
kpeter@82:     const M2 &_m2;
kpeter@82:   public:
kpeter@82:     typedef MapBase<typename M1::Key, bool> Parent;
kpeter@82:     typedef typename Parent::Key Key;
kpeter@82:     typedef typename Parent::Value Value;
kpeter@82: 
kpeter@82:     /// Constructor
kpeter@82:     OrMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@82:     /// \e
kpeter@82:     Value operator[](const Key &k) const { return _m1[k]||_m2[k]; }
kpeter@82:   };
kpeter@82: 
kpeter@82:   /// Returns an \ref OrMap class
kpeter@82: 
kpeter@82:   /// This function just returns an \ref OrMap class.
kpeter@82:   ///
kpeter@82:   /// For example, if \c m1 and \c m2 are both maps with \c bool values,
kpeter@82:   /// then <tt>orMap(m1,m2)[x]</tt> will be equal to
kpeter@82:   /// <tt>m1[x]||m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// \relates OrMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   inline OrMap<M1, M2> orMap(const M1 &m1, const M2 &m2) {
kpeter@82:     return OrMap<M1, M2>(m1,m2);
kpeter@82:   }
kpeter@82: 
alpar@25: 
kpeter@80:   /// Logical 'not' of a map
kpeter@80: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" returns the logical
kpeter@80:   /// negation of the values of the given map.
kpeter@80:   /// Its \c Key is inherited from \c M and its \c Value is \c bool.
alpar@25:   ///
kpeter@80:   /// The simplest way of using this map is through the notMap()
kpeter@80:   /// function.
alpar@25:   ///
kpeter@80:   /// \sa NotWriteMap
kpeter@80:   template <typename M>
alpar@25:   class NotMap : public MapBase<typename M::Key, bool> {
kpeter@80:     const M &_m;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, bool> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
alpar@25:     /// Constructor
kpeter@80:     NotMap(const M &m) : _m(m) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return !_m[k]; }
alpar@25:   };
alpar@25: 
kpeter@80:   /// Logical 'not' of a map (read-write version)
kpeter@80: 
kpeter@80:   /// This \ref concepts::ReadWriteMap "read-write map" returns the
kpeter@80:   /// logical negation of the values of the given map.
kpeter@80:   /// Its \c Key is inherited from \c M and its \c Value is \c bool.
kpeter@80:   /// It makes also possible to write the map. When a value is set,
kpeter@80:   /// the opposite value is set to the original map.
kpeter@29:   ///
kpeter@80:   /// The simplest way of using this map is through the notWriteMap()
kpeter@80:   /// function.
kpeter@80:   ///
kpeter@80:   /// \sa NotMap
kpeter@80:   template <typename M>
alpar@25:   class NotWriteMap : public MapBase<typename M::Key, bool> {
kpeter@80:     M &_m;
alpar@25:   public:
alpar@25:     typedef MapBase<typename M::Key, bool> Parent;
alpar@25:     typedef typename Parent::Key Key;
alpar@25:     typedef typename Parent::Value Value;
alpar@25: 
alpar@25:     /// Constructor
kpeter@80:     NotWriteMap(M &m) : _m(m) {}
kpeter@80:     /// \e
kpeter@80:     Value operator[](const Key &k) const { return !_m[k]; }
kpeter@80:     /// \e
kpeter@80:     void set(const Key &k, bool v) { _m.set(k, !v); }
alpar@25:   };
kpeter@80: 
kpeter@80:   /// Returns a \ref NotMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref NotMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c bool values, then
kpeter@80:   /// <tt>notMap(m)[x]</tt> will be equal to <tt>!m[x]</tt>.
kpeter@80:   ///
kpeter@80:   /// \relates NotMap
kpeter@80:   template <typename M>
alpar@25:   inline NotMap<M> notMap(const M &m) {
alpar@25:     return NotMap<M>(m);
alpar@25:   }
kpeter@80: 
kpeter@80:   /// Returns a \ref NotWriteMap class
kpeter@80: 
kpeter@80:   /// This function just returns a \ref NotWriteMap class.
kpeter@80:   ///
kpeter@80:   /// For example, if \c m is a map with \c bool values, then
kpeter@80:   /// <tt>notWriteMap(m)[x]</tt> will be equal to <tt>!m[x]</tt>.
kpeter@80:   /// Moreover it makes also possible to write the map.
kpeter@80:   ///
kpeter@80:   /// \relates NotWriteMap
kpeter@80:   template <typename M>
kpeter@80:   inline NotWriteMap<M> notWriteMap(M &m) {
alpar@25:     return NotWriteMap<M>(m);
alpar@25:   }
alpar@25: 
kpeter@82: 
kpeter@82:   /// Combination of two maps using the \c == operator
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" assigns \c true to
kpeter@82:   /// the keys for which the corresponding values of the two maps are
kpeter@82:   /// equal.
kpeter@82:   /// Its \c Key type is inherited from \c M1 and its \c Value type is
kpeter@82:   /// \c bool. \c M2::Key must be convertible to \c M1::Key.
kpeter@82:   ///
kpeter@82:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@82:   /// \code
kpeter@82:   ///   EqualMap<M1,M2> em(m1,m2);
kpeter@82:   /// \endcode
kpeter@82:   /// <tt>em[x]</tt> will be equal to <tt>m1[x]==m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// The simplest way of using this map is through the equalMap()
kpeter@82:   /// function.
kpeter@82:   ///
kpeter@82:   /// \sa LessMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   class EqualMap : public MapBase<typename M1::Key, bool> {
kpeter@82:     const M1 &_m1;
kpeter@82:     const M2 &_m2;
kpeter@82:   public:
kpeter@82:     typedef MapBase<typename M1::Key, bool> Parent;
kpeter@82:     typedef typename Parent::Key Key;
kpeter@82:     typedef typename Parent::Value Value;
kpeter@82: 
kpeter@82:     /// Constructor
kpeter@82:     EqualMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@82:     /// \e
kpeter@82:     Value operator[](const Key &k) const { return _m1[k]==_m2[k]; }
kpeter@82:   };
kpeter@82: 
kpeter@82:   /// Returns an \ref EqualMap class
kpeter@82: 
kpeter@82:   /// This function just returns an \ref EqualMap class.
kpeter@82:   ///
kpeter@82:   /// For example, if \c m1 and \c m2 are maps with keys and values of
kpeter@82:   /// the same type, then <tt>equalMap(m1,m2)[x]</tt> will be equal to
kpeter@82:   /// <tt>m1[x]==m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// \relates EqualMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   inline EqualMap<M1, M2> equalMap(const M1 &m1, const M2 &m2) {
kpeter@82:     return EqualMap<M1, M2>(m1,m2);
kpeter@82:   }
kpeter@82: 
kpeter@82: 
kpeter@82:   /// Combination of two maps using the \c < operator
kpeter@82: 
kpeter@82:   /// This \ref concepts::ReadMap "read-only map" assigns \c true to
kpeter@82:   /// the keys for which the corresponding value of the first map is
kpeter@82:   /// less then the value of the second map.
kpeter@82:   /// Its \c Key type is inherited from \c M1 and its \c Value type is
kpeter@82:   /// \c bool. \c M2::Key must be convertible to \c M1::Key.
kpeter@82:   ///
kpeter@82:   /// If \c m1 is of type \c M1 and \c m2 is of \c M2, then for
kpeter@82:   /// \code
kpeter@82:   ///   LessMap<M1,M2> lm(m1,m2);
kpeter@82:   /// \endcode
kpeter@82:   /// <tt>lm[x]</tt> will be equal to <tt>m1[x]<m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// The simplest way of using this map is through the lessMap()
kpeter@82:   /// function.
kpeter@82:   ///
kpeter@82:   /// \sa EqualMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   class LessMap : public MapBase<typename M1::Key, bool> {
kpeter@82:     const M1 &_m1;
kpeter@82:     const M2 &_m2;
kpeter@82:   public:
kpeter@82:     typedef MapBase<typename M1::Key, bool> Parent;
kpeter@82:     typedef typename Parent::Key Key;
kpeter@82:     typedef typename Parent::Value Value;
kpeter@82: 
kpeter@82:     /// Constructor
kpeter@82:     LessMap(const M1 &m1, const M2 &m2) : _m1(m1), _m2(m2) {}
kpeter@82:     /// \e
kpeter@82:     Value operator[](const Key &k) const { return _m1[k]<_m2[k]; }
kpeter@82:   };
kpeter@82: 
kpeter@82:   /// Returns an \ref LessMap class
kpeter@82: 
kpeter@82:   /// This function just returns an \ref LessMap class.
kpeter@82:   ///
kpeter@82:   /// For example, if \c m1 and \c m2 are maps with keys and values of
kpeter@82:   /// the same type, then <tt>lessMap(m1,m2)[x]</tt> will be equal to
kpeter@82:   /// <tt>m1[x]<m2[x]</tt>.
kpeter@82:   ///
kpeter@82:   /// \relates LessMap
kpeter@82:   template<typename M1, typename M2>
kpeter@82:   inline LessMap<M1, M2> lessMap(const M1 &m1, const M2 &m2) {
kpeter@82:     return LessMap<M1, M2>(m1,m2);
kpeter@82:   }
kpeter@82: 
alpar@104:   namespace _maps_bits {
alpar@104: 
alpar@104:     template <typename Value>
alpar@104:     struct Identity {
alpar@104:       typedef Value argument_type;
alpar@104:       typedef Value result_type;
alpar@104:       Value operator()(const Value& val) const {
alpar@104: 	return val;
alpar@104:       }
alpar@104:     };
alpar@104: 
alpar@104:     template <typename _Iterator, typename Enable = void>
alpar@104:     struct IteratorTraits {
alpar@104:       typedef typename std::iterator_traits<_Iterator>::value_type Value;
alpar@104:     };
alpar@104: 
alpar@104:     template <typename _Iterator>
alpar@104:     struct IteratorTraits<_Iterator,
alpar@104:       typename exists<typename _Iterator::container_type>::type>
alpar@104:     {
alpar@104:       typedef typename _Iterator::container_type::value_type Value;
alpar@104:     };
alpar@104: 
alpar@104:   }
alpar@104: 
alpar@104:   /// \brief Writable bool map for logging each \c true assigned element
alpar@104:   ///
alpar@104:   /// A \ref concepts::ReadWriteMap "read-write" bool map for logging
alpar@104:   /// each \c true assigned element, i.e it copies subsequently each
alpar@104:   /// keys set to \c true to the given iterator.
alpar@104:   ///
alpar@104:   /// \tparam It the type of the Iterator.
alpar@104:   /// \tparam Ke the type of the map's Key. The default value should
alpar@104:   /// work in most cases.
alpar@104:   ///
alpar@104:   /// \note The container of the iterator must contain enough space
alpar@104:   /// for the elements. (Or it should be an inserter iterator).
alpar@104:   ///
alpar@104:   /// \todo Revise the name of this class and give an example code.
alpar@104:   template <typename It,
alpar@104: 	    typename Ke=typename _maps_bits::IteratorTraits<It>::Value>
alpar@104:   class StoreBoolMap {
alpar@104:   public:
alpar@104:     typedef It Iterator;
alpar@104: 
alpar@104:     typedef Ke Key;
alpar@104:     typedef bool Value;
alpar@104: 
alpar@104:     /// Constructor
alpar@104:     StoreBoolMap(Iterator it)
alpar@104:       : _begin(it), _end(it) {}
alpar@104: 
alpar@104:     /// Gives back the given iterator set for the first key
alpar@104:     Iterator begin() const {
alpar@104:       return _begin;
alpar@104:     }
alpar@104: 
alpar@104:     /// Gives back the the 'after the last' iterator
alpar@104:     Iterator end() const {
alpar@104:       return _end;
alpar@104:     }
alpar@104: 
alpar@104:     /// The set function of the map
alpar@104:     void set(const Key& key, Value value) const {
alpar@104:       if (value) {
alpar@104: 	*_end++ = key;
alpar@104:       }
alpar@104:     }
alpar@104: 
alpar@104:   private:
alpar@104:     Iterator _begin;
alpar@104:     mutable Iterator _end;
alpar@104:   };
alpar@104: 
alpar@25:   /// @}
alpar@25: }
alpar@25: 
alpar@25: #endif // LEMON_MAPS_H