choco.real.exp
Class RealMinus

java.lang.Object
  choco.AbstractEntity
      choco.real.exp.AbstractRealCompoundTerm
          choco.real.exp.AbstractRealBinTerm
              choco.real.exp.RealMinus

All Implemented Interfaces:

Entity, RealExp, RealInterval

public class RealMinus
extends AbstractRealBinTerm

An expression modelling a substraction.

Field Summary

Fields inherited from class choco.real.exp.AbstractRealBinTerm

exp1, exp2

Fields inherited from class choco.real.exp.AbstractRealCompoundTerm

inf, sup

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

RealMinus(AbstractProblem pb, RealExp exp1, RealExp exp2)

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.AbstractRealBinTerm

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

RealMinus

public RealMinus(AbstractProblem pb,
                 RealExp exp1,
                 RealExp exp2)

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