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 |
unify |
Macros
debug |