|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.constraints.integer.extension.TuplesList
choco.kernel.solver.constraints.integer.extension.IterTuplesTable
public class IterTuplesTable
Field Summary | |
---|---|
protected int[] |
dsizes
The sizes of the domains |
protected int |
nbVar
number of variables |
protected int[] |
offsets
The lower bound of each variable |
protected int[][][] |
table
table[i][j] gives the table of supports as an int[] for value j of variable i |
Fields inherited from class choco.kernel.solver.constraints.integer.extension.TuplesList |
---|
tuplesIndexes |
Constructor Summary | |
---|---|
IterTuplesTable(List<int[]> tuples,
int[] offsets,
int[] domSizes)
|
Method Summary | |
---|---|
void |
buildInitialListOfSupports(List<int[]> tuples)
|
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. |
int |
getNbSupport(int var,
int val)
return the number of supports of the pair (var, val) assuming the offset has already been removed |
int[] |
getNbSupportFor(List<int[]> tups,
int i)
return the number of tuples supporting each value of variable i |
int |
getRelationOffset(int var)
|
int[][][] |
getTableLists()
for fast access |
boolean |
isConsistent(int[] tuple)
Test whether a tuple is consistent |
int |
seekNextTuple(int oldidx,
int var,
int val)
This relation do not take advantage of the knowledge of the previous support ! |
Methods inherited from class choco.kernel.solver.constraints.integer.extension.TuplesList |
---|
getTuple, getTupleTable |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface choco.kernel.solver.constraints.integer.extension.IterLargeRelation |
---|
getTuple |
Field Detail |
---|
protected int[][][] table
protected int nbVar
protected int[] dsizes
protected int[] offsets
Constructor Detail |
---|
public IterTuplesTable(List<int[]> tuples, int[] offsets, int[] domSizes)
Method Detail |
---|
public int[] getNbSupportFor(List<int[]> tups, int i)
tups
- i
- a variable
public void buildInitialListOfSupports(List<int[]> tuples)
public int[][][] getTableLists()
public int seekNextTuple(int oldidx, int var, int val)
seekNextTuple
in interface IterLargeRelation
oldidx
- var
- val
- is the value assuming the offset has already been
removed
public int getNbSupport(int var, int val)
getNbSupport
in interface IterLargeRelation
var
- val
-
public int getRelationOffset(int var)
public boolean checkTuple(int[] tuple)
LargeRelation
checkTuple
in interface LargeRelation
checkTuple
in class TuplesList
public boolean isConsistent(int[] tuple)
LargeRelation
isConsistent
in interface LargeRelation
isConsistent
in class TuplesList
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |