1.1 --- a/lemon/bits/graph_extender.h Wed Jan 11 22:21:07 2012 +0100
1.2 +++ b/lemon/bits/graph_extender.h Wed Jan 11 22:43:50 2012 +0100
1.3 @@ -840,16 +840,6 @@
1.4 }
1.5 }
1.6
1.7 - std::pair<RedNode, BlueNode> asRedBlueNode(const Node& node) const {
1.8 - if (node == INVALID) {
1.9 - return std::make_pair(RedNode(INVALID), BlueNode(INVALID));
1.10 - } else if (Parent::red(node)) {
1.11 - return std::make_pair(Parent::asRedNodeUnsafe(node), BlueNode(INVALID));
1.12 - } else {
1.13 - return std::make_pair(RedNode(INVALID), Parent::asBlueNodeUnsafe(node));
1.14 - }
1.15 - }
1.16 -
1.17 // Alterable extension
1.18
1.19 typedef AlterationNotifier<BpGraphExtender, Node> NodeNotifier;