org.chocosolver.solver.constraints.extension.nary

Class TuplesLargeTable

java.lang.Object

org.chocosolver.solver.constraints.extension.nary.LargeRelation

org.chocosolver.solver.constraints.extension.nary.TuplesLargeTable

All Implemented Interfaces:

Serializable

public class TuplesLargeTable
extends LargeRelation

Since:

08/06/11

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected long[]	blocks in order to speed up the computation of the index of a tuple in the table, blocks[i] stores the product of the size of variables j with j < i.
protected boolean	feasible
protected int[]	lowerbounds lower bound of each variable
protected int	n the number of dimensions of the considered tuples
protected gnu.trove.map.hash.TIntObjectHashMap<gnu.trove.set.TIntSet>	tables The consistency matrix
protected int[]	upperbounds upper bound of each variable

Constructor Summary

Constructors

Constructor and Description
TuplesLargeTable(Tuples tuples, IntVar[] vars)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	checkTuple(int[] tuple) return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.
LargeRelation	duplicate()
boolean	isConsistent(int[] tuple) Test whether a tuple is consistent

Methods inherited from class org.chocosolver.solver.constraints.extension.nary.LargeRelation

valid

Methods inherited from class java.lang.Object

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

Field Detail

n

protected final int n

the number of dimensions of the considered tuples

tables

protected final gnu.trove.map.hash.TIntObjectHashMap<gnu.trove.set.TIntSet> tables

The consistency matrix

lowerbounds

protected final int[] lowerbounds

lower bound of each variable

upperbounds

protected final int[] upperbounds

upper bound of each variable

feasible

protected final boolean feasible

blocks

protected long[] blocks

in order to speed up the computation of the index of a tuple in the table, blocks[i] stores the product of the size of variables j with j < i.

Constructor Detail

TuplesLargeTable

public TuplesLargeTable(Tuples tuples,
                IntVar[] vars)

Method Detail

checkTuple

public boolean checkTuple(int[] tuple)

Description copied from class: LargeRelation

return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.

Specified by:

checkTuple in class LargeRelation

isConsistent

public boolean isConsistent(int[] tuple)

Description copied from class: LargeRelation

Test whether a tuple is consistent

Specified by:

isConsistent in class LargeRelation

Returns:

true if tuple is consistent.

duplicate

public LargeRelation duplicate()

Specified by:

duplicate in class LargeRelation