equal
deleted
inserted
replaced
98 VectorMap(const Graph& graph, const Value& value) { |
98 VectorMap(const Graph& graph, const Value& value) { |
99 Parent::attach(graph.notifier(Item())); |
99 Parent::attach(graph.notifier(Item())); |
100 container.resize(Parent::notifier()->maxId() + 1, value); |
100 container.resize(Parent::notifier()->maxId() + 1, value); |
101 } |
101 } |
102 |
102 |
|
103 private: |
103 /// \brief Copy constructor |
104 /// \brief Copy constructor |
104 /// |
105 /// |
105 /// Copy constructor. |
106 /// Copy constructor. |
106 VectorMap(const VectorMap& _copy) : Parent() { |
107 VectorMap(const VectorMap& _copy) : Parent() { |
107 if (_copy.attached()) { |
108 if (_copy.attached()) { |