Expand description
An implementation of union-find. See the unify
module for more
details.
Modules§
- 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. - Module which contains the snapshot/rollback functionality of the
ena
data structures. - Union-find implementation. The main type is
UnificationTable
.