object Domain
- Companion:
- class
- Source:
- Domain.scala
Givens
Givens
A domain obtained by a linear ordering, taking the max to be the upper
bound operator. Here we assume that if lteq(x, y) == true and lteq(y, x) \== true then x == y, which is ensured by the contract of the
Ordering trait.
A domain obtained by a linear ordering, taking the max to be the upper
bound operator. Here we assume that if lteq(x, y) == true and lteq(y, x) \== true then x == y, which is ensured by the contract of the
Ordering trait.
- Source:
- Domain.scala