|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.constraints.reified.INode
choco.cp.solver.constraints.reified.leaves.ConstraintLeaf
public final class ConstraintLeaf
Field Summary | |
---|---|
protected AbstractIntSConstraint |
c
|
protected int[] |
idxtuple
|
protected AbstractIntSConstraint |
oppositec
|
protected int[] |
tup
|
Fields inherited from class choco.kernel.solver.constraints.reified.INode |
---|
LOGGER, subtrees |
Constructor Summary | |
---|---|
ConstraintLeaf(SConstraint c)
|
|
ConstraintLeaf(SConstraint c,
SConstraint oppositec)
|
Method Summary | |
---|---|
boolean |
checkTuple(int[] tuple)
|
int |
countNbVar()
|
SConstraint |
extractConstraint(Solver s)
Extracts the sub constraint without reifying it ! |
IntDomainVar |
extractResult(Solver s)
|
int |
getNbSubTrees()
|
IntDomainVar[] |
getScope(Solver s)
Compute the set of solver variable involved in this predicat |
boolean |
isDecompositionPossible()
check if this node can be decomposed |
boolean |
isReified()
check if this expression is reified (involve or, and, not, ...) |
String |
pretty()
pretty printing of the object. |
void |
setIndexes(IntDomainVar[] vs)
set the indexes of each variables in the leaves of the tree |
void |
setTuple(int[] tuple)
|
Methods inherited from class choco.kernel.solver.constraints.reified.INode |
---|
computeLinearExpr, getModelScope, getSubtree, getType, hasOnlyVariablesLeaves, isAConstant, isALinearTerm, isAVariable, isBoolean, isCsteEqualTo |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected AbstractIntSConstraint c
protected AbstractIntSConstraint oppositec
protected int[] idxtuple
protected int[] tup
Constructor Detail |
---|
public ConstraintLeaf(SConstraint c)
public ConstraintLeaf(SConstraint c, SConstraint oppositec)
Method Detail |
---|
public boolean checkTuple(int[] tuple)
checkTuple
in interface BoolNode
public void setTuple(int[] tuple)
public IntDomainVar extractResult(Solver s)
extractResult
in class INode
public SConstraint extractConstraint(Solver s)
BoolNode
extractConstraint
in interface BoolNode
public boolean isReified()
INode
isReified
in class INode
public int getNbSubTrees()
getNbSubTrees
in class INode
public boolean isDecompositionPossible()
INode
isDecompositionPossible
in class INode
public IntDomainVar[] getScope(Solver s)
INode
getScope
in class INode
s
- container solver
public void setIndexes(IntDomainVar[] vs)
INode
setIndexes
in class INode
public String pretty()
IPretty
pretty
in interface IPretty
public int countNbVar()
countNbVar
in class INode
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |