choco.cp.solver.constraints.reified.leaves.arithm
Class SquareRootNode

java.lang.Object
  extended by choco.kernel.solver.constraints.reified.INode
      extended by choco.cp.solver.constraints.reified.leaves.arithm.SquareRootNode
All Implemented Interfaces:
IPretty, ArithmNode

public final class SquareRootNode
extends INode
implements ArithmNode

User: charles Date: 20 août 2008 A node for integer square root, but too much roundy...


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.reified.INode
LOGGER, subtrees
 
Constructor Summary
SquareRootNode(INode[] subt)
           
 
Method Summary
 int eval(int[] tuple)
           
 boolean isDecompositionPossible()
          check if this node can be decomposed
 String pretty()
          pretty printing of the object.
 
Methods inherited from class choco.kernel.solver.constraints.reified.INode
computeLinearExpr, countNbVar, extractResult, getModelScope, getNbSubTrees, getScope, getSubtree, getType, hasOnlyVariablesLeaves, isAConstant, isALinearTerm, isAVariable, isBoolean, isCsteEqualTo, isReified, setIndexes
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SquareRootNode

public SquareRootNode(INode[] subt)
Method Detail

isDecompositionPossible

public boolean isDecompositionPossible()
Description copied from class: INode
check if this node can be decomposed

Overrides:
isDecompositionPossible in class INode
Returns:

pretty

public String pretty()
pretty printing of the object. This String is not constant and may depend on the context.

Specified by:
pretty in interface IPretty
Returns:
a readable string representation of the object

eval

public int eval(int[] tuple)
Specified by:
eval in interface ArithmNode


Copyright © 2012. All Rights Reserved.