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