Uses of Class
org.jacop.core.IntervalDomain

Packages that use IntervalDomain

Package	Description
org.jacop.constraints
org.jacop.constraints.regular
org.jacop.core
org.jacop.examples.fd.carsequencing
org.jacop.util.fsm

Uses of IntervalDomain in org.jacop.constraints

Subclasses of IntervalDomain in org.jacop.constraints

Modifier and Type	Class	Description
private static class	GCC.XDomain

Fields in org.jacop.constraints declared as IntervalDomain

Modifier and Type	Field	Description
IntervalDomain	Among.kSet	It specifies a set of values which if assigned to a variable from a list makes variable counted.
(package private) IntervalDomain	Assignment.rangeD
(package private) IntervalDomain	Assignment.rangeX
(package private) IntervalDomain	Sequence.set
(package private) IntervalDomain[]	LinearIntDom.support	Defines support (valid values) for each variable
(package private) IntervalDomain[]	ExtensionalSupportSTR.valuesInFocus

Methods in org.jacop.constraints that return IntervalDomain

Modifier and Type	Method	Description
(package private) IntervalDomain	SumWeightDom.invertDom(IntDomain d)	Deprecated.

Constructors in org.jacop.constraints with parameters of type IntervalDomain

Constructor	Description
Among(java.util.List<IntVar> list, IntervalDomain kSet, IntVar n)	It constructs an Among constraint.
Among(IntVar[] list, IntervalDomain kSet, IntVar n)	It constructs an Among constraint.
Sequence(IntVar[] list, IntervalDomain set, int q, int min, int max)	It creates a Sequence constraint.

Uses of IntervalDomain in org.jacop.constraints.regular

Methods in org.jacop.constraints.regular with parameters of type IntervalDomain

Modifier and Type	Method	Description
abstract void	RegState.addTransitions(RegState suc, IntervalDomain val)	It specifies that for a given values from an interval an automata will move from the current state to the successor state.
void	RegStateDom.addTransitions(RegState suc, IntervalDomain val)
void	RegStateInt.addTransitions(RegState suc, IntervalDomain val)

Uses of IntervalDomain in org.jacop.core

Fields in org.jacop.core declared as IntervalDomain

Modifier and Type	Field	Description
(package private) IntervalDomain	IntervalDomainIntervalEnumeration.domain
(package private) IntervalDomain	IntervalDomainValueEnumeration.domain
static IntervalDomain	IntervalDomain.emptyDomain	An empty domain, so no constant creation of empty domains is required.

Methods in org.jacop.core that return IntervalDomain

Modifier and Type	Method	Description
IntervalDomain	IntervalDomain.clone()	It clones the domain object.
IntervalDomain	IntervalDomain.cloneLight()	It clones the domain object, only data responsible for encoding domain values is cloned.
IntervalDomain	IntervalDomain.subtract(int min, int max)	It subtracts min..max from current domain and returns the result.
IntervalDomain	SmallDenseDomain.toIntervalDomain()

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

Modifier and Type	Method	Description
SmallDenseDomain	SmallDenseDomain.intersect(IntervalDomain input, int shift)

Constructors in org.jacop.core with parameters of type IntervalDomain

Constructor	Description
IntervalDomainIntervalEnumeration(IntervalDomain dom)	It creates an enumeration for a given interval domain.
IntervalDomainValueEnumeration(IntervalDomain dom)	It create an enumeration for a given domain.

Uses of IntervalDomain in org.jacop.examples.fd.carsequencing

Methods in org.jacop.examples.fd.carsequencing with parameters of type IntervalDomain

Modifier and Type	Method	Description
static FSM	CarSequencing.createFSM(int count, IntervalDomain yes, IntervalDomain no)

Uses of IntervalDomain in org.jacop.util.fsm

Methods in org.jacop.util.fsm with parameters of type IntervalDomain

Modifier and Type	Method	Description
private void	FSM.recursiveCall(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, java.util.List<int[]> tuples)
private void	FSM.recursiveCall(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, MDD result)