1.1 --- a/lemon/bits/graph_extender.h Thu Mar 01 16:50:12 2007 +0000
1.2 +++ b/lemon/bits/graph_extender.h Thu Mar 01 17:14:24 2007 +0000
1.3 @@ -86,11 +86,11 @@
1.4
1.5 public:
1.6
1.7 - NodeNotifier& getNotifier(Node) const {
1.8 + NodeNotifier& notifier(Node) const {
1.9 return node_notifier;
1.10 }
1.11
1.12 - EdgeNotifier& getNotifier(Edge) const {
1.13 + EdgeNotifier& notifier(Edge) const {
1.14 return edge_notifier;
1.15 }
1.16
1.17 @@ -266,27 +266,27 @@
1.18
1.19 Node addNode() {
1.20 Node node = Parent::addNode();
1.21 - getNotifier(Node()).add(node);
1.22 + notifier(Node()).add(node);
1.23 return node;
1.24 }
1.25
1.26 Edge addEdge(const Node& from, const Node& to) {
1.27 Edge edge = Parent::addEdge(from, to);
1.28 - getNotifier(Edge()).add(edge);
1.29 + notifier(Edge()).add(edge);
1.30 return edge;
1.31 }
1.32
1.33 void clear() {
1.34 - getNotifier(Edge()).clear();
1.35 - getNotifier(Node()).clear();
1.36 + notifier(Edge()).clear();
1.37 + notifier(Node()).clear();
1.38 Parent::clear();
1.39 }
1.40
1.41 template <typename Graph, typename NodeRefMap, typename EdgeRefMap>
1.42 void build(const Graph& graph, NodeRefMap& nodeRef, EdgeRefMap& edgeRef) {
1.43 Parent::build(graph, nodeRef, edgeRef);
1.44 - getNotifier(Node()).build();
1.45 - getNotifier(Edge()).build();
1.46 + notifier(Node()).build();
1.47 + notifier(Edge()).build();
1.48 }
1.49
1.50 void erase(const Node& node) {
1.51 @@ -303,12 +303,12 @@
1.52 Parent::firstIn(edge, node);
1.53 }
1.54
1.55 - getNotifier(Node()).erase(node);
1.56 + notifier(Node()).erase(node);
1.57 Parent::erase(node);
1.58 }
1.59
1.60 void erase(const Edge& edge) {
1.61 - getNotifier(Edge()).erase(edge);
1.62 + notifier(Edge()).erase(edge);
1.63 Parent::erase(edge);
1.64 }
1.65
1.66 @@ -397,15 +397,15 @@
1.67
1.68 public:
1.69
1.70 - NodeNotifier& getNotifier(Node) const {
1.71 + NodeNotifier& notifier(Node) const {
1.72 return node_notifier;
1.73 }
1.74
1.75 - EdgeNotifier& getNotifier(Edge) const {
1.76 + EdgeNotifier& notifier(Edge) const {
1.77 return edge_notifier;
1.78 }
1.79
1.80 - UEdgeNotifier& getNotifier(UEdge) const {
1.81 + UEdgeNotifier& notifier(UEdge) const {
1.82 return uedge_notifier;
1.83 }
1.84
1.85 @@ -672,24 +672,24 @@
1.86
1.87 Node addNode() {
1.88 Node node = Parent::addNode();
1.89 - getNotifier(Node()).add(node);
1.90 + notifier(Node()).add(node);
1.91 return node;
1.92 }
1.93
1.94 UEdge addEdge(const Node& from, const Node& to) {
1.95 UEdge uedge = Parent::addEdge(from, to);
1.96 - getNotifier(UEdge()).add(uedge);
1.97 + notifier(UEdge()).add(uedge);
1.98 std::vector<Edge> edges;
1.99 edges.push_back(Parent::direct(uedge, true));
1.100 edges.push_back(Parent::direct(uedge, false));
1.101 - getNotifier(Edge()).add(edges);
1.102 + notifier(Edge()).add(edges);
1.103 return uedge;
1.104 }
1.105
1.106 void clear() {
1.107 - getNotifier(Edge()).clear();
1.108 - getNotifier(UEdge()).clear();
1.109 - getNotifier(Node()).clear();
1.110 + notifier(Edge()).clear();
1.111 + notifier(UEdge()).clear();
1.112 + notifier(Node()).clear();
1.113 Parent::clear();
1.114 }
1.115
1.116 @@ -697,9 +697,9 @@
1.117 void build(const Graph& graph, NodeRefMap& nodeRef,
1.118 UEdgeRefMap& uEdgeRef) {
1.119 Parent::build(graph, nodeRef, uEdgeRef);
1.120 - getNotifier(Node()).build();
1.121 - getNotifier(UEdge()).build();
1.122 - getNotifier(Edge()).build();
1.123 + notifier(Node()).build();
1.124 + notifier(UEdge()).build();
1.125 + notifier(Edge()).build();
1.126 }
1.127
1.128 void erase(const Node& node) {
1.129 @@ -716,7 +716,7 @@
1.130 Parent::firstIn(edge, node);
1.131 }
1.132
1.133 - getNotifier(Node()).erase(node);
1.134 + notifier(Node()).erase(node);
1.135 Parent::erase(node);
1.136 }
1.137
1.138 @@ -724,8 +724,8 @@
1.139 std::vector<Edge> edges;
1.140 edges.push_back(Parent::direct(uedge, true));
1.141 edges.push_back(Parent::direct(uedge, false));
1.142 - getNotifier(Edge()).erase(edges);
1.143 - getNotifier(UEdge()).erase(uedge);
1.144 + notifier(Edge()).erase(edges);
1.145 + notifier(UEdge()).erase(uedge);
1.146 Parent::erase(uedge);
1.147 }
1.148
1.149 @@ -823,23 +823,23 @@
1.150
1.151 public:
1.152
1.153 - NodeNotifier& getNotifier(Node) const {
1.154 + NodeNotifier& notifier(Node) const {
1.155 return node_notifier;
1.156 }
1.157
1.158 - ANodeNotifier& getNotifier(ANode) const {
1.159 + ANodeNotifier& notifier(ANode) const {
1.160 return anode_notifier;
1.161 }
1.162
1.163 - BNodeNotifier& getNotifier(BNode) const {
1.164 + BNodeNotifier& notifier(BNode) const {
1.165 return bnode_notifier;
1.166 }
1.167
1.168 - EdgeNotifier& getNotifier(Edge) const {
1.169 + EdgeNotifier& notifier(Edge) const {
1.170 return edge_notifier;
1.171 }
1.172
1.173 - UEdgeNotifier& getNotifier(UEdge) const {
1.174 + UEdgeNotifier& notifier(UEdge) const {
1.175 return uedge_notifier;
1.176 }
1.177
1.178 @@ -1283,36 +1283,36 @@
1.179
1.180 Node addANode() {
1.181 Node node = Parent::addANode();
1.182 - getNotifier(ANode()).add(node);
1.183 - getNotifier(Node()).add(node);
1.184 + notifier(ANode()).add(node);
1.185 + notifier(Node()).add(node);
1.186 return node;
1.187 }
1.188
1.189 Node addBNode() {
1.190 Node node = Parent::addBNode();
1.191 - getNotifier(BNode()).add(node);
1.192 - getNotifier(Node()).add(node);
1.193 + notifier(BNode()).add(node);
1.194 + notifier(Node()).add(node);
1.195 return node;
1.196 }
1.197
1.198 UEdge addEdge(const Node& source, const Node& target) {
1.199 UEdge uedge = Parent::addEdge(source, target);
1.200 - getNotifier(UEdge()).add(uedge);
1.201 + notifier(UEdge()).add(uedge);
1.202
1.203 std::vector<Edge> edges;
1.204 edges.push_back(Parent::direct(uedge, true));
1.205 edges.push_back(Parent::direct(uedge, false));
1.206 - getNotifier(Edge()).add(edges);
1.207 + notifier(Edge()).add(edges);
1.208
1.209 return uedge;
1.210 }
1.211
1.212 void clear() {
1.213 - getNotifier(Edge()).clear();
1.214 - getNotifier(UEdge()).clear();
1.215 - getNotifier(Node()).clear();
1.216 - getNotifier(BNode()).clear();
1.217 - getNotifier(ANode()).clear();
1.218 + notifier(Edge()).clear();
1.219 + notifier(UEdge()).clear();
1.220 + notifier(Node()).clear();
1.221 + notifier(BNode()).clear();
1.222 + notifier(ANode()).clear();
1.223 Parent::clear();
1.224 }
1.225
1.226 @@ -1321,11 +1321,11 @@
1.227 void build(const Graph& graph, ANodeRefMap& aNodeRef,
1.228 BNodeRefMap& bNodeRef, UEdgeRefMap& uEdgeRef) {
1.229 Parent::build(graph, aNodeRef, bNodeRef, uEdgeRef);
1.230 - getNotifier(ANode()).build();
1.231 - getNotifier(BNode()).build();
1.232 - getNotifier(Node()).build();
1.233 - getNotifier(UEdge()).build();
1.234 - getNotifier(Edge()).build();
1.235 + notifier(ANode()).build();
1.236 + notifier(BNode()).build();
1.237 + notifier(Node()).build();
1.238 + notifier(UEdge()).build();
1.239 + notifier(Edge()).build();
1.240 }
1.241
1.242 void erase(const Node& node) {
1.243 @@ -1336,17 +1336,17 @@
1.244 erase(uedge);
1.245 Parent::firstFromANode(uedge, node);
1.246 }
1.247 - getNotifier(ANode()).erase(node);
1.248 + notifier(ANode()).erase(node);
1.249 } else {
1.250 Parent::firstFromBNode(uedge, node);
1.251 while (uedge != INVALID) {
1.252 erase(uedge);
1.253 Parent::firstFromBNode(uedge, node);
1.254 }
1.255 - getNotifier(BNode()).erase(node);
1.256 + notifier(BNode()).erase(node);
1.257 }
1.258
1.259 - getNotifier(Node()).erase(node);
1.260 + notifier(Node()).erase(node);
1.261 Parent::erase(node);
1.262 }
1.263
1.264 @@ -1354,8 +1354,8 @@
1.265 std::vector<Edge> edges;
1.266 edges.push_back(Parent::direct(uedge, true));
1.267 edges.push_back(Parent::direct(uedge, false));
1.268 - getNotifier(Edge()).erase(edges);
1.269 - getNotifier(UEdge()).erase(uedge);
1.270 + notifier(Edge()).erase(edges);
1.271 + notifier(UEdge()).erase(uedge);
1.272 Parent::erase(uedge);
1.273 }
1.274