cranelift_isle

Module disjointsets

Source
Expand description

Implementation of DisjointSets, to store disjoint sets and provide efficient operations to merge sets

Structsยง

DisjointSets
Stores disjoint sets and provides efficient operations to merge two sets, and to find a representative member of a set given any member of that set. In this implementation, sets always have at least two members, and can only be formed by the merge operation.