lemon/concepts/maps.h
author Alpar Juttner <alpar@cs.elte.hu>
Sun, 13 Jul 2008 16:46:56 +0100
changeset 208 4317d277ba21
parent 94 a4688e4138ec
child 209 765619b7cbb2
permissions -rw-r--r--
Better source unifier

- now it is called scripts/unify-sources.sh
- replaces each tab with 8 spaces
- remove trailing spaces (and tabs)
- warnings on long lines (i.e. on lines that are more than 80 characters)
- the standard file header now turns off the space-to-tab replacement in Emacs
     1 /* -*- C++ -*-
     2  *
     3  * This file is a part of LEMON, a generic C++ optimization library
     4  *
     5  * Copyright (C) 2003-2008
     6  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
     7  * (Egervary Research Group on Combinatorial Optimization, EGRES).
     8  *
     9  * Permission to use, modify and distribute this software is granted
    10  * provided that this copyright notice appears in all copies. For
    11  * precise terms see the accompanying LICENSE file.
    12  *
    13  * This software is provided "AS IS" with no warranty of any kind,
    14  * express or implied, and with no claim as to its suitability for any
    15  * purpose.
    16  *
    17  */
    18 
    19 #ifndef LEMON_CONCEPT_MAPS_H
    20 #define LEMON_CONCEPT_MAPS_H
    21 
    22 #include <lemon/bits/utility.h>
    23 #include <lemon/concept_check.h>
    24 
    25 ///\ingroup concept
    26 ///\file
    27 ///\brief The concept of maps.
    28 
    29 namespace lemon {
    30 
    31   namespace concepts {
    32 
    33     /// \addtogroup concept
    34     /// @{
    35 
    36     /// Readable map concept
    37 
    38     /// Readable map concept.
    39     ///
    40     template<typename K, typename T>
    41     class ReadMap
    42     {
    43     public:
    44       /// The key type of the map.
    45       typedef K Key;
    46       /// The value type of the map. (The type of objects associated with the keys).
    47       typedef T Value;
    48 
    49       /// Returns the value associated with the given key.
    50       Value operator[](const Key &) const { 
    51         return *static_cast<Value *>(0);
    52       }
    53 
    54       template<typename _ReadMap>
    55       struct Constraints {
    56 	void constraints() {
    57 	  Value val = m[key];
    58 	  val = m[key];
    59 	  typename _ReadMap::Value own_val = m[own_key];
    60 	  own_val = m[own_key];
    61 
    62 	  ignore_unused_variable_warning(key);
    63 	  ignore_unused_variable_warning(val);
    64 	  ignore_unused_variable_warning(own_key);
    65 	  ignore_unused_variable_warning(own_val);
    66 	}
    67 	const Key& key;
    68 	const typename _ReadMap::Key& own_key;
    69 	const _ReadMap& m;
    70       };
    71 
    72     };
    73 
    74 
    75     /// Writable map concept
    76 
    77     /// Writable map concept.
    78     ///
    79     template<typename K, typename T>
    80     class WriteMap
    81     {
    82     public:
    83       /// The key type of the map.
    84       typedef K Key;
    85       /// The value type of the map. (The type of objects associated with the keys).
    86       typedef T Value;
    87 
    88       /// Sets the value associated with the given key.
    89       void set(const Key &, const Value &) {}
    90 
    91       /// Default constructor.
    92       WriteMap() {}
    93 
    94       template <typename _WriteMap>
    95       struct Constraints {
    96 	void constraints() {
    97 	  m.set(key, val);
    98 	  m.set(own_key, own_val);
    99 
   100 	  ignore_unused_variable_warning(key);
   101 	  ignore_unused_variable_warning(val);
   102 	  ignore_unused_variable_warning(own_key);
   103 	  ignore_unused_variable_warning(own_val);
   104 	}
   105 	const Key& key;
   106 	const Value& val;
   107 	const typename _WriteMap::Key& own_key;
   108 	const typename _WriteMap::Value& own_val;
   109 	_WriteMap& m;
   110       };
   111     };
   112 
   113     /// Read/writable map concept
   114 
   115     /// Read/writable map concept.
   116     ///
   117     template<typename K, typename T>
   118     class ReadWriteMap : public ReadMap<K,T>,
   119 			 public WriteMap<K,T>
   120     {
   121     public:
   122       /// The key type of the map.
   123       typedef K Key;
   124       /// The value type of the map. (The type of objects associated with the keys).
   125       typedef T Value;
   126 
   127       /// Returns the value associated with the given key.
   128       Value operator[](const Key &) const { 
   129         return *static_cast<Value *>(0);
   130       }
   131 
   132       /// Sets the value associated with the given key.
   133       void set(const Key &, const Value &) {}
   134 
   135       template<typename _ReadWriteMap>
   136       struct Constraints {
   137 	void constraints() {
   138 	  checkConcept<ReadMap<K, T>, _ReadWriteMap >();
   139 	  checkConcept<WriteMap<K, T>, _ReadWriteMap >();
   140 	}
   141       };
   142     };
   143 
   144 
   145     /// Dereferable map concept
   146 
   147     /// Dereferable map concept.
   148     ///
   149     template<typename K, typename T, typename R, typename CR>
   150     class ReferenceMap : public ReadWriteMap<K,T>
   151     {
   152     public:
   153       /// Tag for reference maps.
   154       typedef True ReferenceMapTag;
   155       /// The key type of the map.
   156       typedef K Key;
   157       /// The value type of the map. (The type of objects associated with the keys).
   158       typedef T Value;
   159       /// The reference type of the map.
   160       typedef R Reference;
   161       /// The const reference type of the map.
   162       typedef CR ConstReference;
   163 
   164     public:
   165 
   166       /// Returns a reference to the value associated with the given key.
   167       Reference operator[](const Key &) { 
   168         return *static_cast<Value *>(0);
   169       }
   170 
   171       /// Returns a const reference to the value associated with the given key.
   172       ConstReference operator[](const Key &) const {
   173         return *static_cast<Value *>(0);
   174       }
   175 
   176       /// Sets the value associated with the given key.
   177       void set(const Key &k,const Value &t) { operator[](k)=t; }
   178 
   179       template<typename _ReferenceMap>
   180       struct Constraints {
   181 	void constraints() {
   182 	  checkConcept<ReadWriteMap<K, T>, _ReferenceMap >();
   183 	  ref = m[key];
   184 	  m[key] = val;
   185 	  m[key] = ref;
   186 	  m[key] = cref;
   187 	  own_ref = m[own_key];
   188 	  m[own_key] = own_val;
   189 	  m[own_key] = own_ref;
   190 	  m[own_key] = own_cref;
   191 	  m[key] = m[own_key];
   192 	  m[own_key] = m[key];
   193 	}
   194 	const Key& key;
   195 	Value& val;
   196 	Reference ref;
   197 	ConstReference cref;
   198 	const typename _ReferenceMap::Key& own_key;
   199 	typename _ReferenceMap::Value& own_val;
   200 	typename _ReferenceMap::Reference own_ref;
   201 	typename _ReferenceMap::ConstReference own_cref;
   202 	_ReferenceMap& m;
   203       };
   204     };
   205 
   206     // @}
   207 
   208   } //namespace concepts
   209 
   210 } //namespace lemon
   211 
   212 #endif // LEMON_CONCEPT_MAPS_H