lemon/graph_utils.h
changeset 1477 0d32f7947a00
parent 1467 638124c0ef08
child 1506 e8f1ad6cc8dd
equal deleted inserted replaced
4:5fc1cc03f974 5:e7cebb0537f5
   676       /// Subscript operator. It gives back the item 
   676       /// Subscript operator. It gives back the item 
   677       /// that the descriptor belongs to currently.
   677       /// that the descriptor belongs to currently.
   678       Value operator[](const Key& key) const {
   678       Value operator[](const Key& key) const {
   679 	return inverted.invMap[key];
   679 	return inverted.invMap[key];
   680       }
   680       }
       
   681 
       
   682       /// \brief Size of the map.
       
   683       ///
       
   684       /// Returns the size of the map.
       
   685       unsigned size() const {
       
   686 	return inverted.invMap.size();
       
   687       }
   681       
   688       
   682     private:
   689     private:
   683       const DescriptorMap& inverted;
   690       const DescriptorMap& inverted;
   684     };
   691     };
   685 
   692