changeset 139 | 701c529ba737 |
parent 127 | 1c9a9e2f7d4d |
child 140 | 356930927a71 |
0:b47b576edc18 | 1:3db3fe6df220 |
---|---|
300 template <typename _Digraph> |
300 template <typename _Digraph> |
301 class DigraphReader { |
301 class DigraphReader { |
302 public: |
302 public: |
303 |
303 |
304 typedef _Digraph Digraph; |
304 typedef _Digraph Digraph; |
305 GRAPH_TYPEDEFS(typename Digraph); |
305 DIGRAPH_TYPEDEFS(typename Digraph); |
306 |
306 |
307 private: |
307 private: |
308 |
308 |
309 |
309 |
310 std::istream* _is; |
310 std::istream* _is; |