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
Interval	BoundDomain.getInterval(int position)
Interval	IntervalDomain.getInterval(int position)
Interval	SmallDenseDomain.getInterval(int position)
abstract Interval	IntDomain.getInterval(int position) It returns required interval.
abstract Interval	IntervalEnumeration.nextElement()
Interval	BoundDomainIntervalEnumeration.nextElement()
Interval	SmallDenseDomainIntervalEnumeration.nextElement()
Interval	IntervalDomainIntervalEnumeration.nextElement()

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	BoundDomain.unionAdapt(Interval i)
void	IntervalDomain.unionAdapt(Interval i) It adds interval of values to the domain.
void	SmallDenseDomain.unionAdapt(Interval i)
void	IntDomain.unionAdapt(Interval i) It adds interval of values to the domain.

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.