equal
deleted
inserted
replaced
23 Parent::clear(); |
23 Parent::clear(); |
24 } |
24 } |
25 |
25 |
26 }; |
26 }; |
27 |
27 |
|
28 template <typename _Base> |
|
29 class ClearableUndirGraphExtender : public _Base { |
|
30 public: |
|
31 |
|
32 typedef ClearableUndirGraphExtender Graph; |
|
33 typedef _Base Parent; |
|
34 typedef typename Parent::Node Node; |
|
35 typedef typename Parent::UndirEdge UndirEdge; |
|
36 typedef typename Parent::Edge Edge; |
|
37 |
|
38 void clear() { |
|
39 Parent::getObserverRegistry(Node()).clear(); |
|
40 Parent::getObserverRegistry(UndirEdge()).clear(); |
|
41 Parent::getObserverRegistry(Edge()).clear(); |
|
42 Parent::clear(); |
|
43 } |
|
44 |
|
45 }; |
|
46 |
28 } |
47 } |
29 |
48 |
30 #endif |
49 #endif |