minicp.engine.core

Interface IntDomain

All Known Implementing Classes:

SparseSetDomain

public interface IntDomain

Interface for integer domain implementation. A domain is encapsulated in an IntVar implementation. A domain is like a set of integers.

Method Summary

Modifier and Type	Method and Description
boolean	contains(int v) Checks if the specified value belongs to the domain.
int	fillArray(int[] dest) Copies the values of the domain into an array.
boolean	isBound() Checks if the domain contains a single element.
int	max() Returns the maximum value of the domain.
int	min() Returns the minimum value of the domain.
void	remove(int v, DomainListener l) Removes a value from the domain and notifies appropriately the listener.
void	removeAbove(int v, DomainListener l) Removes every value larger than the specified value from the domain.
void	removeAllBut(int v, DomainListener l) Removes every value from the domain except the specified one.
void	removeBelow(int v, DomainListener l) Removes every value less than the specified value from the domain.
int	size() Returns the cardinality of the domain.
String	toString()

Method Detail

min

int min()

Returns the minimum value of the domain.

Returns:

the minimum value of the domain

max

int max()

Returns the maximum value of the domain.

Returns:

the maximum value of the domain

size

int size()

Returns the cardinality of the domain.

Returns:

the cardinality value of the domain

contains

boolean contains(int v)

Checks if the specified value belongs to the domain.

Parameters:

v - the value to be tested

Returns:

true if v belongs to the domain, false otherwise

isBound

boolean isBound()

Checks if the domain contains a single element.

Returns:

true if the domain contains a single element, false otherwise

remove

void remove(int v,
            DomainListener l)

Removes a value from the domain and notifies appropriately the listener.

Parameters:

v - the value to be removed

l - the methods of the listener are notified as follows:

• DomainListener.change() is called if v belongs to the domain
• DomainListener.changeMax() is called if v is equal to the maximum value
• DomainListener.changeMin() is called if v is equal to the minimum value
• DomainListener.bind() is called if v belongs to the domain and after its removal the domain has a single value
• DomainListener.empty() is called if v is the last value in the domain i.e. the domain is empty after this operation

removeAllBut

void removeAllBut(int v,
                  DomainListener l)

Removes every value from the domain except the specified one.

Parameters:

v - the value to be kept

l - the methods of the listener are notified as follows:

• DomainListener.change() is called if some value is removed during the operation
• DomainListener.changeMax() is called if v is not equal to the maximum value
• DomainListener.changeMin() is called if v is not equal to the minimum value
• DomainListener.bind() is called if v belongs to the domain and after its removal the domain has a single value
• DomainListener.empty() is called if v is not in the domain i.e. the domain is empty after this operation

removeBelow

void removeBelow(int v,
                 DomainListener l)

Removes every value less than the specified value from the domain.

Parameters:

v - the value such that all the values less than v are removed

l - the methods of the listener are notified as follows:

• DomainListener.change() is called if some value is removed during the operation
• DomainListener.changeMax() is called if v is is larger than the minimum value
• DomainListener.bind() is called if v is equal to the maximum value
• DomainListener.empty() is called if v is larger than the maximum value i.e. the domain is empty after this operation

removeAbove

void removeAbove(int v,
                 DomainListener l)

Removes every value larger than the specified value from the domain.

Parameters:

v - the value such that all the values larger than v are removed

l - the methods of the listener are notified as follows:

• DomainListener.change() is called if some value is removed during the operation
• DomainListener.changeMax() is called if v is is less than the maximum value
• DomainListener.bind() is called if v is equal to the minimum value
• DomainListener.empty() is called if v is less than the minimum value i.e. the domain is empty after this operation

fillArray

int fillArray(int[] dest)

Copies the values of the domain into an array.

Parameters:

dest - an array large enough dest.length >= size()

Returns:

the size of the domain and dest[0,...,size-1] contains the values in the domain in an arbitrary order

toString

String toString()

Overrides:

toString in class Object