(DiscreteDomain<C> domain)
| 58 | abstract @Nullable C leastValueAbove(DiscreteDomain<C> domain); |
| 59 | |
| 60 | abstract @Nullable C greatestValueBelow(DiscreteDomain<C> domain); |
| 61 | |
| 62 | /* |
| 63 | * The canonical form is a BelowValue cut whenever possible, otherwise ABOVE_ALL, or |