choco.cp.solver.constraints.real.exp
Class RealIntegerPower

java.lang.Object
  extended by choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
      extended by choco.kernel.solver.constraints.real.exp.AbstractRealUnTerm
          extended by choco.cp.solver.constraints.real.exp.RealIntegerPower
All Implemented Interfaces:
IPretty, RealExp, Domain, RealInterval

public final class RealIntegerPower
extends AbstractRealUnTerm


Field Summary
protected  int power
           
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealUnTerm
exp1
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
inf, solver, sup
 
Constructor Summary
RealIntegerPower(Solver solver, RealExp exp1, int power)
           
 
Method Summary
 String pretty()
          pretty printing of the object.
 void project()
          Projects computed bounds to the sub expressions.
 void tighten()
          Computes the narrowest bounds with respect to sub terms.
 
Methods inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealUnTerm
collectVars, isolate, subExps
 
Methods inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
getInf, getSolver, getSup, intersect, setSolver, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

power

protected int power
Constructor Detail

RealIntegerPower

public RealIntegerPower(Solver solver,
                        RealExp exp1,
                        int power)
Method Detail

pretty

public String pretty()
Description copied from interface: IPretty
pretty printing of the object. This String is not constant and may depend on the context.

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

tighten

public void tighten()
Description copied from interface: RealExp
Computes the narrowest bounds with respect to sub terms.


project

public void project()
             throws ContradictionException
Description copied from interface: RealExp
Projects computed bounds to the sub expressions.

Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.