|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.constraints.reified.INode
public abstract class INode
Field Summary | |
---|---|
protected static Logger |
LOGGER
|
protected INode[] |
subtrees
reference to branches below this node |
Constructor Summary | |
---|---|
INode(INode[] subt,
NodeType type)
|
|
INode(NodeType type)
|
Method Summary | |
---|---|
int[] |
computeLinearExpr(int scope)
|
int |
countNbVar()
|
IntDomainVar |
extractResult(Solver s)
|
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 |
INode |
getSubtree(int i)
|
NodeType |
getType()
|
boolean |
hasOnlyVariablesLeaves()
|
boolean |
isAConstant()
|
boolean |
isALinearTerm()
|
boolean |
isAVariable()
|
boolean |
isBoolean()
|
boolean |
isCsteEqualTo(int a)
|
boolean |
isDecompositionPossible()
check if this node can be decomposed |
boolean |
isReified()
check if this expression is reified (involve or, and, not, ...) |
void |
setIndexes(IntDomainVar[] vs)
set the indexes of each variables in the leaves of the tree |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface choco.IPretty |
---|
pretty |
Field Detail |
---|
protected static final Logger LOGGER
protected INode[] subtrees
Constructor Detail |
---|
public INode(NodeType type)
public INode(INode[] subt, NodeType type)
Method Detail |
---|
public int getNbSubTrees()
public INode getSubtree(int i)
public IntDomainVar[] getScope(Solver s)
s
- container solver
public IntegerVariable[] getModelScope()
public void setIndexes(IntDomainVar[] vs)
vs
- public IntDomainVar extractResult(Solver s)
public boolean isDecompositionPossible()
public boolean isReified()
public boolean hasOnlyVariablesLeaves()
public int countNbVar()
public boolean isAVariable()
public boolean isBoolean()
public boolean isCsteEqualTo(int a)
public boolean isAConstant()
public boolean isALinearTerm()
public int[] computeLinearExpr(int scope)
public NodeType getType()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |