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

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

public final class RealMinus
extends AbstractRealBinTerm

An expression modelling a substraction.


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
RealMinus(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

RealMinus

public RealMinus(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.