equal
deleted
inserted
replaced
388 GridUGraph(int n, int m) { construct(n, m); } |
388 GridUGraph(int n, int m) { construct(n, m); } |
389 |
389 |
390 /// \brief Resize the graph |
390 /// \brief Resize the graph |
391 /// |
391 /// |
392 void resize(int n, int m) { |
392 void resize(int n, int m) { |
393 Parent::getNotifier(Edge()).clear(); |
393 Parent::notifier(Edge()).clear(); |
394 Parent::getNotifier(UEdge()).clear(); |
394 Parent::notifier(UEdge()).clear(); |
395 Parent::getNotifier(Node()).clear(); |
395 Parent::notifier(Node()).clear(); |
396 construct(n, m); |
396 construct(n, m); |
397 Parent::getNotifier(Node()).build(); |
397 Parent::notifier(Node()).build(); |
398 Parent::getNotifier(UEdge()).build(); |
398 Parent::notifier(UEdge()).build(); |
399 Parent::getNotifier(Edge()).build(); |
399 Parent::notifier(Edge()).build(); |
400 } |
400 } |
401 |
401 |
402 /// \brief The node on the given position. |
402 /// \brief The node on the given position. |
403 /// |
403 /// |
404 /// Gives back the node on the given position. |
404 /// Gives back the node on the given position. |