(DiscreteDomain<C> domain)
| 438 | } |
| 439 | |
| 440 | @Override |
| 441 | Cut<C> canonical(DiscreteDomain<C> domain) { |
| 442 | C next = leastValueAbove(domain); |
| 443 | return (next != null) ? belowValue(next) : Cut.<C>aboveAll(); |
| 444 | } |
| 445 | |
| 446 | @Override |
| 447 | public int hashCode() { |
nothing calls this directly
no test coverage detected