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

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.RealCos
All Implemented Interfaces:
IPretty, RealExp, Domain, RealInterval

public final class RealCos
extends AbstractRealUnTerm

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


Field Summary
 
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
RealCos(Solver solver, RealExp exp1)
           
 
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
 

Constructor Detail

RealCos

public RealCos(Solver solver,
               RealExp exp1)
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.