github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 14:48:16 -05:00
Code Issues Packages Projects Releases Wiki Activity

Group into btreeset directly (#3105)

Browse Source 
Co-authored-by: Georg Wiese <georgwiese@gmail.com>
This commit is contained in:
chriseth
2025-07-29 15:58:45 +02:00
committed by GitHub
parent 4700c1815f
commit 581a9916fe
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
constraint-solver/src/indexed_constraint_system.rs
View File

@@ -341,9 +341,7 @@ fn variable_occurrences<T: RuntimeConstant, V: Hash + Eq + Clone>(
});
occurrences_in_algebraic_constraints
.chain(occurrences_in_bus_interactions)
.into_group_map()
.into_iter()
.map(|(variable, occurrences)| (variable, occurrences.into_iter().collect::<BTreeSet<_>>()))
.into_grouping_map()
.collect()
}