choco.real.exp
Class RealIntegerPower

java.lang.Object
  choco.AbstractEntity
      choco.real.exp.AbstractRealCompoundTerm
          choco.real.exp.AbstractRealUnTerm
              choco.real.exp.RealIntegerPower

All Implemented Interfaces:

Entity, RealExp, RealInterval

public class RealIntegerPower
extends AbstractRealUnTerm

Field Summary

protected int

power

Fields inherited from class choco.real.exp.AbstractRealUnTerm

exp1

Fields inherited from class choco.real.exp.AbstractRealCompoundTerm

inf, sup

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

RealIntegerPower(AbstractProblem pb, RealExp exp1, int power)

Method Summary

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.real.exp.AbstractRealUnTerm

collectVars, isolate, subExps

Methods inherited from class choco.real.exp.AbstractRealCompoundTerm

getInf, getSup, intersect, intersect, toString

Methods inherited from class choco.AbstractEntity

getProblem, pretty

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(AbstractProblem pb,
                        RealExp exp1,
                        int power)

Method Detail

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