class UInt256ValueDomain<T : UInt256Value<T>!> : DiscreteDomain<T>
(source)
A DiscreteDomain
over a UInt256Value
.
<init> |
UInt256ValueDomain(ctor: Function<UInt256!, 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 |