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

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

public abstract class AbstractRealCompoundTerm
extends Object
implements RealExp

A compound expression depending on other terms.


Field Summary
protected  IStateDouble inf
           
 Solver solver
          The (optimization or decision) model to which the entity belongs.
protected  IStateDouble sup
           
 
Constructor Summary
AbstractRealCompoundTerm(Solver solver)
           
 
Method Summary
 double getInf()
           
 Solver getSolver()
          Retrieves the solver of the entity
 double getSup()
           
 void intersect(RealInterval interval)
          Modifies the bounds for intersecting with the specified interval.
 String pretty()
          pretty printing of the object.
 void setSolver(Solver solver)
           
 String 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
collectVars, isolate, project, subExps, tighten
 

Field Detail

inf

protected IStateDouble inf

sup

protected IStateDouble sup

solver

public Solver solver
The (optimization or decision) model to which the entity belongs.

Constructor Detail

AbstractRealCompoundTerm

public AbstractRealCompoundTerm(Solver solver)
Method Detail

getSolver

public Solver getSolver()
Retrieves the solver of the entity


setSolver

public void setSolver(Solver solver)

toString

public String toString()
Overrides:
toString in class Object

getInf

public double getInf()
Specified by:
getInf in interface RealInterval
Returns:
the lower bound.

getSup

public double getSup()
Specified by:
getSup in interface RealInterval
Returns:
the upper bound.

intersect

public void intersect(RealInterval interval)
               throws ContradictionException
Description copied from interface: RealInterval
Modifies the bounds for intersecting with the specified interval.

Specified by:
intersect in interface RealInterval
Throws:
ContradictionException

pretty

public String pretty()
Description copied from interface: IPretty
pretty printing of the object. This String is not constant and may depend on the context.

Specified by:
pretty in interface IPretty
Returns:
a readable string representation of the object


Copyright © 2012. All Rights Reserved.