| changeset 986 | e997802b855c |
| parent 962 | 1a770e9f80b2 |
| child 989 | ca95f8b5c931 |
| 0:17cca6a136b3 | 1:8725f8af6aea |
|---|---|
45 /// \bug this should be base_and_derived: |
45 /// \bug this should be base_and_derived: |
46 UndirEdge ue = e; |
46 UndirEdge ue = e; |
47 ue = e; |
47 ue = e; |
48 |
48 |
49 Node n; |
49 Node n; |
50 n = graph.head(ue); |
50 n = graph.target(ue); |
51 n = graph.tail(ue); |
51 n = graph.source(ue); |
52 |
52 |
53 graph.first(ue); |
53 graph.first(ue); |
54 graph.next(ue); |
54 graph.next(ue); |
55 } |
55 } |
56 const Graph &graph; |
56 const Graph &graph; |