[][src]Module gf::support::lattice

Lattices.

Structs

HashLattice

Lattice backed by a hash map.

Enums

FlatLattice

Lattice constructed from a set by adding dedicated bottom and top elements.

Traits

Lattice

A bounded lattice.