choco.palm.real.exp
Class PalmRealMult

java.lang.Object
  choco.AbstractEntity
      choco.real.exp.AbstractRealCompoundTerm
          choco.real.exp.AbstractRealBinTerm
              choco.palm.real.exp.AbstractPalmRealBinTerm
                  choco.palm.real.exp.PalmRealMult

All Implemented Interfaces:

Entity, PalmRealInterval, RealExp, RealInterval

public class PalmRealMult
extends AbstractPalmRealBinTerm

Implementation of a explained real multiplication expression.

Field Summary

Fields inherited from class choco.palm.real.exp.AbstractPalmRealBinTerm

explanationOnInf, explanationOnSup

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

Fields inherited from interface choco.palm.real.PalmRealInterval

DOM, INF, SUP

Constructor Summary

PalmRealMult(AbstractProblem pb, RealExp exp1, RealExp exp2)
Creates the product of two sub expressions.

Method Summary

void	project() Projects current value on sub-expressions.
void	tighten() Tightens the value of the expressions, that is affects values with respect to the values (and explanations) of sub expressions.

Methods inherited from class choco.palm.real.exp.AbstractPalmRealBinTerm

intersect, self_explain

Methods inherited from class choco.real.exp.AbstractRealBinTerm

collectVars, isolate, subExps

Methods inherited from class choco.real.exp.AbstractRealCompoundTerm

getInf, getSup, 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

Methods inherited from interface choco.real.RealInterval

getInf, getSup, intersect

Constructor Detail

PalmRealMult

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

Creates the product of two sub expressions.

Parameters:

pb - the problem of the constraint

exp1 - the first expression operand

exp2 - the second expression operand

Method Detail

tighten

public void tighten()

Tightens the value of the expressions, that is affects values with respect to the values (and explanations) of sub expressions.

project

public void project()
             throws ContradictionException

Projects current value on sub-expressions.

Throws:

ContradictionException - if a domain becomes empty or if a contradiction is infered