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".



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.


Union-find implementation. The main type is UnificationTable.