equal
deleted
inserted
replaced
1261 |
1261 |
1262 UEdgeNotifier& getNotifier(UEdge) const { |
1262 UEdgeNotifier& getNotifier(UEdge) const { |
1263 return uEdgeNotifier; |
1263 return uEdgeNotifier; |
1264 } |
1264 } |
1265 |
1265 |
1266 ~BpUGraphExtender() { |
|
1267 getNotifier(UEdge()).clear(); |
|
1268 getNotifier(Edge()).clear(); |
|
1269 getNotifier(ANode()).clear(); |
|
1270 getNotifier(BNode()).clear(); |
|
1271 getNotifier(Node()).clear(); |
|
1272 } |
|
1273 |
|
1274 |
|
1275 class NodeIt : public Node { |
1266 class NodeIt : public Node { |
1276 const Graph* graph; |
1267 const Graph* graph; |
1277 public: |
1268 public: |
1278 |
1269 |
1279 NodeIt() { } |
1270 NodeIt() { } |