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, size
java.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.