equal
deleted
inserted
replaced
94 } |
94 } |
95 } |
95 } |
96 |
96 |
97 /// Constructor to copy a map of the same map type. |
97 /// Constructor to copy a map of the same map type. |
98 |
98 |
99 ArrayMap(const ArrayMap& copy) : Parent() { |
99 ArrayMap(const ArrayMap& copy) : Parent(), graph(copy.graph) { |
100 if (copy.attached()) { |
100 if (copy.attached()) { |
101 attach(*copy.getRegistry()); |
101 attach(*copy.getRegistry()); |
102 } |
102 } |
103 capacity = copy.capacity; |
103 capacity = copy.capacity; |
104 if (capacity == 0) return; |
104 if (capacity == 0) return; |