[−][src]Module gf::support::lattice
Lattices and semilattices.
Structs
| Flip | Adapter for converting a meet semilattice into a join semilattice, a bottom element into a top element and vice versa. |
| HashLattice | Lattice backed by a hash map. |
Enums
| FlatLattice | Lattice constructed from a set by adding dedicated bottom and top elements. |
| PosetLattice | Lattice constructed from a partially ordered set by adding dedicated bottom and top elements. |
Traits
| Bottom | A type that has a designated bottom element, ⊥. |
| Join | A join semilattice that has a bottom and a top element. |
| Meet | A meet semilattice that has a bottom and a top element. |
| Top | A type that has a designated top element, ⊤. |
| ValueSet | A lattice that can view its elements as value sets of type |