|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.constraints.integer.extension.ConsistencyRelation
choco.kernel.solver.constraints.integer.extension.CouplesBitSetTable
public class CouplesBitSetTable
Field Summary | |
---|---|
protected int[] |
ns
|
protected int[] |
offsets
first value of x |
protected OpenBitSet[][] |
table
table[0][i] gives the supports of value i of variable 0 table[1][i] gives the supports of value i of variable 1 |
Fields inherited from class choco.kernel.solver.constraints.integer.extension.ConsistencyRelation |
---|
feasible, LOGGER |
Constructor Summary | |
---|---|
CouplesBitSetTable()
|
|
CouplesBitSetTable(boolean feas,
int offset1,
int offset2,
int n1,
int n2)
|
Method Summary | |
---|---|
boolean |
checkCouple(int x,
int y)
return true if couple (x,y) is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if (x,y) is one of them. |
boolean |
checkValue(int var,
int val,
IBitSetIntDomain v)
check is there exist a support for value val of variable var within the domain of v |
ConsistencyRelation |
getOpposite()
compute the opposite relation by "reusing" the table of consistency |
OpenBitSet |
getSupport(int var,
int val)
|
boolean |
isConsistent(int x,
int y)
Test whether the couple (x,y) is consistent |
void |
setCouple(int x,
int y)
Set the couple (x,y) as consistent |
void |
setCoupleWithoutOffset(int x,
int y)
|
Methods inherited from class choco.kernel.solver.constraints.integer.extension.ConsistencyRelation |
---|
isDefinedByFeasability, switchToOppositeRelation |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected OpenBitSet[][] table
protected int[] offsets
protected int[] ns
Constructor Detail |
---|
public CouplesBitSetTable()
public CouplesBitSetTable(boolean feas, int offset1, int offset2, int n1, int n2)
Method Detail |
---|
public ConsistencyRelation getOpposite()
getOpposite
in class ConsistencyRelation
public void setCouple(int x, int y)
ExtensionalBinRelation
setCouple
in interface ExtensionalBinRelation
public void setCoupleWithoutOffset(int x, int y)
public boolean isConsistent(int x, int y)
BinRelation
isConsistent
in interface BinRelation
public boolean checkCouple(int x, int y)
BinRelation
checkCouple
in interface BinRelation
public OpenBitSet getSupport(int var, int val)
public boolean checkValue(int var, int val, IBitSetIntDomain v)
var
- val
- v
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |