compiler/io.github.aplcornell.viaduct.algebra/Lattice

Lattice

interface Lattice<T : Lattice<T>> : JoinSemiLattice<T> , MeetSemiLattice<T>

A set with unique least upper bounds and greatest lower bounds.

Functions

abstract infix fun join(that: T): T

The least upper bound of this and that.

abstract infix fun meet(that: T): T

The greatest lower bound of this and that.

Inheritors

SecurityLattice