choco.real.exp
Class AbstractRealUnTerm

java.lang.Object
  choco.AbstractEntity
      choco.real.exp.AbstractRealCompoundTerm
          choco.real.exp.AbstractRealUnTerm

All Implemented Interfaces:

Entity, RealExp, RealInterval

Direct Known Subclasses:

AbstractPalmRealUnTerm, RealCos, RealIntegerPower, RealSin

public abstract class AbstractRealUnTerm
extends AbstractRealCompoundTerm

Field Summary

protected RealExp

exp1

Fields inherited from class choco.real.exp.AbstractRealCompoundTerm

inf, sup

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

AbstractRealUnTerm(AbstractProblem pb, RealExp exp1)

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

Constructor Detail

AbstractRealUnTerm

public AbstractRealUnTerm(AbstractProblem pb,
                          RealExp exp1)

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