org.chocosolver.solver.constraints.extension.nary

Class TuplesList

java.lang.Object

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

org.chocosolver.solver.constraints.extension.nary.TuplesList

All Implemented Interfaces:

Serializable

public class TuplesList
extends LargeRelation

A simple way of storing the tuples as a list. This doesn't allow consistency check (TuplesTable is made for that) or iteration over supports of each value (IterTuplesTable is made for that) This simple way of storing supports only allow fast iteration over the all set of tuples and is used by STR gac scheme.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected static Comparator<int[]>	TCOMP
protected int[][]	tuplesIndexes

Constructor Summary

Constructors

Constructor and Description
TuplesList(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()
int[]	getTuple(int support)
int[][]	getTupleTable()
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

tuplesIndexes

protected final int[][] tuplesIndexes

TCOMP

protected static final Comparator<int[]> TCOMP

Constructor Detail

TuplesList

public TuplesList(Tuples tuples,
          IntVar[] vars)

Method Detail

getTuple

public int[] getTuple(int support)

getTupleTable

public int[][] getTupleTable()

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