org.chocosolver.solver.constraints.extension.nary

Class LargeRelation

java.lang.Object

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

TuplesLargeTable, TuplesList, TuplesTable, TuplesVeryLargeTable

public abstract class LargeRelation
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LargeRelation()

Method Summary

Methods

Modifier and Type	Method and Description
abstract 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.
abstract LargeRelation	duplicate()
abstract boolean	isConsistent(int[] tuple) Test whether a tuple is consistent
protected boolean	valid(int[] tuple, IntVar[] vars)

Methods inherited from class java.lang.Object

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

Constructor Detail

LargeRelation

public LargeRelation()

Method Detail

checkTuple

public abstract 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.

isConsistent

public abstract boolean isConsistent(int[] tuple)

Test whether a tuple is consistent

Returns:

true if tuple is consistent.

valid

protected boolean valid(int[] tuple,
            IntVar[] vars)

duplicate

public abstract LargeRelation duplicate()