# HG changeset patch
# User jacint
# Date 1079813304 0
# Node ID d8a67c5b26d110a787d9f201953cae32b6653115
# Parent  7deda4d6a07a456743fe79324f4cc3cdd2a7563b
map.get(v) <- map[v] csere

diff -r 7deda4d6a07a -r d8a67c5b26d1 src/include/bin_heap.hh
--- a/src/include/bin_heap.hh	Sat Mar 20 20:06:23 2004 +0000
+++ b/src/include/bin_heap.hh	Sat Mar 20 20:08:24 2004 +0000
@@ -153,18 +153,18 @@
     }
 
     void erase(const Item &i) {
-      rmidx(iim.get(i));
+      rmidx(iim[i]);
     }
 
     Prio get(const Item &i) const {
-      int idx = iim.get(i);
+      int idx = iim[i];
       return data[idx].second;
     }
     Prio operator[](const Item &i) const {
       return get(i);
     }
     void set(const Item &i, const Prio &p) {
-      int idx = iim.get(i);
+      int idx = iim[i];
       if( idx < 0 ) {
 	push(i,p);
       }
@@ -177,16 +177,16 @@
     }
 
     void decrease(const Item &i, const Prio &p) {
-      int idx = iim.get(i);
+      int idx = iim[i];
       bubble_up(idx, PairType(i,p));
     }
     void increase(const Item &i, const Prio &p) {
-      int idx = iim.get(i);
+      int idx = iim[i];
       bubble_down(idx, PairType(i,p), data.size());
     }
 
     state_enum state(const Item &i) const {
-      int s = iim.get(i);
+      int s = iim[i];
       if( s>=0 )
 	s=0;
       return state_enum(s);