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

JoinSemiLattice

interface JoinSemiLattice<T : JoinSemiLattice<T>> : PartialOrder<T>
Content copied to clipboard

A set that supports binary least upper bounds.

Functions

join
Link copied to clipboard
abstract fun join(that: T): T
Content copied to clipboard

The least upper bound of this and that.

lessThanOrEqualTo
Link copied to clipboard
abstract fun lessThanOrEqualTo(that: T): Boolean
Content copied to clipboard

Returns true if this is ordered before that.

Inheritors

Lattice
Link copied to clipboard