choco.real.exp
Class RealPlus

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

All Implemented Interfaces:

Entity, RealExp, RealInterval

public class RealPlus
extends AbstractRealBinTerm

An expression modelling a real addition.

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

RealPlus(AbstractProblem pb, RealExp exp1, RealExp exp2)
Builds an addition expression for real constraint modelling.

Method Summary

void	project() Projects domain reduction on operands according to the expression domain itself (due to constraint restrictions).
void	tighten() Tightens the expression to find the smallest interval containing values the expression can equal according to operand domains.

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

RealPlus

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

Builds an addition expression for real constraint modelling.

Parameters:

pb - is the current problem

exp1 - is the first expression operand

exp2 - is the second expression operand

Method Detail

tighten

public void tighten()

Tightens the expression to find the smallest interval containing values the expression can equal according to operand domains.

project

public void project()
             throws ContradictionException

Projects domain reduction on operands according to the expression domain itself (due to constraint restrictions).

Throws:

ContradictionException - if a domain becomes empty