*/

  */

 #ifndef LEMON_CONCEPT_MAPS_H

 #ifndef LEMON_CONCEPT_MAPS_H

 #define LEMON_CONCEPT_MAPS_H

 #define LEMON_CONCEPT_MAPS_H

 #include <lemon/concept_check.h>

 #include <lemon/concept_check.h>

 ///\ingroup concept

 ///\ingroup concept

 ///\file

 ///\file

 ///\brief Map concepts checking classes for testing and documenting.

 ///\brief Map concepts checking classes for testing and documenting.

 	Value& val;

 	Value& val;

 	typename _WriteMap::Value own_val;

 	typename _WriteMap::Value own_val;

 	Key& key;

 	Key& key;

 	typename _WriteMap::Key& own_key;

 	typename _WriteMap::Key& own_key;

       };

       };

     };

     };

     ///Read/Writable map concept

     ///Read/Writable map concept

       template<typename _ReadWriteMap>

       template<typename _ReadWriteMap>

       struct Constraints {

       struct Constraints {

 	void constraints() {

 	void constraints() {

 	  checkConcept<ReadMap<K, T>, _ReadWriteMap >();

 	  checkConcept<ReadMap<K, T>, _ReadWriteMap >();

 	}

 	}

       };

       };

     };

     };

     ///Dereferable map concept

     ///Dereferable map concept

     template<typename K, typename T, typename R, typename CR>

     template<typename K, typename T, typename R, typename CR>

     class ReferenceMap : public ReadWriteMap<K,T>

     class ReferenceMap : public ReadWriteMap<K,T>

     {

     {

     public:

     public:

       /// Map's key type.

       /// Map's key type.

       typedef K Key;    

       typedef K Key;    

       /// Map's value type. (The type of objects associated with the keys).

       /// Map's value type. (The type of objects associated with the keys).

       typedef T Value;

       typedef T Value;

       /// Map's reference type.

       /// Map's reference type.

 	typename _ReferenceMap::Value& own_val;

 	typename _ReferenceMap::Value& own_val;

 	typename _ReferenceMap::Reference& own_ref;

 	typename _ReferenceMap::Reference& own_ref;

 	Key& key;

 	Key& key;

 	Value& val;

 	Value& val;

 	Reference& ref;

 	Reference& ref;

       };

       };

     };

     };

     // @}

     // @}