diff -r e997802b855c -r 87f7c54892df doc/maps.dox
--- a/doc/maps.dox	Sat Nov 13 12:53:28 2004 +0000
+++ b/doc/maps.dox	Sat Nov 13 17:07:10 2004 +0000
@@ -9,8 +9,8 @@
 <tt>typedef</tt>'s to determine the types of keys and values, like this:
 
 \code
-  typedef Edge KeyType;
-  typedef double ValueType;
+  typedef Edge Key;
+  typedef double Value;
 \endcode
 
 A map can \e readable (ReadMap, for short), \e writable (WriteMap) or both
@@ -52,7 +52,7 @@
   length[e]=3.5;
 \endcode
 - <em>Writable maps</em> have
-a member function \c set(KeyType,const ValueType &)
+a member function \c set(Key,const Value &)
 for this purpose.
 \code
   length.set(e,3.5);
@@ -82,9 +82,9 @@
 \code
 struct MyMap 
 {
-  typedef double ValueType;
-  typedef Graph::Edge KeyType;
-  double operator[](KeyType e) const { return M_PI;}
+  typedef double Value;
+  typedef Graph::Edge Key;
+  double operator[](Key e) const { return M_PI;}
 };
 \endcode
 
@@ -95,7 +95,7 @@
 \code
 struct MyMap : public MapBase<Graph::Edge,double>
 {
-  ValueType operator[](KeyType e) const { return M_PI;}
+  Value operator[](Key e) const { return M_PI;}
 };
 \endcode
 
@@ -111,7 +111,7 @@
   const Graph::NodeMap<double> &pot;
   
 public:
-  ValueType operator[](KeyType e) const {
+  Value operator[](Key e) const {
     return orig_len.get(e)-pot.get(G.target(e))-pot.get(G.source(e));
   }