equal
deleted
inserted
replaced
261 }; |
261 }; |
262 |
262 |
263 /// Wrapper for hiding nodes and edges from a graph. |
263 /// Wrapper for hiding nodes and edges from a graph. |
264 |
264 |
265 /// This wrapper shows a graph with filtered node-set and |
265 /// This wrapper shows a graph with filtered node-set and |
266 /// edge-set. The quick brown fox iterators jumps over |
266 /// edge-set. The quick brown fox iterator jumps over |
267 /// the lazy dog nodes or edges if the values for them are false |
267 /// the lazy dog nodes or edges if the values for them are false |
268 /// in the bool maps. |
268 /// in the bool maps. |
269 template<typename Graph, typename NodeFilterMap, |
269 template<typename Graph, typename NodeFilterMap, |
270 typename EdgeFilterMap> |
270 typename EdgeFilterMap> |
271 class SubGraphWrapper : public GraphWrapper<Graph> { |
271 class SubGraphWrapper : public GraphWrapper<Graph> { |