| changeset 155 | 5c3604513ed0 |
| parent 140 | 356930927a71 |
| child 156 | e561aa7675de |
| 2:233ed5f8ce44 | 3:c601e1060f01 |
|---|---|
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(Digraph); |
305 TEMPLATE_DIGRAPH_TYPEDEFS(Digraph); |
306 |
306 |
307 private: |
307 private: |
308 |
308 |
309 |
309 |
310 std::istream* _is; |
310 std::istream* _is; |