trait BoundedLattice[@specialized(Int, Long, Float, Double) A] extends Lattice[A] with BoundedMeetSemilattice[A] with BoundedJoinSemilattice[A]
A bounded lattice is a lattice that additionally has one element that is the bottom (zero, also written as ⊥), and one element that is the top (one, also written as ⊤).
A bounded lattice is a lattice that additionally has one element that is the bottom (zero, also written as ⊥), and one element that is the top (one, also written as ⊤).
This means that for any a in A:
join(zero, a) = a = meet(one, a)
Or written using traditional notation:
(0 ∨ a) = a = (1 ∧ a)
- Companion
- object
trait BoundedJoinSemilattice[A]
trait BoundedMeetSemilattice[A]
trait Lattice[A]
trait MeetSemilattice[A]
trait JoinSemilattice[A]
trait Serializable
class Any
trait BoundedDistributiveLattice[A]
trait Heyting[A]
trait Bool[A]
class BooleanAlgebra
class BoolFromBoolRing[A]
class DualBool[A]
trait Logic[A]
trait DeMorgan[A]
class MinMaxBoundedDistributiveLattice[A]