choco.real.exp
Class AbstractRealBinTerm

java.lang.Object
  extended by choco.AbstractEntity
      extended by choco.real.exp.AbstractRealCompoundTerm
          extended by 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.


Field Summary
protected  RealExp exp1
           
protected  RealExp exp2
           
 
Fields inherited from class choco.real.exp.AbstractRealCompoundTerm
inf, sup
 
Fields inherited from class choco.AbstractEntity
hook, problem
 
Constructor Summary
AbstractRealBinTerm(AbstractProblem pb, RealExp exp1, RealExp exp2)
           
 
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 choco.real.exp.AbstractRealCompoundTerm
getInf, getSup, intersect, intersect, toString
 
Methods inherited from class choco.AbstractEntity
getProblem, pretty
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.real.RealExp
project, tighten
 

Field Detail

exp1

protected RealExp exp1

exp2

protected RealExp exp2
Constructor Detail

AbstractRealBinTerm

public AbstractRealBinTerm(AbstractProblem pb,
                           RealExp exp1,
                           RealExp exp2)
Method Detail

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