public interface FiniteDomain extends DiscreteDomain
| Modifier and Type | Method and Description |
|---|---|
int |
getOffset(java.lang.Object value)
The possible values for a finite domain are to have a consistent ordering
(whether they are actually ordered by value or not).
|
java.util.Set<? extends java.lang.Object> |
getPossibleValues() |
java.lang.Object |
getValueAt(int offset) |
isFinite, isInfinite, isOrdered, sizejava.util.Set<? extends java.lang.Object> getPossibleValues()
int getOffset(java.lang.Object value)
value - a value from the domain.java.lang.IllegalArgumentException - if the value is not valid for the domain.java.lang.Object getValueAt(int offset)
offset - an offset into the consistent ordering for this domain.