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 |
unify |
Union-find implementation. The main type is |