jp.kobe_u.sugar.csp

Class IntegerDomain

java.lang.Object

jp.kobe_u.sugar.csp.IntegerDomain

Direct Known Subclasses:

IntegerDomainDiet, IntegerDomainIntevals

public abstract class IntegerDomain
extends java.lang.Object

This is an abstract class of integer domains.

See Also:

CSP

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	USE_DIET_DOMAIN

Constructor Summary

Constructors

Constructor and Description
IntegerDomain()

Method Summary

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

USE_DIET_DOMAIN

public static boolean USE_DIET_DOMAIN

Constructor Detail

IntegerDomain

public IntegerDomain()

Method Detail

create

public static IntegerDomain create(int lb,
                                   int ub)
                            throws SugarException

Throws:

SugarException

create

public static IntegerDomain create(java.util.SortedSet<java.lang.Integer> domain)

isEmpty

public boolean isEmpty()

size

public abstract int size()

sizeLE

public abstract int sizeLE(int value)

contains

public abstract boolean contains(int value)

getLowerBound

public abstract int getLowerBound()

getUpperBound

public abstract int getUpperBound()

intervals

public abstract java.util.Iterator<int[]> intervals()

values

public abstract java.util.Iterator<java.lang.Integer> values(int lb,
                                                             int ub)
                                                      throws SugarException

Throws:

SugarException

values

public abstract java.util.Iterator<java.lang.Integer> values()
                                                      throws SugarException

Throws:

SugarException

bound

public abstract IntegerDomain bound(int lb,
                                    int ub)
                             throws SugarException

Throws:

SugarException

cap

public abstract IntegerDomain cap(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

cup

public abstract IntegerDomain cup(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

neg

public abstract IntegerDomain neg()
                           throws SugarException

Throws:

SugarException

abs

public abstract IntegerDomain abs()
                           throws SugarException

Throws:

SugarException

add

public abstract IntegerDomain add(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

sub

public abstract IntegerDomain sub(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

mul

public abstract IntegerDomain mul(int a)
                           throws SugarException

Throws:

SugarException

mul

public abstract IntegerDomain mul(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

div

public abstract IntegerDomain div(int a)
                           throws SugarException

Throws:

SugarException

div

public abstract IntegerDomain div(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

mod

public abstract IntegerDomain mod(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

min

public abstract IntegerDomain min(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

max

public abstract IntegerDomain max(IntegerDomain domain)
                           throws SugarException

Throws:

SugarException

appendValues

public void appendValues(java.lang.StringBuilder sb,
                         boolean useDots)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object