choco.real.exp
Class RealSin

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

All Implemented Interfaces:

Entity, RealExp, RealInterval

public class RealSin
extends AbstractRealUnTerm

Expression evaluatiing the cos of its only one sub-expression.

Field Summary

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

RealSin(AbstractProblem pb, RealExp exp1)

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

Constructor Detail

RealSin

public RealSin(AbstractProblem pb,
               RealExp exp1)

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