Module org.chocosolver
Class LargeRelation
- java.lang.Object
-
- org.chocosolver.solver.constraints.extension.nary.LargeRelation
-
- Direct Known Subclasses:
TuplesLargeTable
,TuplesList
,TuplesTable
,TuplesVeryLargeTable
public abstract class LargeRelation extends Object
-
-
Constructor Summary
Constructors Constructor Description LargeRelation()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method 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 Tuples
convert()
Convert this relation into 'Tuples'abstract boolean
isConsistent(int[] tuple)
Test whether a tuple is consistentprotected boolean
valid(int[] tuple, IntVar[] vars)
-
-
-
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)
-
convert
public abstract Tuples convert()
Convert this relation into 'Tuples'- Returns:
-
-