1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/map_value_map.h	Mon Jul 07 08:10:39 2008 -0500
     1.3 @@ -0,0 +1,36 @@
     1.4 +#ifndef MAP_VALUE_MAP_H
     1.5 +#define MAP_VALUE_MAP_H
     1.6 +
     1.7 +#include "map_value.h"
     1.8 +#include <string>
     1.9 +#include "all_include.h"
    1.10 +
    1.11 +class MapStorage;
    1.12 +
    1.13 +class MapValueArcMap
    1.14 +{
    1.15 +  private:
    1.16 +    std::string mapName;
    1.17 +    MapStorage* pMapStorage;
    1.18 +  public:
    1.19 +    typedef MapValue Value;
    1.20 +    typedef Digraph::Arc Key;
    1.21 +    MapValueArcMap(const std::string&, MapStorage*);
    1.22 +    Value operator[](Key k) const;
    1.23 +    void set(Key k, Value v);
    1.24 +};
    1.25 +
    1.26 +class MapValueNodeMap
    1.27 +{
    1.28 +  private:
    1.29 +    std::string mapName;
    1.30 +    MapStorage* pMapStorage;
    1.31 +  public:
    1.32 +    typedef MapValue Value;
    1.33 +    typedef Digraph::Node Key;
    1.34 +    MapValueNodeMap(const std::string&, MapStorage*);
    1.35 +    Value operator[](Key k) const;
    1.36 +    void set(Key k, Value v);
    1.37 +};
    1.38 +
    1.39 +#endif