feat(planar-incr-embed): logged edge count of normal edges only

This commit is contained in:
Ellen Emilia Anna Zscheile 2025-05-01 23:29:25 +02:00
parent 46d3d0e4a0
commit c74e593c2d
1 changed files with 9 additions and 1 deletions

View File

@ -501,7 +501,15 @@ where
edges: &self.edges, edges: &self.edges,
edge_paths: &taskres.edge_paths, edge_paths: &taskres.edge_paths,
}; };
let edge_count = taskres.edge_paths.iter().map(|i| i.len()).sum::<usize>(); let edge_count = taskres
.edge_paths
.iter()
.map(|i| {
i.iter()
.filter(|j| matches!(j, RelaxedPath::Normal(_)))
.count()
})
.sum::<usize>();
match self.goals.get(next_goal_idx) { match self.goals.get(next_goal_idx) {
None => { None => {
// done with all goals // done with all goals