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

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

public final class RealMult
extends AbstractRealBinTerm

An expression modelling a multiplication.


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
exp1, exp2
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
inf, solver, sup
 
Constructor Summary
RealMult(Solver solver, RealExp exp1, RealExp exp2)
           
 
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.AbstractRealBinTerm
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

RealMult

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