Changeset 1037:3eaff8d04171 in lemon-0.x for src/work/deba/map_utils.h

Timestamp:

12/15/04 20:56:55 (19 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@1427

Message:

graph_io under construction
This is a working version, but needs more improvments.

todo:

documention + fix the file format
improve the exception system

add some possible asserts

tutorials

File:

• src/work/deba/map_utils.h (modified) (4 diffs)

src/work/deba/map_utils.h

@@ -36 +36 @@
   template <
     typename _Graph, 
-    typename _Map, 
-    template <typename, typename> class _InvMap = std::Map
+    typename _Map
   >
   class InversableMap : protected _Map {
 
   public:
+    typedef _Graph Graph;
 
-    typename _Map Map;
-    typename _InvMap<Map::Value, Map::Key> InverseMap;
+    typedef _Map Map;
+    typedef typename _Map::Key Key;
+    typedef typename _Map::Value Value;
+    typedef std::map<Value, Key> InverseMap;
     
-    typename _Map::Key Key;
-    typename _Map::Value Value;
-    typename _Map::ConstReference ConstReference;
+    typedef typename _Map::ConstReference ConstReference;
 
     /// Constructor.
@@ -61 +61 @@
     void set(const Key& key, const Value& val) {
       Value oldval = Map::operator[](key);
-      InverseMap::iterator it = invMap.find(oldval);
-      if (it != invMap.end() && it->second == key) {
-        invMap.erase(it);
+      typename InverseMap::iterator it = inv_map.find(oldval);
+      if (it != inv_map.end() && it->second == key) {
+        inv_map.erase(it);
       }      
-      invMap.insert(make_pair(val, key));
+      inv_map.insert(make_pair(val, key));
       Map::set(key, val);
     }
@@ -79 +79 @@
     virtual void erase(const Key&) {
       Value val = Map::operator[](key);
-      InverseMap::iterator it = invMap.find(val);
-      if (it != invMap.end() && it->second == key) {
+      typename InverseMap::iterator it = inv_map.find(val);
+      if (it != inv_map.end() && it->second == key) {
         invMap.erase(it);
       }
@@ -87 +87 @@
 
     const InverseMap& inverse() const {
-      return invMap;
+      return inv_map;
     } 
 
 
   private:
-    InverseMap invMap;    
+    InverseMap inv_map;    
   };
+
+
+  // unique, continous, mutable
+
+  template <
+    typename _Graph,   
+    typename _Item,
+    typename _ItemIt,
+    typename _Map
+  >
+  class DescriptorMap : protected _Map {
+  public:
+    typedef _Graph Graph;
+    typedef _Item Item;
+    typedef _ItemIt ItemIt;
+    typedef _Map Map;
+
+
+    typedef typename _Map::Key Key;
+    typedef typename _Map::Value Value;
+
+    typedef vector<Item> InverseMap;
+
+    DescriptorMap(const Graph& _graph) : Map(_graph) {
+      build();
+    }
+
+    virtual void add(const Item& item) {
+      Map::add(item);
+      Map::set(item, inv_map.size());
+      inv_map.push_back(item);
+    }
+
+    virtual void erase(const Item& item) {
+      Map::set(inv_map.back(), Map::operator[](item));
+      inv_map[Map::operator[](item)] = inv_map.back();
+      Map::erase(item);
+    }
+
+    virtual void build() {
+      Map::build();
+      for (ItemIt it(*Map::getGraph()); it != INVALID; ++it) {
+        Map::set(it, inv_map.size());
+        inv_map.push_back(it);  
+      }      
+    }
+    
+    virtual void clear() {
+      inv_map.clear();
+      Map::clear();
+    }
+
+    int operator[](const Item& item) const {
+      return Map::operator[](item);
+    }
+
+    
+    const InverseMap inverse() const {
+      return inv_map;
+    }
+
+  private:
+    vector<Item> inv_map;
+  };
+
+  // unique, immutable => IDMap
+  
+  
 
 }