choco.real.exp
Class RealIntervalImpl

java.lang.Object
  choco.real.exp.RealIntervalImpl

All Implemented Interfaces:

RealInterval

Deprecated.

public class RealIntervalImpl
extends java.lang.Object
implements RealInterval

Field Summary

protected double	inf Deprecated.
protected double	sup Deprecated.

Constructor Summary

RealIntervalImpl()
Deprecated.

RealIntervalImpl(double inf, double sup)
Deprecated.

RealIntervalImpl(RealInterval i)
Deprecated.

Method Summary

double	getInf() Deprecated.
double	getSup() Deprecated.
void	intersect(RealInterval interval) Deprecated. Modifies the bounds for intersecting with the specified interval.
void	intersect(RealInterval interval, int index) Deprecated. Modifies the bounds for intersecting with the specified interval.
java.lang.String	toString() Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

inf

protected double inf

Deprecated.

sup

protected double sup

Deprecated.

Constructor Detail

RealIntervalImpl

public RealIntervalImpl(double inf,
                        double sup)

Deprecated.

RealIntervalImpl

public RealIntervalImpl()

Deprecated.

RealIntervalImpl

public RealIntervalImpl(RealInterval i)

Deprecated.

Method Detail

toString

public java.lang.String toString()

Deprecated.

Overrides:

toString in class java.lang.Object

getInf

public double getInf()

Deprecated.

Specified by:

getInf in interface RealInterval

Returns:

the lower bound.

getSup

public double getSup()

Deprecated.

Specified by:

getSup in interface RealInterval

Returns:

the upper bound.

intersect

public void intersect(RealInterval interval)
               throws ContradictionException

Deprecated.

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

Deprecated.

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