class UInt64ValueDomain<T : UInt64Value<T>!> : DiscreteDomain<T>
(source)
A DiscreteDomain
over a UInt64Value
.
<init> |
UInt64ValueDomain(ctor: Function<UInt64!, T>!) |
distance |
fun distance(start: T, end: T): Long |
maxValue |
fun maxValue(): T |
minValue |
fun minValue(): T |
next |
fun next(value: T): T |
previous |
fun previous(value: T): T |