equal
deleted
inserted
replaced
76 public: |
76 public: |
77 |
77 |
78 /// \brief Graph initialized map constructor. |
78 /// \brief Graph initialized map constructor. |
79 /// |
79 /// |
80 /// Graph initialized map constructor. |
80 /// Graph initialized map constructor. |
81 ArrayMap(const Graph& graph) { |
81 explicit ArrayMap(const Graph& graph) { |
82 Parent::attach(graph.getNotifier(Item())); |
82 Parent::attach(graph.getNotifier(Item())); |
83 allocate_memory(); |
83 allocate_memory(); |
84 Notifier* notifier = Parent::getNotifier(); |
84 Notifier* notifier = Parent::getNotifier(); |
85 Item it; |
85 Item it; |
86 for (notifier->first(it); it != INVALID; notifier->next(it)) { |
86 for (notifier->first(it); it != INVALID; notifier->next(it)) { |