equal
deleted
inserted
replaced
463 /// A wrapper for getting an undirected graph by forgetting |
463 /// A wrapper for getting an undirected graph by forgetting |
464 /// the orientation of a directed one. |
464 /// the orientation of a directed one. |
465 template<typename Graph> |
465 template<typename Graph> |
466 class UndirGraphWrapper : public GraphWrapper<Graph> { |
466 class UndirGraphWrapper : public GraphWrapper<Graph> { |
467 protected: |
467 protected: |
468 UndirGraphWrapper() : GraphWrapper<Graph>(0) { } |
468 UndirGraphWrapper() : GraphWrapper<Graph>() { } |
469 |
469 |
470 public: |
470 public: |
471 typedef typename GraphWrapper<Graph>::Node Node; |
471 typedef typename GraphWrapper<Graph>::Node Node; |
472 typedef typename GraphWrapper<Graph>::NodeIt NodeIt; |
472 typedef typename GraphWrapper<Graph>::NodeIt NodeIt; |
473 typedef typename GraphWrapper<Graph>::Edge Edge; |
473 typedef typename GraphWrapper<Graph>::Edge Edge; |