choco.kernel.solver.constraints.real.exp
Class AbstractRealUnTerm

java.lang.Object
  extended by choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
      extended by choco.kernel.solver.constraints.real.exp.AbstractRealUnTerm
All Implemented Interfaces:
IPretty, RealExp, Domain, RealInterval
Direct Known Subclasses:
RealCos, RealIntegerPower, RealSin

public abstract class AbstractRealUnTerm
extends AbstractRealCompoundTerm


Field Summary
protected  RealExp exp1
           
 
Fields inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
inf, solver, sup
 
Constructor Summary
AbstractRealUnTerm(Solver solver, RealExp exp1)
           
 
Method Summary
 Set<RealVar> collectVars(Set<RealVar> s)
          Collects recursively all the variable this expression depends on.
 boolean isolate(RealVar var, List<RealExp> wx, List<RealExp> wox)
          Isolates sub terms depending or not on a variable x.
 List<RealExp> subExps(List<RealExp> l)
          Computes recursively the sub expressions (avoids to tighten and project recursively).
 
Methods inherited from class choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
getInf, getSolver, getSup, intersect, pretty, setSolver, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.constraints.real.RealExp
project, tighten
 

Field Detail

exp1

protected RealExp exp1
Constructor Detail

AbstractRealUnTerm

public AbstractRealUnTerm(Solver solver,
                          RealExp exp1)
Method Detail

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.