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

MeetSemiLattice

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

A set that supports binary greatest lower bounds.

Functions

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

Returns true if this is ordered before that.

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

The greatest lower bound of this and that.

Inheritors

Lattice
Link copied to clipboard