public final class IntegerDomainConstraint<V> extends java.lang.Object implements IntegerConstraint<V>
IntegerDomainConstraint
class represents a simple constraint.Modifier and Type | Class and Description |
---|---|
static class |
IntegerDomainConstraint.Type
IntegerDomainConstraint.Type contains domain constraint types. |
Constructor and Description |
---|
IntegerDomainConstraint(IntegerDomainConstraint.Type type,
V variable,
java.util.Set<java.math.BigInteger> domain,
java.util.Set<java.math.BigInteger> values) |
IntegerDomainConstraint(V variable,
java.math.BigInteger value) |
IntegerDomainConstraint(V variable,
java.util.Set<java.math.BigInteger> values) |
IntegerDomainConstraint(V variable,
java.util.Set<java.math.BigInteger> domain,
java.util.Set<java.math.BigInteger> values) |
Modifier and Type | Method and Description |
---|---|
IntegerFormula<V> |
getFormula() |
IntegerDomainConstraint.Type |
getType() |
java.util.Set<java.math.BigInteger> |
getValues() |
V |
getVariable() |
java.lang.String |
toString() |
public IntegerDomainConstraint(IntegerDomainConstraint.Type type, V variable, java.util.Set<java.math.BigInteger> domain, java.util.Set<java.math.BigInteger> values)
public IntegerDomainConstraint(V variable, java.util.Set<java.math.BigInteger> domain, java.util.Set<java.math.BigInteger> values)
public IntegerDomainConstraint(V variable, java.util.Set<java.math.BigInteger> values)
public IntegerDomainConstraint(V variable, java.math.BigInteger value)
public IntegerDomainConstraint.Type getType()
public V getVariable()
public java.util.Set<java.math.BigInteger> getValues()
public IntegerFormula<V> getFormula()
getFormula
in interface IntegerConstraint<V>
public java.lang.String toString()
toString
in class java.lang.Object