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

public class TuplesLargeTable
extends LargeRelation

Since:

08/06/11

Author:

Charles Prud'homme

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	checkTuple(int[] tuple) return true if tuple is feasible according to the definition of the relation.
Tuples	convert() Convert this relation into 'Tuples'
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

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.

convert

public Tuples convert()

Description copied from class: LargeRelation

Convert this relation into 'Tuples'

Specified by:

convert in class LargeRelation

Returns: