Uses of Class
org.jacop.core.Interval

Packages that use Interval

Package	Description
org.jacop.core
org.jacop.set.core

Uses of Interval in org.jacop.core

Fields in org.jacop.core declared as Interval

Modifier and Type	Field and Description
Interval[]	IntervalDomain.intervals The values of the domain are encoded as a list of intervals.

Methods in org.jacop.core that return Interval

Modifier and Type	Method and Description
static Interval	IntDomain.divBounds(int a, int b, int c, int d)
static Interval	IntDomain.divIntBounds(int a, int b, int c)
static Interval	IntDomain.divIntBounds(int a, int b, int c, int d)
abstract Interval	IntDomain.getInterval(int position) It returns required interval.
Interval	IntervalDomain.getInterval(int position)
Interval	SmallDenseDomain.getInterval(int position)
static Interval	IntDomain.mulBounds(int a, int b, int c)
static Interval	IntDomain.mulBounds(int a, int b, int c, int d)
Interval	BoundDomainIntervalEnumeration.nextElement()
Interval	IntervalDomainIntervalEnumeration.nextElement()
abstract Interval	IntervalEnumeration.nextElement()
Interval	SmallDenseDomainIntervalEnumeration.nextElement()
static Interval	IntDomain.squareBounds(int a, int b)

Methods in org.jacop.core with parameters of type Interval

Modifier and Type	Method and Description
boolean	Interval.eq(Interval interval) It checks equality between intervals.
void	IntDomain.unionAdapt(Interval i) It adds interval of values to the domain.
void	IntervalDomain.unionAdapt(Interval i) It adds interval of values to the domain.
void	SmallDenseDomain.unionAdapt(Interval i)

Uses of Interval in org.jacop.set.core

Methods in org.jacop.set.core with parameters of type Interval

Modifier and Type	Method and Description
void	BoundSetDomain.addDom(Interval i)
abstract void	SetDomain.addDom(Interval i) Adds an interval to the lub.