add dedup comment
This commit is contained in:
parent
b9e8f74bb0
commit
9c9b46d31d
1 changed files with 1 additions and 0 deletions
|
@ -164,6 +164,7 @@ impl Graph {
|
||||||
// Return F, which specifically includes the corresponding edges in E
|
// Return F, which specifically includes the corresponding edges in E
|
||||||
forest.iter()
|
forest.iter()
|
||||||
.map(|i| min_edges[i.index])
|
.map(|i| min_edges[i.index])
|
||||||
|
// deduplication
|
||||||
.collect::<HashSet<_>>()
|
.collect::<HashSet<_>>()
|
||||||
.iter()
|
.iter()
|
||||||
.map(|e| *e)
|
.map(|e| *e)
|
||||||
|
|
Loading…
Reference in a new issue