jp.kobe_u.sugar.csp

Class IntegerDomainDiet

java.lang.Object

jp.kobe_u.sugar.csp.IntegerDomain

jp.kobe_u.sugar.csp.IntegerDomainDiet

public class IntegerDomainDiet
extends IntegerDomain

This class implements an integer domain class.

See Also:

CSP

Field Summary

Fields

Modifier and Type	Field and Description
static int	MAX_SET_SIZE

Fields inherited from class jp.kobe_u.sugar.csp.IntegerDomain

USE_DIET_DOMAIN

Constructor Summary

Constructors

Constructor and Description
IntegerDomainDiet()
IntegerDomainDiet(int lb, int ub)
IntegerDomainDiet(java.util.SortedSet<java.lang.Integer> domain)

Method Summary

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)

Methods inherited from class jp.kobe_u.sugar.csp.IntegerDomain

appendValues, create, create, toString

Methods inherited from class java.lang.Object

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

Field Detail

MAX_SET_SIZE

public static int MAX_SET_SIZE

Constructor Detail

IntegerDomainDiet

public IntegerDomainDiet()

IntegerDomainDiet

public IntegerDomainDiet(int lb,
                         int ub)

IntegerDomainDiet

public IntegerDomainDiet(java.util.SortedSet<java.lang.Integer> domain)

Method Detail

isEmpty

public boolean isEmpty()

Overrides:

isEmpty in class IntegerDomain

size

public int size()

Specified by:

size in class IntegerDomain

sizeLE

public int sizeLE(int value)

Specified by:

sizeLE in class IntegerDomain

contains

public boolean contains(int value)

Specified by:

contains in class IntegerDomain

getLowerBound

public int getLowerBound()

Specified by:

getLowerBound in class IntegerDomain

getUpperBound

public int getUpperBound()

Specified by:

getUpperBound in class IntegerDomain

intervals

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

Specified by:

intervals in class IntegerDomain

values

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

Specified by:

values in class IntegerDomain

values

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

Specified by:

values in class IntegerDomain

Throws:

SugarException

bound

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

Specified by:

bound in class IntegerDomain

Throws:

SugarException

complement

public IntegerDomainDiet complement()
                             throws SugarException

Throws:

SugarException

cap

public IntegerDomain cap(IntegerDomain domain)
                  throws SugarException

Specified by:

cap in class IntegerDomain

Throws:

SugarException

cup

public IntegerDomain cup(IntegerDomain domain)
                  throws SugarException

Specified by:

cup in class IntegerDomain

Throws:

SugarException

neg

public IntegerDomain neg()
                  throws SugarException

Specified by:

neg in class IntegerDomain

Throws:

SugarException

abs

public IntegerDomain abs()
                  throws SugarException

Specified by:

abs in class IntegerDomain

Throws:

SugarException

add

public IntegerDomain add(IntegerDomain domain)
                  throws SugarException

Specified by:

add in class IntegerDomain

Throws:

SugarException

sub

public IntegerDomain sub(IntegerDomain domain)
                  throws SugarException

Specified by:

sub in class IntegerDomain

Throws:

SugarException

mul

public IntegerDomain mul(int a)
                  throws SugarException

Specified by:

mul in class IntegerDomain

Throws:

SugarException

mul

public IntegerDomain mul(IntegerDomain domain)
                  throws SugarException

Specified by:

mul in class IntegerDomain

Throws:

SugarException

div

public IntegerDomain div(int a)
                  throws SugarException

Specified by:

div in class IntegerDomain

Throws:

SugarException

div

public IntegerDomain div(IntegerDomain domain)
                  throws SugarException

Specified by:

div in class IntegerDomain

Throws:

SugarException

mod

public IntegerDomain mod(IntegerDomain domain)
                  throws SugarException

Specified by:

mod in class IntegerDomain

Throws:

SugarException

min

public IntegerDomain min(IntegerDomain domain)
                  throws SugarException

Specified by:

min in class IntegerDomain

Throws:

SugarException

max

public IntegerDomain max(IntegerDomain domain)
                  throws SugarException

Specified by:

max in class IntegerDomain

Throws:

SugarException

main

public static void main(java.lang.String[] args)