algebra.lattice.DistributiveLattice
See theDistributiveLattice companion object
A distributive lattice a lattice where join and meet distribute:
- a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
- a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
Attributes
- Companion:
- object
- Source:
- DistributiveLattice.scala
- Graph
- Supertypes
- Known subtypes
- trait BoundedDistributiveLattice[A]trait Heyting[A]trait Bool[A]class BooleanAlgebraclass BoolFromBoolRing[A]class DualBool[A]trait Logic[A]trait DeMorgan[A]class MinMaxBoundedDistributiveLattice[A]trait GenBool[A]class BitSetAlgebraclass SetLattice[A]class GenBoolFromBoolRng[A]class MinMaxLattice[A]