equal
deleted
inserted
replaced
36 // \ingroup digraphbits |
36 // \ingroup digraphbits |
37 // |
37 // |
38 // \brief BaseDigraph to BaseGraph extender |
38 // \brief BaseDigraph to BaseGraph extender |
39 template <typename Base> |
39 template <typename Base> |
40 class UndirDigraphExtender : public Base { |
40 class UndirDigraphExtender : public Base { |
|
41 typedef Base Parent; |
41 |
42 |
42 public: |
43 public: |
43 |
44 |
44 typedef Base Parent; |
|
45 typedef typename Parent::Arc Edge; |
45 typedef typename Parent::Arc Edge; |
46 typedef typename Parent::Node Node; |
46 typedef typename Parent::Node Node; |
47 |
47 |
48 typedef True UndirectedTag; |
48 typedef True UndirectedTag; |
49 |
49 |
278 } |
278 } |
279 }; |
279 }; |
280 |
280 |
281 template <typename Base> |
281 template <typename Base> |
282 class BidirBpGraphExtender : public Base { |
282 class BidirBpGraphExtender : public Base { |
|
283 typedef Base Parent; |
|
284 |
283 public: |
285 public: |
284 typedef Base Parent; |
|
285 typedef BidirBpGraphExtender Digraph; |
286 typedef BidirBpGraphExtender Digraph; |
286 |
287 |
287 typedef typename Parent::Node Node; |
288 typedef typename Parent::Node Node; |
288 typedef typename Parent::Edge Edge; |
289 typedef typename Parent::Edge Edge; |
289 |
290 |