choco.real.exp
Class AbstractRealCompoundTerm

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

All Implemented Interfaces:

Entity, RealExp, RealInterval

Direct Known Subclasses:

AbstractRealBinTerm, AbstractRealUnTerm

public abstract class AbstractRealCompoundTerm
extends AbstractEntity
implements RealExp

A compound expression depending on other terms.

Field Summary

protected StoredFloat	inf
protected StoredFloat	sup

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

AbstractRealCompoundTerm(AbstractProblem pb)

Method Summary

double	getInf()
double	getSup()
void	intersect(RealInterval interval) Modifies the bounds for intersecting with the specified interval.
void	intersect(RealInterval interval, int index) Modifies the bounds for intersecting with the specified interval.
java.lang.String	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

collectVars, isolate, project, subExps, tighten

Field Detail

inf

protected StoredFloat inf

sup

protected StoredFloat sup

Constructor Detail

AbstractRealCompoundTerm

public AbstractRealCompoundTerm(AbstractProblem pb)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.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

intersect

public void intersect(RealInterval interval,
                      int index)
               throws ContradictionException

Description copied from interface: RealInterval

Modifies the bounds for intersecting with the specified interval.

Specified by:

intersect in interface RealInterval

index - of the constraint responsible to this withdraw

Throws:

ContradictionException