choco.kernel.solver.constraints.real.exp
Class AbstractRealBinTerm
java.lang.Object
choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
- All Implemented Interfaces:
- IPretty, RealExp, Domain, RealInterval
- Direct Known Subclasses:
- RealMinus, RealMult, RealPlus
public abstract class AbstractRealBinTerm
- extends AbstractRealCompoundTerm
A binary real expression.
exp1
protected RealExp exp1
exp2
protected RealExp exp2
AbstractRealBinTerm
public AbstractRealBinTerm(Solver solver,
RealExp exp1,
RealExp exp2)
subExps
public List<RealExp> subExps(List<RealExp> l)
- Description copied from interface:
RealExp
- Computes recursively the sub expressions (avoids to tighten and project recursively).
- Returns:
- the flattened list of subexpressions
collectVars
public Set<RealVar> collectVars(Set<RealVar> s)
- Description copied from interface:
RealExp
- Collects recursively all the variable this expression depends on.
- Returns:
- the collected set
isolate
public boolean isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
- Description copied from interface:
RealExp
- Isolates sub terms depending or not on a variable x.
- Returns:
- TODO
Copyright © 2012. All Rights Reserved.