choco.real.exp
Class RealMult

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

All Implemented Interfaces:

Entity, RealExp, RealInterval

public class RealMult
extends AbstractRealBinTerm

An expression modelling a multiplication.

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

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

RealMult

public RealMult(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