choco.real
Interface RealExp

All Superinterfaces:

RealInterval

All Known Subinterfaces:

PalmRealVar, RealVar

All Known Implementing Classes:

AbstractPalmRealBinTerm, AbstractPalmRealUnTerm, AbstractRealBinTerm, AbstractRealCompoundTerm, AbstractRealUnTerm, PalmRealIntervalConstant, PalmRealMinus, PalmRealMult, PalmRealPlus, PalmRealVarImpl, RealCos, RealIntegerPower, RealIntervalConstant, RealMinus, RealMult, RealPlus, RealSin, RealVarImpl

public interface RealExp
extends RealInterval

An interface for real expressions.

Method Summary

java.util.Set	collectVars(java.util.Set s) Collects recursively all the variable this expression depends on.
boolean	isolate(RealVar var, java.util.List wx, java.util.List wox) Isolates sub terms depending or not on a variable x.
void	project() Projects computed bounds to the sub expressions.
java.util.List	subExps(java.util.List l) Computes recursively the sub expressions (avoids to tighten and project recursively).
void	tighten() Computes the narrowest bounds with respect to sub terms.

Methods inherited from interface choco.real.RealInterval

getInf, getSup, intersect, intersect

Method Detail

tighten

void tighten()

Computes the narrowest bounds with respect to sub terms.

project

void project()
             throws ContradictionException

Projects computed bounds to the sub expressions.

Throws:

ContradictionException

subExps

java.util.List subExps(java.util.List l)

Computes recursively the sub expressions (avoids to tighten and project recursively).

Returns:

the flattened list of subexpressions

collectVars

java.util.Set collectVars(java.util.Set s)

Collects recursively all the variable this expression depends on.

Returns:

the collected set

isolate

boolean isolate(RealVar var,
                java.util.List wx,
                java.util.List wox)

Isolates sub terms depending or not on a variable x.

Parameters:

var -

wx -

wox -

Returns:

TODO