public class IntegerDomainIntevals extends IntegerDomain
CSP
Modifier and Type | Field and Description |
---|---|
static int |
MAX_SET_SIZE |
USE_DIET_DOMAIN
Constructor and Description |
---|
IntegerDomainIntevals(IntegerDomainIntevals d) |
IntegerDomainIntevals(int lb,
int ub) |
IntegerDomainIntevals(java.util.SortedSet<java.lang.Integer> domain) |
appendValues, create, create, isEmpty, toString
public IntegerDomainIntevals(int lb, int ub) throws SugarException
SugarException
public IntegerDomainIntevals(java.util.SortedSet<java.lang.Integer> domain)
public IntegerDomainIntevals(IntegerDomainIntevals d)
public int size()
size
in class IntegerDomain
public int getLowerBound()
getLowerBound
in class IntegerDomain
public int getUpperBound()
getUpperBound
in class IntegerDomain
public boolean contains(int value)
contains
in class IntegerDomain
public int sizeLE(int value)
sizeLE
in class IntegerDomain
public IntegerDomain bound(int lb0, int ub0) throws SugarException
bound
in class IntegerDomain
SugarException
public java.util.Iterator<java.lang.Integer> values(int lb, int ub)
values
in class IntegerDomain
public java.util.Iterator<java.lang.Integer> values()
values
in class IntegerDomain
public java.util.Iterator<int[]> intervals()
intervals
in class IntegerDomain
public IntegerDomain cap(IntegerDomainIntevals d1) throws SugarException
SugarException
public IntegerDomain cup(IntegerDomainIntevals d1) throws SugarException
SugarException
public IntegerDomain neg() throws SugarException
neg
in class IntegerDomain
SugarException
public IntegerDomain abs() throws SugarException
abs
in class IntegerDomain
SugarException
public IntegerDomain add(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain sub(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain mul(int a) throws SugarException
mul
in class IntegerDomain
SugarException
public IntegerDomain mul(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain div(int a) throws SugarException
div
in class IntegerDomain
SugarException
public IntegerDomain div(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain mod(int a) throws SugarException
SugarException
public IntegerDomain mod(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain pow(int a) throws SugarException
SugarException
public IntegerDomain min(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain max(IntegerDomainIntevals d) throws SugarException
SugarException
public IntegerDomain cup(IntegerDomain domain) throws SugarException
cup
in class IntegerDomain
SugarException
public IntegerDomain cap(IntegerDomain domain) throws SugarException
cap
in class IntegerDomain
SugarException
public IntegerDomain add(IntegerDomain domain) throws SugarException
add
in class IntegerDomain
SugarException
public IntegerDomain sub(IntegerDomain domain) throws SugarException
sub
in class IntegerDomain
SugarException
public IntegerDomain mul(IntegerDomain domain) throws SugarException
mul
in class IntegerDomain
SugarException
public IntegerDomain div(IntegerDomain domain) throws SugarException
div
in class IntegerDomain
SugarException
public IntegerDomain mod(IntegerDomain domain) throws SugarException
mod
in class IntegerDomain
SugarException
public IntegerDomain min(IntegerDomain domain) throws SugarException
min
in class IntegerDomain
SugarException
public IntegerDomain max(IntegerDomain domain) throws SugarException
max
in class IntegerDomain
SugarException