Crate ena [] [src]

Modules

bitvec
cc

An implementation of the Congruence Closure algorithm based on the paper "Fast Decision Procedures Based on Congruence Closure" by Nelson and Oppen, JACM 1980.

constraint

Constraint graph.

graph

A graph module for use in dataflow, region resolution, and elsewhere.

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

Macros

debug