kofre.base.Lattice$
See theLattice companion trait
object Lattice
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
class ProductLattice[T <: Product](pm: ProductOf[T], lattices: Seq[Lattice[Any]]) extends Lattice[T]
Attributes
- Graph
- Supertypes
Value members
Concrete methods
Merge functions can throw away redundant information, if one constructs values directly (not by using operators) this could result in values that should be equal, but are not. Normalize fixes this.
Merge functions can throw away redundant information, if one constructs values directly (not by using operators) this could result in values that should be equal, but are not. Normalize fixes this.