Crate ena [−] [src]

An implementation of union-find and (optionally) congruence-closure. See the unify and cc modules for more details. Note that congruence-closure requires you to opt-in to the feature "congruence-closure".

Modules

snapshot_vec	A utility class for implementing "snapshottable" things; a snapshottable data structure permits you to take a snapshot (via `start_snapshot`) and then, after making some changes, elect either to rollback to the start of the snapshot or commit those changes.
unify	Union-find implementation. The main type is `UnificationTable`.