@@ -90,7 +90,7 @@ class dijkstra_many_goal_visitor : public boost::default_dijkstra_visitor {
9090 m_found_goals (f_goals) {
9191 }
9292 template <class B_G >
93- void examine_vertex (V u, B_G &) {
93+ void examine_vertex (V u, B_G &) override {
9494 auto s_it = m_goals.find (u);
9595
9696 /* examined vertex is not a goal */
@@ -125,7 +125,7 @@ class dijkstra_distance_visitor : public boost::default_dijkstra_visitor {
125125 pgassert (m_distance_goal > 0 );
126126 }
127127 template <class B_G >
128- void examine_vertex (V u, B_G &) {
128+ void examine_vertex (V u, B_G &) override {
129129 if (m_dist[u] > m_distance_goal) {
130130 throw found_goals ();
131131 }
@@ -155,7 +155,7 @@ class dijkstra_distance_visitor_no_init : public boost::default_dijkstra_visitor
155155 }
156156
157157 template <class B_G >
158- void examine_vertex (V u, B_G &) {
158+ void examine_vertex (V u, B_G &) override {
159159 if ( 0 == m_num_examined++) m_root = u;
160160 if (m_dist[u] > m_distance_goal) {
161161 throw found_goals ();
@@ -166,22 +166,22 @@ class dijkstra_distance_visitor_no_init : public boost::default_dijkstra_visitor
166166 }
167167
168168 template <class B_G >
169- void examine_edge (E e, B_G &g) {
169+ void examine_edge (E e, B_G &g) override {
170170 if (source (e, g) != m_root && m_predecessors[source (e, g)] == source (e, g)) {
171171 m_color[target (e, g)] = boost::black_color;
172172 }
173173 }
174174
175175
176176 template <class B_G >
177- void edge_not_relaxed (E e, B_G &g) {
177+ void edge_not_relaxed (E e, B_G &g) override {
178178 if (source (e, g) != m_root && m_predecessors[source (e, g)] == source (e, g)) {
179179 m_color[target (e, g)] = boost::black_color;
180180 }
181181 }
182182
183183 template <class B_G >
184- void discover_vertex (V u, B_G &) {
184+ void discover_vertex (V u, B_G &) override {
185185 if (u != m_root && m_predecessors[u] == u) {
186186 m_color[u] = boost::black_color;
187187 }
0 commit comments