compiler/edu.cornell.cs.apl.viaduct.algebra/Lattice

Lattice

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

A set with unique least upper and greatest lower bounds.

Functions

join

abstract fun join(that: T): T

The least upper bound of this and that.

lessThanOrEqualTo

abstract fun lessThanOrEqualTo(that: T): Boolean

Returns true if this is ordered before that.

meet

abstract fun meet(that: T): T

The greatest lower bound of this and that.

Inheritors

HeytingAlgebra

Label