ena

library0.14.4rscratesunverified

Union-find, congruence closure, and other unification algorithms, based on code from rustc.

# Cargo.toml
[dependencies]
ena = "0.14.4"

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · ENA

ena

utilityrustv0.14.4

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

UnificationTable

✓ use ena::unify::UnificationTable;

Minimal example using UnificationTable for union-find operations.

use ena::unify::UnificationTable; fn main() { let mut table: UnificationTable<usize> = UnificationTable::new(); let a = table.new_key(1); let b = table.new_key(2); table.union(a, b); assert_eq!(table.find(a), table.find(b)); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

0.14.4latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

8 hits · last 30 days

node

Resources

githubhttps://github.com/rust-lang/ena ↗

homepagehttps://github.com/rust-lang/ena ↗

docshttps://docs.rs/ena/ ↗