diff -r 91e78d9b78f4 -r 2d4684f76aac src/include/skeletons/maps.h
--- a/src/include/skeletons/maps.h	Sat Apr 03 18:22:08 2004 +0000
+++ b/src/include/skeletons/maps.h	Sat Apr 03 18:41:46 2004 +0000
@@ -10,29 +10,9 @@
   /// The namespace of HUGOlib concepts and concept checking classes
   namespace skeleton {
   
-    /// Null map concept
-    template<typename K, typename T>
-    class NullMap
-    {
-    public:
-      /// Map's key type.
-      typedef K KeyType;    
-      /// Map's value type. (The type of objects associated with the keys).
-      typedef T ValueType;
-
-      /// Facility to define a map with an other value type
-      template<typename T1>
-      struct rebind {
-	/// The type of a map with the given value type
-	typedef NullMap<K,T1> other;
-      };
-
-      NullMap() {}
-    };
-    
     /// Readable map concept
     template<typename K, typename T>
-    class ReadableMap : public NullMap<K,T>
+    class ReadableMap
     {
     public:
       /// Map's key type.
@@ -48,24 +28,13 @@
       /// Assignment operator. (optional)
       ReadableMap& operator=(const ReadableMap&) {return *this;}
 
-      /// Facility to define a map with an other value type (optional)
-      template<typename T1>
-      struct rebind {
-	/// The type of a map with the given value type
-	typedef ReadableMap<K,T1> other;
-      };
-      /// @brief Constructor that copies all keys from the other map and
-      /// assigns to them a default value (optional)
-      template<typename T1>
-      ReadableMap(const ReadableMap<K,T1> &map, const T1 &v) {}
-
       ReadableMap() {}
     };
 
 
     /// Writable map concept
     template<typename K, typename T>
-    class WritableMap : public NullMap<K,T>
+    class WritableMap
     {
     public:
       /// Map's key type.
@@ -76,22 +45,6 @@
       /// Sets the value associated with a key.
       void set(const KeyType &k,const ValueType &t) {}
 
-      /// Copy contsructor. (optional)
-      WritableMap(const WritableMap&) {}
-      /// Assignment operator. (optional)
-      WritableMap& operator=(const WritableMap&) {return *this;}
-
-      /// Facility to define a map with an other value type (optional)
-      template<typename T1>
-      struct rebind {
-	/// The type of a map with the given value type
-	typedef WritableMap<K,T1> other;
-      };
-      /// @brief Constructor that copies all keys from the other map and
-      /// assigns to them a default value (optional)
-      template<typename T1>
-      WritableMap(const WritableMap<K,T1> &map, const T1 &v) {}
-
       WritableMap() {}
     };