equal
deleted
inserted
replaced
42 Parent::clear(); |
42 Parent::clear(); |
43 } |
43 } |
44 |
44 |
45 }; |
45 }; |
46 |
46 |
|
47 |
|
48 template <typename _Base> |
|
49 class ClearableUndirBipartiteGraphExtender : public _Base { |
|
50 public: |
|
51 |
|
52 typedef _Base Parent; |
|
53 typedef ClearableUndirBipartiteGraphExtender Graph; |
|
54 |
|
55 typedef typename Parent::Node Node; |
|
56 typedef typename Parent::LowerNode LowerNode; |
|
57 typedef typename Parent::UpperNode UpperNode; |
|
58 typedef typename Parent::Edge Edge; |
|
59 typedef typename Parent::UndirEdge UndirEdge; |
|
60 |
|
61 void clear() { |
|
62 Parent::getNotifier(Edge()).clear(); |
|
63 Parent::getNotifier(UndirEdge()).clear(); |
|
64 Parent::getNotifier(Node()).clear(); |
|
65 Parent::getNotifier(LowerNode()).clear(); |
|
66 Parent::getNotifier(UpperNode()).clear(); |
|
67 Parent::clear(); |
|
68 } |
|
69 |
|
70 }; |
|
71 |
47 } |
72 } |
48 |
73 |
49 #endif |
74 #endif |