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 Domainpublic abstract int size()
public abstract boolean isOrdered()
public abstract java.util.Set<? extends java.lang.Object> getPossibleValues()
getPossibleValues in interface FiniteDomainpublic int getOffset(java.lang.Object value)
FiniteDomaingetOffset in interface FiniteDomainvalue - a value from the domain.public java.lang.Object getValueAt(int offset)
getValueAt in interface FiniteDomainoffset - an offset into the consistent ordering for this domain.public java.lang.String toString()
toString in class java.lang.Objectprotected void indexPossibleValues(java.util.Set<? extends java.lang.Object> possibleValues)