changeset 145 | 95d905b6e33d |
parent 139 | 701c529ba737 |
child 148 | 4e2581021300 |
1:3db3fe6df220 | 2:233ed5f8ce44 |
---|---|
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 DIGRAPH_TYPEDEFS(typename Digraph); |
305 DIGRAPH_TYPEDEFS(Digraph); |
306 |
306 |
307 private: |
307 private: |
308 |
308 |
309 |
309 |
310 std::istream* _is; |
310 std::istream* _is; |