public class TuplesTable extends LargeRelation
Modifier and Type | Field and Description |
---|---|
protected int[] |
blocks
in order to speed up the computation of the index of a tuple
in the table, blocks[i] stores the product of the size of variables j with j < i.
|
protected boolean |
feasible |
protected int[] |
lowerbounds
lower bound of each variable
|
protected int |
n
the number of dimensions of the considered tuples
|
protected BitSet |
table
The consistency matrix
|
protected int[] |
upperbounds
upper bound of each variable
|
Constructor and Description |
---|
TuplesTable(Tuples tuples,
IntVar[] vars) |
Modifier and Type | Method and 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.
|
LargeRelation |
duplicate() |
boolean |
isConsistent(int[] tuple)
Test whether a tuple is consistent
|
valid
protected final int n
protected final BitSet table
protected final int[] lowerbounds
protected final int[] upperbounds
protected final boolean feasible
protected final int[] blocks
public boolean checkTuple(int[] tuple)
LargeRelation
checkTuple
in class LargeRelation
public boolean isConsistent(int[] tuple)
LargeRelation
isConsistent
in class LargeRelation
public LargeRelation duplicate()
duplicate
in class LargeRelation
Copyright © 2015. All rights reserved.