equal
deleted
inserted
replaced
120 const NodeRefMap& nodeRef; |
120 const NodeRefMap& nodeRef; |
121 }; |
121 }; |
122 |
122 |
123 public: |
123 public: |
124 |
124 |
125 typedef True CloneableTag; |
125 typedef True BuildTag; |
126 |
126 |
127 template <typename Graph, typename NodeRefMap, typename EdgeRefMap> |
127 template <typename Graph, typename NodeRefMap, typename EdgeRefMap> |
128 void clone(const Graph& graph, NodeRefMap& nodeRef, EdgeRefMap& edgeRef) { |
128 void build(const Graph& graph, NodeRefMap& nodeRef, EdgeRefMap& edgeRef) { |
129 |
129 |
130 if (node_num != -1) { |
130 if (node_num != -1) { |
131 delete[] node_first_out; |
131 delete[] node_first_out; |
132 delete[] node_first_in; |
132 delete[] node_first_in; |
133 delete[] edge_source; |
133 delete[] edge_source; |