equal
deleted
inserted
replaced
107 VectorMap(const Graph& _g, const Value& _v) : graph(&_g) { |
107 VectorMap(const Graph& _g, const Value& _v) : graph(&_g) { |
108 attach(_g.getNotifier(_Item())); |
108 attach(_g.getNotifier(_Item())); |
109 container.resize(graph->maxId(_Item()) + 1, _v); |
109 container.resize(graph->maxId(_Item()) + 1, _v); |
110 } |
110 } |
111 |
111 |
112 VectorMap(const VectorMap& _copy) : graph(_copy.getGraph()) { |
112 VectorMap(const VectorMap& _copy) |
|
113 : Parent(), graph(_copy.getGraph()) { |
113 if (_copy.attached()) { |
114 if (_copy.attached()) { |
114 attach(*_copy.getRegistry()); |
115 attach(*_copy.getRegistry()); |
115 container = _copy.container; |
116 container = _copy.container; |
116 } |
117 } |
117 } |
118 } |