choco.kernel.solver.constraints.real
Interface RealExp

All Superinterfaces:
Domain, IPretty, RealInterval
All Known Subinterfaces:
RealConstant, RealVar
All Known Implementing Classes:
AbstractRealBinTerm, AbstractRealCompoundTerm, AbstractRealUnTerm, RealCos, RealIntegerPower, RealIntervalConstant, RealMinus, RealMult, RealPlus, RealSin, RealVarImpl

public interface RealExp
extends RealInterval

An interface for real expressions.


Method Summary
 Set<RealVar> collectVars(Set<RealVar> s)
          Collects recursively all the variable this expression depends on.
 boolean isolate(RealVar var, List<RealExp> wx, List<RealExp> wox)
          Isolates sub terms depending or not on a variable x.
 void project()
          Projects computed bounds to the sub expressions.
 List<RealExp> subExps(List<RealExp> 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.kernel.solver.variables.real.RealInterval
getInf, getSup, intersect
 
Methods inherited from interface choco.IPretty
pretty
 

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

List<RealExp> subExps(List<RealExp> l)
Computes recursively the sub expressions (avoids to tighten and project recursively).

Returns:
the flattened list of subexpressions

collectVars

Set<RealVar> collectVars(Set<RealVar> s)
Collects recursively all the variable this expression depends on.

Returns:
the collected set

isolate

boolean isolate(RealVar var,
                List<RealExp> wx,
                List<RealExp> wox)
Isolates sub terms depending or not on a variable x.

Parameters:
var -
wx -
wox -
Returns:
TODO


Copyright © 2012. All Rights Reserved.