From e12b1f4459aee80ee333e90e3b56a3b09f81ae3e Mon Sep 17 00:00:00 2001 From: superwhiskers Date: Mon, 15 Sep 2025 13:38:14 -0500 Subject: node topological sorting Change-Id: I6a6a6964255d818be1bf9a8f4ec9e317befa19c5 --- crates/core/src/egraph/union_find.rs | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 crates/core/src/egraph/union_find.rs (limited to 'crates/core/src/egraph/union_find.rs') diff --git a/crates/core/src/egraph/union_find.rs b/crates/core/src/egraph/union_find.rs new file mode 100644 index 0000000..8d5422d --- /dev/null +++ b/crates/core/src/egraph/union_find.rs @@ -0,0 +1,6 @@ +//! Union-find / disjoint-set data structure implementations. + +/// Simple union-find implementation. +/// +/// Operates according to a union by min-id scheme. +pub struct UnionFind {} -- cgit 1.4.1-2-gfad0