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.

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