|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface RealExp
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 |
---|
void tighten()
void project() throws ContradictionException
ContradictionException
List<RealExp> subExps(List<RealExp> l)
Set<RealVar> collectVars(Set<RealVar> s)
boolean isolate(RealVar var, List<RealExp> wx, List<RealExp> wox)
var
- wx
- wox
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |