| changeset 2223 | 590c1b663a27 |
| parent 2203 | 5f1a83b565fb |
| child 2231 | 06faf3f06d67 |
| 21:3aa2c6aace36 | 22:355dbb0f6352 |
|---|---|
1521 node_notifier.clear(); |
1521 node_notifier.clear(); |
1522 anode_notifier.clear(); |
1522 anode_notifier.clear(); |
1523 bnode_notifier.clear(); |
1523 bnode_notifier.clear(); |
1524 } |
1524 } |
1525 |
1525 |
1526 Edge findEdge(Node u, Node v, Edge prev = INVALID) const { |
|
1527 UEdge uedge = Parent::findUEdge(u, v, prev); |
|
1528 if (uedge != INVALID) { |
|
1529 return direct(uedge, Parent::aNode(u)); |
|
1530 } else { |
|
1531 return INVALID; |
|
1532 } |
|
1533 } |
|
1526 |
1534 |
1527 }; |
1535 }; |
1528 |
1536 |
1529 } |
1537 } |
1530 |
1538 |