equal
deleted
inserted
replaced
108 ///Instantiates a ProcessedMap. |
108 ///Instantiates a ProcessedMap. |
109 |
109 |
110 ///This function instantiates a \ref ProcessedMap. |
110 ///This function instantiates a \ref ProcessedMap. |
111 ///\param G is the graph, to which |
111 ///\param G is the graph, to which |
112 ///we would like to define the \ref ProcessedMap |
112 ///we would like to define the \ref ProcessedMap |
113 static ProcessedMap *createProcessedMap(const GR &G) |
113 static ProcessedMap *createProcessedMap(const GR &) |
114 { |
114 { |
115 return new ProcessedMap(); |
115 return new ProcessedMap(); |
116 } |
116 } |
117 ///The type of the map that stores the dists of the nodes. |
117 ///The type of the map that stores the dists of the nodes. |
118 |
118 |