org.chocosolver.solver.constraints.extension

Class Tuples

java.lang.Object

org.chocosolver.solver.constraints.extension.Tuples

public class Tuples
extends Object

A unique interface to declare tuples for table constraints.

Since:

22/04/2014

Author:

Charles Prud'homme

Field Summary

Fields

Modifier and Type	Field and Description
protected int	arity
protected boolean	feasible
protected int[]	ranges
protected List<int[]>	tuples

Constructor Summary

Constructors

Constructor and Description
Tuples()
Tuples(boolean feasible)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(int... tuple) Add a new tuple to the set of tuples
void	add(int[]... tuples) Add a tuple set
int[]	get(int idx) Return the idx^th tuple
boolean	isFeasible() Return true if these are allowed tuples, false otherwise
int	max(int idx) Return the maximum value for the idx^th column among all tuples
int	min(int idx) Return the minimum value for the idx^th column among all tuples
int	nbTuples() Return the number of tuples stored
void	sort()
int[][]	toMatrix()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

feasible

protected final boolean feasible

tuples

protected final List<int[]> tuples

arity

protected int arity

ranges

protected int[] ranges

Constructor Detail

Tuples

public Tuples(boolean feasible)

Tuples

public Tuples()

Method Detail

add

public void add(int... tuple)

Add a new tuple to the set of tuples

Parameters:

tuple - a tuple.

Throws:

SolverException - if the size of the tuple added does not correspond to a the previous ones (if any).

add

public void add(int[]... tuples)

Add a tuple set

Parameters:

tuples - tuple set

isFeasible

public boolean isFeasible()

Return true if these are allowed tuples, false otherwise

Returns:

a boolean

min

public int min(int idx)

Return the minimum value for the idx^th column among all tuples

Parameters:

idx - idx of the column

Returns:

the minimum value

max

public int max(int idx)

Return the maximum value for the idx^th column among all tuples

Parameters:

idx - index of the column

Returns:

the maximum value

nbTuples

public int nbTuples()

Return the number of tuples stored

Returns:

number of tuples stored

get

public int[] get(int idx)

Return the idx^th tuple

toString

public String toString()

Overrides:

toString in class Object

toMatrix

public int[][] toMatrix()

Returns:

an array of tuples, each tuple is an int array

sort

public void sort()