equal
deleted
inserted
replaced
39 private: |
39 private: |
40 |
40 |
41 |
41 |
42 public: |
42 public: |
43 |
43 |
|
44 typedef MapBase<ListGraph, Node, NodeIt> NodeMapBase; |
44 typedef MapRegistry<ListGraph, Node, NodeIt> NodeMapRegistry; |
45 typedef MapRegistry<ListGraph, Node, NodeIt> NodeMapRegistry; |
|
46 typedef VectorMapFactory<ListGraph, Node, NodeIt> NodeMapFactory; |
45 NodeMapRegistry node_maps; |
47 NodeMapRegistry node_maps; |
46 |
48 |
47 |
49 |
|
50 |
|
51 typedef MapBase<ListGraph, Edge, EdgeIt> EdgeMapBase; |
48 typedef MapRegistry<ListGraph, Edge, EdgeIt> EdgeMapRegistry; |
52 typedef MapRegistry<ListGraph, Edge, EdgeIt> EdgeMapRegistry; |
|
53 typedef VectorMapFactory<ListGraph, Edge, EdgeIt> EdgeMapFactory; |
49 EdgeMapRegistry edge_maps; |
54 EdgeMapRegistry edge_maps; |
50 |
|
51 typedef VectorMapFactory<ListGraph, Edge, EdgeIt> EdgeMapFactory; |
|
52 typedef VectorMapFactory<ListGraph, Node, NodeIt> NodeMapFactory; |
|
53 |
55 |
54 |
56 |
55 int node_id; |
57 int node_id; |
56 int edge_id; |
58 int edge_id; |
57 int _node_num; |
59 int _node_num; |