choco.cp.solver.constraints.reified.leaves.bool
Class AbstractBoolNode
java.lang.Object
choco.kernel.solver.constraints.reified.INode
choco.cp.solver.constraints.reified.leaves.bool.AbstractBoolNode
- All Implemented Interfaces:
- IPretty, BoolNode
- Direct Known Subclasses:
- AndNode, DistEqNode, DistGtNode, DistLtNode, DistNeqNode, EqNode, FalseNode, GeqNode, GtNode, IfThenElseNode, LeqNode, LtNode, NandNode, NeqNode, NorNode, NotNode, OppSignNode, OrNode, SameSignNode, TrueNode, XnorNode, XorNode
public abstract class AbstractBoolNode
- extends INode
- implements BoolNode
Methods inherited from class choco.kernel.solver.constraints.reified.INode |
computeLinearExpr, countNbVar, getModelScope, getNbSubTrees, getScope, getSubtree, getType, hasOnlyVariablesLeaves, isAConstant, isALinearTerm, isAVariable, isBoolean, isCsteEqualTo, isDecompositionPossible, isReified, setIndexes |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface choco.kernel.solver.constraints.reified.BoolNode |
checkTuple |
AbstractBoolNode
public AbstractBoolNode(INode[] subt,
NodeType type)
extractResult
public IntDomainVar extractResult(Solver s)
- Overrides:
extractResult
in class INode
- Returns:
- a variable that represents the true/false value of the tree belows
this node if it is a reified node or its value if it is an arithmetic node
extractConstraint
public abstract SConstraint extractConstraint(Solver s)
- Extracts the sub constraint without reifying it !
- Specified by:
extractConstraint
in interface BoolNode
- Parameters:
s
- solver
- Returns:
- SConstraint
Copyright © 2012. All Rights Reserved.