public class IntegerDomainDiet extends IntegerDomain
CSP
Modifier and Type | Field and Description |
---|---|
static int |
MAX_SET_SIZE |
USE_DIET_DOMAIN
Constructor and Description |
---|
IntegerDomainDiet() |
IntegerDomainDiet(int lb,
int ub) |
IntegerDomainDiet(java.util.SortedSet<java.lang.Integer> domain) |
Modifier and Type | Method and Description |
---|---|
IntegerDomain |
abs() |
IntegerDomain |
add(IntegerDomain domain) |
IntegerDomain |
bound(int lb,
int ub) |
IntegerDomain |
cap(IntegerDomain domain) |
IntegerDomainDiet |
complement() |
boolean |
contains(int value) |
IntegerDomain |
cup(IntegerDomain domain) |
IntegerDomain |
div(int a) |
IntegerDomain |
div(IntegerDomain domain) |
int |
getLowerBound() |
int |
getUpperBound() |
java.util.Iterator<int[]> |
intervals() |
boolean |
isEmpty() |
static void |
main(java.lang.String[] args) |
IntegerDomain |
max(IntegerDomain domain) |
IntegerDomain |
min(IntegerDomain domain) |
IntegerDomain |
mod(IntegerDomain domain) |
IntegerDomain |
mul(int a) |
IntegerDomain |
mul(IntegerDomain domain) |
IntegerDomain |
neg() |
int |
size() |
int |
sizeLE(int value) |
IntegerDomain |
sub(IntegerDomain domain) |
java.util.Iterator<java.lang.Integer> |
values() |
java.util.Iterator<java.lang.Integer> |
values(int lb,
int ub) |
appendValues, create, create, toString
public IntegerDomainDiet()
public IntegerDomainDiet(int lb, int ub)
public IntegerDomainDiet(java.util.SortedSet<java.lang.Integer> domain)
public boolean isEmpty()
isEmpty
in class IntegerDomain
public int size()
size
in class IntegerDomain
public int sizeLE(int value)
sizeLE
in class IntegerDomain
public boolean contains(int value)
contains
in class IntegerDomain
public int getLowerBound()
getLowerBound
in class IntegerDomain
public int getUpperBound()
getUpperBound
in class IntegerDomain
public java.util.Iterator<int[]> intervals()
intervals
in class IntegerDomain
public java.util.Iterator<java.lang.Integer> values()
values
in class IntegerDomain
public java.util.Iterator<java.lang.Integer> values(int lb, int ub) throws SugarException
values
in class IntegerDomain
SugarException
public IntegerDomain bound(int lb, int ub) throws SugarException
bound
in class IntegerDomain
SugarException
public IntegerDomainDiet complement() throws SugarException
SugarException
public IntegerDomain cap(IntegerDomain domain) throws SugarException
cap
in class IntegerDomain
SugarException
public IntegerDomain cup(IntegerDomain domain) throws SugarException
cup
in class IntegerDomain
SugarException
public IntegerDomain neg() throws SugarException
neg
in class IntegerDomain
SugarException
public IntegerDomain abs() throws SugarException
abs
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(int a) throws SugarException
mul
in class IntegerDomain
SugarException
public IntegerDomain mul(IntegerDomain domain) throws SugarException
mul
in class IntegerDomain
SugarException
public IntegerDomain div(int a) throws SugarException
div
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
public static void main(java.lang.String[] args)