compiler/io.github.aplcornell.viaduct.algebra.solver/Term/Bounds

Bounds

class Bounds<C : Lattice<C>, V>(bounds: BoundedLattice<C>) : BoundedLattice<Term<C, V>>

Provides bounds for a Term given bounds for C.

Constructors

Link copied to clipboard
fun <C : Lattice<C>> Bounds(bounds: BoundedLattice<C>)

Properties

Link copied to clipboard
open override val bottom: Term<C, V>

The least element of T.

Link copied to clipboard
open override val top: Term<C, V>

The greatest element of T.