public abstract class AbstractFiniteDomain extends java.lang.Object implements FiniteDomain
Constructor and Description |
---|
AbstractFiniteDomain() |
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).
|
abstract java.util.Set<? extends java.lang.Object> |
getPossibleValues() |
java.lang.Object |
getValueAt(int offset) |
protected void |
indexPossibleValues(java.util.Set<? extends java.lang.Object> possibleValues) |
boolean |
isFinite() |
boolean |
isInfinite() |
abstract boolean |
isOrdered() |
abstract int |
size() |
java.lang.String |
toString() |
public boolean isFinite()
public boolean isInfinite()
isInfinite
in interface Domain
public abstract int size()
public abstract boolean isOrdered()
public abstract java.util.Set<? extends java.lang.Object> getPossibleValues()
getPossibleValues
in interface FiniteDomain
public int getOffset(java.lang.Object value)
FiniteDomain
getOffset
in interface FiniteDomain
value
- a value from the domain.public java.lang.Object getValueAt(int offset)
getValueAt
in interface FiniteDomain
offset
- an offset into the consistent ordering for this domain.public java.lang.String toString()
toString
in class java.lang.Object
protected void indexPossibleValues(java.util.Set<? extends java.lang.Object> possibleValues)