Module org.chocosolver

Package org.chocosolver.solver.constraints.extension.nary

Class TuplesTable

java.lang.Object

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

org.chocosolver.solver.constraints.extension.nary.TuplesTable

public class TuplesTable
extends LargeRelation

Since:

08/06/11

Author:

Charles Prud'homme

Constructor Summary

Constructors

Constructor	Description
TuplesTable(Tuples tuples, IntVar[] vars)

Method Summary

Modifier and Type	Method	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.
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

TuplesTable

public TuplesTable(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: