choco.palm.real.exp
Class PalmRealMinus

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

All Implemented Interfaces:

Entity, PalmRealInterval, RealExp, RealInterval

public class PalmRealMinus
extends AbstractPalmRealBinTerm

Implementation of a real substraction 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

PalmRealMinus(AbstractProblem pb, RealExp exp1, RealExp exp2)
Creates the substraction between 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

PalmRealMinus

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

Creates the substraction between two sub expressions.

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