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

java.lang.Object
  extended by choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
      extended by choco.kernel.solver.constraints.real.exp.AbstractRealBinTerm
All Implemented Interfaces:
IPretty, RealExp, Domain, RealInterval
Direct Known Subclasses:
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.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
inf, solver, sup
 
Constructor Summary
AbstractRealBinTerm(Solver solver, RealExp exp1, RealExp exp2)
           
 
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

exp2

protected RealExp exp2
Constructor Detail

AbstractRealBinTerm

public AbstractRealBinTerm(Solver solver,
                           RealExp exp1,
                           RealExp exp2)
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.