equal
deleted
inserted
replaced
12 class ClearableGraphExtender : public _Base { |
12 class ClearableGraphExtender : public _Base { |
13 public: |
13 public: |
14 |
14 |
15 typedef ClearableGraphExtender Graph; |
15 typedef ClearableGraphExtender Graph; |
16 typedef _Base Parent; |
16 typedef _Base Parent; |
|
17 typedef typename Parent::Node Node; |
|
18 typedef typename Parent::Edge Edge; |
17 |
19 |
18 void clear() { |
20 void clear() { |
19 Parent::getNodeObserverRegistry().clear(); |
21 Parent::getObserverRegistry(Node()).clear(); |
20 Parent::getEdgeObserverRegistry().clear(); |
22 Parent::getObserverRegistry(Edge()).clear(); |
21 Parent::clear(); |
23 Parent::clear(); |
22 } |
24 } |
23 |
25 |
24 }; |
26 }; |
25 |
27 |