|
||||||||||
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.VariableLeaf
public final class VariableLeaf
Field Summary | |
---|---|
int |
idx
|
IntegerVariable |
ivar
|
IntDomainVar |
var
|
Fields inherited from class choco.kernel.solver.constraints.reified.INode |
---|
LOGGER, subtrees |
Constructor Summary | |
---|---|
VariableLeaf(IntDomainVar var)
|
|
VariableLeaf(IntegerVariable ivar)
|
Method Summary | |
---|---|
int[] |
computeLinearExpr(int scope)
|
int |
countNbVar()
|
int |
eval(int[] tuple)
|
IntDomainVar |
extractResult(Solver s)
|
int |
getIdx()
|
IntegerVariable[] |
getModelScope()
Compute the set of model variable involved in this predicat |
int |
getNbSubTrees()
|
IntDomainVar[] |
getScope(Solver s)
Compute the set of solver variable involved in this predicat |
boolean |
isAConstant()
|
boolean |
isALinearTerm()
|
boolean |
isAVariable()
|
boolean |
isBoolean()
|
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 |
setSolverVar(IntDomainVar v)
|
Methods inherited from class choco.kernel.solver.constraints.reified.INode |
---|
getSubtree, getType, hasOnlyVariablesLeaves, isCsteEqualTo |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int idx
public IntDomainVar var
public IntegerVariable ivar
Constructor Detail |
---|
public VariableLeaf(IntDomainVar var)
public VariableLeaf(IntegerVariable ivar)
Method Detail |
---|
public int getIdx()
public void setSolverVar(IntDomainVar v)
public int eval(int[] tuple)
eval
in interface ArithmNode
public void setIndexes(IntDomainVar[] vs)
INode
setIndexes
in class INode
public final IntDomainVar[] getScope(Solver s)
INode
getScope
in class INode
s
- container solver
public IntegerVariable[] getModelScope()
INode
getModelScope
in class INode
public boolean isDecompositionPossible()
INode
isDecompositionPossible
in class INode
public boolean isReified()
INode
isReified
in class INode
public IntDomainVar extractResult(Solver s)
extractResult
in class INode
public int getNbSubTrees()
getNbSubTrees
in class INode
public boolean isAVariable()
isAVariable
in class INode
public boolean isBoolean()
isBoolean
in class INode
public boolean isAConstant()
isAConstant
in class INode
public String pretty()
IPretty
pretty
in interface IPretty
public int countNbVar()
countNbVar
in class INode
public boolean isALinearTerm()
isALinearTerm
in class INode
public int[] computeLinearExpr(int scope)
computeLinearExpr
in class INode
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |