choco.cp.solver.constraints.reified.leaves.bool
Class AbstractBoolNode

java.lang.Object
  extended by choco.kernel.solver.constraints.reified.INode
      extended by 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


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.reified.INode
LOGGER, subtrees
 
Constructor Summary
AbstractBoolNode(INode[] subt, NodeType type)
           
 
Method Summary
abstract  SConstraint extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 IntDomainVar extractResult(Solver s)
           
 
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
 
Methods inherited from interface choco.IPretty
pretty
 

Constructor Detail

AbstractBoolNode

public AbstractBoolNode(INode[] subt,
                        NodeType type)
Method Detail

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.