public class ArbitraryTokenDomain extends AbstractFiniteDomain
Constructor and Description |
---|
ArbitraryTokenDomain(boolean ordered,
java.lang.Object... pValues) |
ArbitraryTokenDomain(java.lang.Object... pValues) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.util.Set<java.lang.Object> |
getPossibleValues() |
int |
hashCode() |
boolean |
isOrdered() |
int |
size() |
getOffset, getValueAt, indexPossibleValues, isFinite, isInfinite, toString
public ArbitraryTokenDomain(java.lang.Object... pValues)
public ArbitraryTokenDomain(boolean ordered, java.lang.Object... pValues)
public int size()
size
in interface Domain
size
in class AbstractFiniteDomain
public boolean isOrdered()
isOrdered
in interface Domain
isOrdered
in class AbstractFiniteDomain
public java.util.Set<java.lang.Object> getPossibleValues()
getPossibleValues
in interface FiniteDomain
getPossibleValues
in class AbstractFiniteDomain
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object