choco.real.exp
Class AbstractRealBinTerm
java.lang.Object
choco.AbstractEntity
choco.real.exp.AbstractRealCompoundTerm
choco.real.exp.AbstractRealBinTerm
- All Implemented Interfaces:
- Entity, RealExp, RealInterval
- Direct Known Subclasses:
- AbstractPalmRealBinTerm, RealMinus, RealMult, RealPlus
public abstract class AbstractRealBinTerm
- extends AbstractRealCompoundTerm
A binary real expression.
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. |
java.util.List |
subExps(java.util.List l)
Computes recursively the sub expressions (avoids to tighten and project recursively). |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
exp1
protected RealExp exp1
exp2
protected RealExp exp2
AbstractRealBinTerm
public AbstractRealBinTerm(AbstractProblem pb,
RealExp exp1,
RealExp exp2)
subExps
public java.util.List subExps(java.util.List 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 java.util.Set collectVars(java.util.Set 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,
java.util.List wx,
java.util.List wox)
- Description copied from interface:
RealExp
- Isolates sub terms depending or not on a variable x.
- Returns:
- TODO