equal
deleted
inserted
replaced
565 Parent::setGraph(gr); |
565 Parent::setGraph(gr); |
566 } |
566 } |
567 }; |
567 }; |
568 |
568 |
569 |
569 |
|
570 /// A wrapper for composing bidirected graph from a directed one. |
|
571 /// experimental, for fezso's sake. |
570 |
572 |
571 /// A wrapper for composing bidirected graph from a directed one. |
573 /// A wrapper for composing bidirected graph from a directed one. |
572 /// experimental, for fezso's sake. |
574 /// experimental, for fezso's sake. |
573 template<typename Graph> |
575 template<typename Graph> |
574 class BidirGraphWrapper : public GraphWrapper<Graph> { |
576 class BidirGraphWrapper : public GraphWrapper<Graph> { |