about summary refs log tree commit diff stats
path: root/crates/core/src/egraph/union_find.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/core/src/egraph/union_find.rs')
-rw-r--r--crates/core/src/egraph/union_find.rs6
1 files changed, 6 insertions, 0 deletions
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 {}