lattice
Attributes
- Graph
-
- Supertypes
- Self type
-
lattice.type
Members list
Value members
Concrete methods
By assumption: associative, commutative, idempotent.
By assumption: associative, commutative, idempotent.
Implementation note: If it matters, assume that left is the current state and right is an added delta. All code should assume that left is the larger state (and optimize for this). If left == right, prefer to return left.
Attributes
- Definition Classes
-
Lattice
Inherited methods
Lattice order is derived from merge. Overriding implementations must make sure that they compute exactly the same results as the equation below.
Lattice order is derived from merge. Overriding implementations must make sure that they compute exactly the same results as the equation below.
Attributes
- Inherited from:
- Lattice
Extensions
Inherited extensions
Convenience extensions for the above.
Convenience extensions for the above.
Attributes
- Inherited from:
- Lattice
Convenience extensions for the above.
Convenience extensions for the above.
Attributes
- Inherited from:
- Lattice
Merging right into left has no effect
Merging right into left has no effect
Attributes
- Inherited from:
- Lattice