choco.kernel.solver.constraints.real.exp
Class AbstractRealUnTerm
java.lang.Object
choco.kernel.solver.constraints.real.exp.AbstractRealCompoundTerm
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
exp1
protected RealExp exp1
AbstractRealUnTerm
public AbstractRealUnTerm(Solver solver,
RealExp exp1)
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.