Uses of Class
org.jacop.core.IntDomain

Packages that use IntDomain

Package	Description
org.jacop.constraints
org.jacop.constraints.netflow
org.jacop.constraints.regular
org.jacop.core
org.jacop.floats.constraints
org.jacop.fz
org.jacop.fz.constraints
org.jacop.satwrapper.translation
org.jacop.search
org.jacop.set.constraints
org.jacop.set.core
org.jacop.util.fsm

Uses of IntDomain in org.jacop.constraints

Subclasses of IntDomain in org.jacop.constraints

Modifier and Type	Class	Description
private static class	GCC.XDomain

Fields in org.jacop.constraints declared as IntDomain

Modifier and Type	Field	Description
IntDomain	In.dom	It specifies domain d which restricts the possible value of the specified variable.
private IntDomain	In.DomComplement	It specifies all the values which can not be taken by a variable.
(package private) IntDomain	ElementInteger.duplicatesIndexes
(package private) IntDomain	ElementVariable.indexRange
(package private) IntDomain[]	SumWeightDom.lArray	Deprecated. Current domains of varibales
(package private) IntDomain[]	ElementVariable.supports
(package private) IntDomain	CountValues.valuesDomain
(package private) IntDomain	CountValuesBounds.valuesDomain
(package private) IntDomain	CountValues.valuesDomainComplement
(package private) IntDomain	CountValuesBounds.valuesDomainComplement

Fields in org.jacop.constraints with type parameters of type IntDomain

Modifier and Type	Field	Description
private java.util.Comparator<IntDomain>	Cumulative.domainMaxComparator
private java.util.Comparator<IntDomain>	Cumulative.domainMinComparator
(package private) java.util.List<IntDomain>	ElementInteger.duplicates	It holds information about the positions within list array that are equal.

Methods in org.jacop.constraints that return IntDomain

Modifier and Type	Method	Description
(package private) IntDomain	Task.compl()
(package private) IntDomain	Task.completion()
(package private) IntDomain	SumWeightDom.divDom(IntDomain d, int c)	Deprecated.
(package private) IntDomain	XmodYeqZ.makeDomain(IntVar x, int y, IntVar z)
(package private) IntDomain	SumWeightDom.multiplyDom(IntDomain d, int c)	Deprecated.
(package private) IntDomain	SumWeightDom.subtractDom(IntDomain d1, IntDomain d2)	Deprecated.

Methods in org.jacop.constraints with parameters of type IntDomain

Modifier and Type	Method	Description
(package private) boolean	ElementInteger.disjoint(IntDomain v1, int v2)
(package private) IntDomain	SumWeightDom.divDom(IntDomain d, int c)	Deprecated.
(package private) IntervalDomain	SumWeightDom.invertDom(IntDomain d)	Deprecated.
(package private) IntDomain	SumWeightDom.multiplyDom(IntDomain d, int c)	Deprecated.
(package private) IntDomain	SumWeightDom.subtractDom(IntDomain d1, IntDomain d2)	Deprecated.
(package private) static int[]	Channel.toArray(IntDomain d)

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

Constructor	Description
Channel(IntVar x, IntVar[] bs, IntDomain value)	It creates Channel constraint.
In(IntVar x, IntDomain dom)	It constructs an In constraint to restrict the domain of the variable.
SoftAlldiffBuilder(IntDomain[] doms, ViolationMeasure vm)
SoftGCCBuilder(IntDomain all, IntDomain[] doms, ViolationMeasure vm)

Uses of IntDomain in org.jacop.constraints.netflow

Fields in org.jacop.constraints.netflow declared as IntDomain

Modifier and Type	Field	Description
IntDomain[]	DomainStructure.domains

Methods in org.jacop.constraints.netflow with parameters of type IntDomain

Modifier and Type	Method	Description
private void	Pruning.nVarInShift(ArcCompanion companion, IntDomain domain, int shift)
Node[][]	NetworkBuilder.valueGraph(IntVar[] vars, IntDomain[] domains)	Returns two arrays containing the nodes for each variable and the nodes for each domain, respectively.

Constructors in org.jacop.constraints.netflow with parameters of type IntDomain

Constructor	Description
DomainStructure(IntVar variable, IntDomain[] domains, Arc[] arcs)
DomainStructure(IntVar variable, IntDomain[] domains, Arc[] arcs, DomainStructure.Behavior behavior)

Uses of IntDomain in org.jacop.constraints.regular

Fields in org.jacop.constraints.regular declared as IntDomain

Modifier and Type	Field	Description
private IntDomain[]	RegStateDom.toSucDom

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

Modifier and Type	Method	Description
abstract void	RegState.add(IntDomain varDom, int successorNo)	It adds to domain values which are accepted by a given edge.
void	RegStateDom.add(IntDomain varDom, int successorNo)
void	RegStateInt.add(IntDomain varDom, int successorNo)
abstract boolean	RegState.intersects(IntDomain dom, int successorNo)	It checks if the accepting values associated with an edge intersect.
boolean	RegStateDom.intersects(IntDomain dom, int successorNo)
boolean	RegStateInt.intersects(IntDomain dom, int successorNo)

Uses of IntDomain in org.jacop.core

Subclasses of IntDomain in org.jacop.core

Modifier and Type	Class	Description
(package private) class	BoundDomain	Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
class	IntervalDomain	Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
class	SmallDenseDomain	Defines small dense domain based on bits within a long number.

Fields in org.jacop.core declared as IntDomain

Modifier and Type	Field	Description
IntDomain	IntVar.domain	It stores pointer to a current domain, which has stamp equal to store stamp.
static IntDomain	IntDomain.emptyIntDomain	It specifies an empty integer domain.
IntDomain	IntDomain.previousDomain	It specifies the previous domain which was used by this domain.

Methods in org.jacop.core that return IntDomain

Modifier and Type	Method	Description
abstract IntDomain	IntDomain.cloneLight()
IntDomain	BoundDomain.complement()
abstract IntDomain	IntDomain.complement()	It creates a complement of a domain.
IntDomain	IntervalDomain.complement()	It creates a complement of a domain.
IntDomain	SmallDenseDomain.complement()
IntDomain	BoundDomain.divide(int div)	It divides the domain by a given constant.
IntDomain	IntVar.dom()	This function returns current domain of the variable.
IntDomain	BoundDomain.getPreviousDomain()
abstract IntDomain	IntDomain.getPreviousDomain()	It returns domain at earlier level at which the change has occurred.
IntDomain	IntervalDomain.getPreviousDomain()
IntDomain	SmallDenseDomain.getPreviousDomain()
IntDomain	BoundDomain.intersect(int min, int max)
IntDomain	BoundDomain.intersect(IntDomain dom)
abstract IntDomain	IntDomain.intersect(int min, int max)	In intersects current domain with the interval min..max.
abstract IntDomain	IntDomain.intersect(IntDomain dom)	It intersects current domain with the one given as a parameter.
IntDomain	IntervalDomain.intersect(int min, int max)	In intersects current domain with the domain min..max.
IntDomain	IntervalDomain.intersect(IntDomain domain)	It interesects current domain with the one given as a parameter.
IntDomain	SmallDenseDomain.intersect(int min, int max)
IntDomain	SmallDenseDomain.intersect(IntDomain domain)
IntDomain	BoundDomain.multiply(int mul)	It multiplies the domain by a given constant.
IntDomain	IntervalDomain.multiply(int mul)	{1..4} * 6 = {6, 12, 18, 24}
IntDomain	BoundDomain.recentDomainPruning(int storeLevel)
abstract IntDomain	IntDomain.recentDomainPruning(int currentStoreLevel)	It returns the values which have been removed at current store level.
IntDomain	IntervalDomain.recentDomainPruning(int storeLevel)	It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.
IntDomain	IntVar.recentDomainPruning()	It returns the values which have been removed at current store level.
IntDomain	SmallDenseDomain.recentDomainPruning(int storeLevel)
IntDomain	BoundDomain.subtract(int value)
IntDomain	BoundDomain.subtract(IntDomain domain)
IntDomain	IntDomain.subtract(int value)	It intersects with the domain which is a complement of value.
abstract IntDomain	IntDomain.subtract(int min, int max)	It subtracts interval min..max.
IntDomain	IntDomain.subtract(IntDomain domain)	It subtracts domain from current domain and returns the result.
IntDomain	IntervalDomain.subtract(int value)
IntDomain	IntervalDomain.subtract(IntDomain domain)	It subtracts domain from current domain and returns the result.
IntDomain	SmallDenseDomain.subtract(int value)
IntDomain	SmallDenseDomain.subtract(int min, int max)
IntDomain	SmallDenseDomain.subtract(IntDomain domain)
IntDomain	BoundDomain.union(int value)
IntDomain	BoundDomain.union(int min, int max)
IntDomain	BoundDomain.union(IntDomain domain)
IntDomain	IntDomain.union(int value)	It computes union of this domain and value.
IntDomain	IntDomain.union(int min, int max)	It computes union of this domain and the interval.
IntDomain	IntDomain.union(IntDomain domain)	It computes union of the supplied domain with this domain.
IntDomain	IntervalDomain.union(int value)	It computes union of dom1 and value and returns the result.
IntDomain	IntervalDomain.union(int min, int max)	It computes union of current domain and an interval min..max;
IntDomain	IntervalDomain.union(IntDomain domain)	It computes union of dom1 from dom2 and returns the result.
IntDomain	SmallDenseDomain.union(int value)
IntDomain	SmallDenseDomain.union(int min, int max)
IntDomain	SmallDenseDomain.union(IntDomain domain)

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

Modifier and Type	Method	Description
void	BoundDomain.addDom(IntDomain domain)
void	IntDomain.addDom(IntDomain domain)	It adds values as specified by the parameter to the domain.
void	IntervalDomain.addDom(IntDomain domain)	It adds values as specified by the parameter to the domain.
void	IntVar.addDom(IntDomain dom)	It is possible to add the domain of variable.
void	SmallDenseDomain.addDom(IntDomain domain)
private void	IntVar.commonInitialization(Store store, java.lang.String name, IntDomain dom)
boolean	BoundDomain.contains(IntDomain domain)
boolean	IntDomain.contains(IntDomain domain)	It specifies if the current domain contains the domain given as a parameter.
boolean	IntervalDomain.contains(IntDomain domain)	It specifies if the current domain contains the domain given as a parameter.
boolean	SmallDenseDomain.contains(IntDomain domain)
boolean	BoundDomain.eq(IntDomain domain)
boolean	IntDomain.eq(IntDomain domain)	It specifies if the other int domain is equal to this one.
boolean	IntervalDomain.eq(IntDomain domain)	It checks if the domain is equal to the supplied domain.
boolean	SmallDenseDomain.eq(IntDomain domain)
void	BoundDomain.in(int storeLevel, Var var, IntDomain domain)
void	IntDomain.in(int storeLevel, Var var, IntDomain domain)	It updates the domain to have values only within the domain.
void	IntervalDomain.in(int storeLevel, Var var, IntDomain domain)	It updates the domain to have values only within the domain.
void	SmallDenseDomain.in(int storeLevel, Var var, IntDomain domain)
void	BoundDomain.inShift(int storeLevel, Var var, IntDomain domain, int shift)
abstract void	IntDomain.inShift(int storeLevel, Var var, IntDomain domain, int shift)	It updates the domain to contain the elements as specifed by the domain, which is shifted.
void	IntervalDomain.inShift(int storeLevel, Var var, IntDomain domain, int shift)	It updates the domain to contain the elements as specifed by the domain, which is shifted.
void	SmallDenseDomain.inShift(int storeLevel, Var var, IntDomain domain, int shift)
IntDomain	BoundDomain.intersect(IntDomain dom)
abstract IntDomain	IntDomain.intersect(IntDomain dom)	It intersects current domain with the one given as a parameter.
IntDomain	IntervalDomain.intersect(IntDomain domain)	It interesects current domain with the one given as a parameter.
IntDomain	SmallDenseDomain.intersect(IntDomain domain)
int	BoundDomain.intersectAdapt(IntDomain intersect)
abstract int	IntDomain.intersectAdapt(IntDomain intersect)	It computes an intersection with a given domain and stores it in this domain.
int	IntervalDomain.intersectAdapt(IntDomain domain)
int	SmallDenseDomain.intersectAdapt(IntDomain domain)
boolean	BoundDomain.isIntersecting(IntDomain domain)
boolean	IntDomain.isIntersecting(IntDomain domain)	Checks if two domains intersect.
boolean	IntervalDomain.isIntersecting(IntDomain domain)	Checks if two domains intersect.
boolean	SmallDenseDomain.isIntersecting(IntDomain domain)
int	IntDomain.lex(IntDomain domain)	Returns the lexical ordering between the sets
void	BoundDomain.setDomain(IntDomain domain)
abstract void	IntDomain.setDomain(IntDomain domain)	It sets the domain to the specified domain.
void	IntervalDomain.setDomain(IntDomain domain)	It sets the domain to the specified domain.
void	IntVar.setDomain(IntDomain dom)	It is possible to set the domain of variable.
void	SmallDenseDomain.setDomain(IntDomain domain)
int	BoundDomain.sizeOfIntersection(IntDomain domain)
int	IntDomain.sizeOfIntersection(IntDomain domain)	It computes the size of the intersection between this domain and the domain supplied as a parameter.
int	IntervalDomain.sizeOfIntersection(IntDomain domain)
int	SmallDenseDomain.sizeOfIntersection(IntDomain domain)
IntDomain	BoundDomain.subtract(IntDomain domain)
IntDomain	IntDomain.subtract(IntDomain domain)	It subtracts domain from current domain and returns the result.
IntDomain	IntervalDomain.subtract(IntDomain domain)	It subtracts domain from current domain and returns the result.
IntDomain	SmallDenseDomain.subtract(IntDomain domain)
IntDomain	BoundDomain.union(IntDomain domain)
IntDomain	IntDomain.union(IntDomain domain)	It computes union of the supplied domain with this domain.
IntDomain	IntervalDomain.union(IntDomain domain)	It computes union of dom1 from dom2 and returns the result.
IntDomain	SmallDenseDomain.union(IntDomain domain)
int	IntDomain.unionAdapt(IntDomain union)	It computes a union between this domain and the domain provided as a parameter.
int	IntervalDomain.unionAdapt(IntDomain union)

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

Constructor	Description
IntVar(Store store, java.lang.String name, IntDomain dom)	It creates a variable in a given store, with a given name and a given domain.
IntVar(Store store, IntDomain dom)	It creates a variable in a given store, with a given name and a given domain.
MutableDomain(Store store, IntDomain domain)

Uses of IntDomain in org.jacop.floats.constraints

Fields in org.jacop.floats.constraints declared as IntDomain

Modifier and Type	Field	Description
(package private) IntDomain	ElementFloat.duplicatesIndexes

Fields in org.jacop.floats.constraints with type parameters of type IntDomain

Modifier and Type	Field	Description
(package private) java.util.List<IntDomain>	ElementFloat.duplicates	It holds information about the positions within list array that are equal.
(package private) java.util.Hashtable<java.lang.Double,IntDomain>	ElementFloat.mappingValuesToIndex	It specifies for each value what are the possible values of the index variable (it takes into account indexOffset.

Uses of IntDomain in org.jacop.fz

Fields in org.jacop.fz with type parameters of type IntDomain

Modifier and Type	Field	Description
(package private) java.util.ArrayList<IntDomain>	VariablesParameters.indexBounds
(package private) java.util.ArrayList<IntDomain>	OutputArrayAnnotation.indexes
(package private) java.util.HashMap<java.lang.String,IntDomain>	Tables.setTable

Methods in org.jacop.fz that return IntDomain

Modifier and Type	Method	Description
(package private) IntDomain	OutputArrayAnnotation.getIndexes(int i)
IntDomain	Tables.getSet(java.lang.String ident)	It returns the set of the given identity.
IntDomain[]	Tables.getSetArray(java.lang.String ident)	It returns the set array of the given id.
(package private) IntDomain	VariablesParameters.getSetLiteral(SimpleNode node, int index)
(package private) IntDomain[]	VariablesParameters.getSetLiteralArray(SimpleNode node, int index, int size)

Methods in org.jacop.fz with parameters of type IntDomain

Modifier and Type	Method	Description
void	Tables.addSet(java.lang.String ident, IntDomain val)	It adds a set of the given identity.
void	Tables.addSetArray(java.lang.String ident, IntDomain[] array)	It adds the set array to the storage.

Constructor parameters in org.jacop.fz with type arguments of type IntDomain

Constructor	Description
OutputArrayAnnotation(java.lang.String name, java.util.ArrayList<IntDomain> indexBounds)	It constructs and output array annotation.

Uses of IntDomain in org.jacop.fz.constraints

Methods in org.jacop.fz.constraints that return IntDomain

Modifier and Type	Method	Description
(package private) IntDomain[]	Support.getSetArray(SimpleNode node)
(package private) IntDomain	Support.getSetLiteral(SimpleNode node, int index)

Uses of IntDomain in org.jacop.satwrapper.translation

Fields in org.jacop.satwrapper.translation declared as IntDomain

Modifier and Type	Field	Description
IntDomain	SatCPBridge.initialDomain

Uses of IntDomain in org.jacop.search

Methods in org.jacop.search with parameters of type IntDomain

Modifier and Type	Method	Description
(package private) java.lang.String	TraceGenerator.intDomainToString(IntDomain domain)

Uses of IntDomain in org.jacop.set.constraints

Fields in org.jacop.set.constraints declared as IntDomain

Modifier and Type	Field	Description
IntDomain	CardA.cardinality	It specifies variable c specifying the possible cardinality of variable x.
IntDomain[]	ElementSet.list	It specifies a list of sets from which one element will be made equal to set variable value.
IntDomain	AeqS.set	It specifies the set which must be equal to set variable a.
IntDomain	AinS.set	It specifies set which must contain the value of set variable A.
IntDomain	SinA.set	It specifies the set s which must be in variable a.

Fields in org.jacop.set.constraints with type parameters of type IntDomain

Modifier and Type	Field	Description
protected TimeStamp<IntDomain>	Lex.inDifference	Deprecated.
protected TimeStamp<IntDomain>	Lex.smallerDifference	Deprecated.

Methods in org.jacop.set.constraints with parameters of type IntDomain

Modifier and Type	Method	Description
(package private) boolean	AleB.setLexLE(IntDomain x, IntDomain y)
(package private) boolean	AltB.setLexLT(IntDomain x, IntDomain y)

Constructors in org.jacop.set.constraints with parameters of type IntDomain

Constructor	Description
AeqS(SetVar a, IntDomain set)	It constructs an AeqS constraint to restrict the domain of the variables.
AinS(SetVar a, IntDomain set)	It constructs a constraint that makes sure that value of set variable a is contained within a provided set.
AinS(SetVar a, IntDomain set, boolean strict)	It constructs a constraint that makes sure that value of set variable a is contained within a provided set.
CardA(SetVar a, IntDomain c)	It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.
ElementSet(IntVar index, IntDomain[] list, SetVar value)	It constructs an elementSet constraint to restrict the domains of the variables index and value.
ElementSet(IntVar index, IntDomain[] list, SetVar value, int indexOffset)	It constructs a constraint to restrict the domains of the variables index and value.
SinA(IntDomain set, SetVar a)	It creates a set inclusion constraint.
SinA(IntDomain set, SetVar a, boolean strict)	It creates a set inclusion constraint.

Uses of IntDomain in org.jacop.set.core

Fields in org.jacop.set.core declared as IntDomain

Modifier and Type	Field	Description
IntDomain	BoundSetDomain.cardinality	The cardinality of the set.
(package private) IntDomain	SetDomainValueEnumeration.current
IntDomain	BoundSetDomain.glb	The greatest lower bound of the domain.
IntDomain	BoundSetDomain.lub	The least upper bound of the domain.
(package private) IntDomain	SetDomainValueEnumeration.max
(package private) IntDomain	SetDomainValueEnumeration.min

Methods in org.jacop.set.core that return IntDomain

Modifier and Type	Method	Description
IntDomain	BoundSetDomain.card()	Returns the cardinality of the setDomain as [glb.card(), lub.card()]
abstract IntDomain	SetDomain.card()	Returns the cardinality of the setDomain as [glb.card(), lub.card()]
private IntDomain	SetDomainValueEnumeration.getPascal(int level, int place)	The number of elements at each level is described by Pascal's-triangle.
IntDomain	BoundSetDomain.glb()	It returns the greatest lower bound of the domain.
abstract IntDomain	SetDomain.glb()	It returns the least upper bound of the domain.
IntDomain	BoundSetDomain.lub()	It returns the least upper bound of the domain.
abstract IntDomain	SetDomain.lub()	It returns the least upper bound of the domain.
IntDomain	SetDomainValueEnumeration.nextSetElement()	Returns the next element in the SetDomain.

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

Modifier and Type	Method	Description
void	BoundSetDomain.addDom(IntDomain set)	Adds a set of value to the possible values used within this set domain.
abstract void	SetDomain.addDom(IntDomain set)	Adds a set of values to the set of possible values used within this set domain.
boolean	BoundSetDomain.contains(IntDomain set)	It checks if the supplied set or setDomain is a subset of this domain.
abstract boolean	SetDomain.contains(IntDomain set)	It checks if the supplied set or setDomain is still potentially a subset of this domain.
void	BoundSetDomain.in(int storeLevel, SetVar var, IntDomain inGLB, IntDomain inLUB)	This function is equivalent to in(int storeLevel, Variable var, int min, int max).
abstract void	SetDomain.in(int storeLevel, SetVar var, IntDomain glb, IntDomain lub)	This function is equivalent to in(int storeLevel, Variable var, int min, int max).
void	BoundSetDomain.inGLB(int level, SetVar var, IntDomain intersect)
abstract void	SetDomain.inGLB(int level, SetVar var, IntDomain domain)	It specifies what elements must be in GLB.
void	BoundSetDomain.inLUB(int level, SetVar var, IntDomain intersect)
abstract void	SetDomain.inLUB(int level, SetVar var, IntDomain domain)	It specifies what elements can be in LUB.
SetDomain	BoundSetDomain.intersect(IntDomain domain)	It intersects current domain with the one given as a parameter.
abstract SetDomain	SetDomain.intersect(IntDomain set)	It intersects current domain with the set of allowed values to be taken by the set domain.
void	BoundSetDomain.inValue(int level, SetVar var, IntDomain set)
abstract void	SetDomain.inValue(int level, SetVar var, IntDomain set)	It assigns a set variable to the specified value.
boolean	BoundSetDomain.singleton(IntDomain set)	It returns true if given domain has only one set-element and this set-element only contains c.
abstract boolean	SetDomain.singleton(IntDomain set)	It check whether the set domain is singleton and its value is equal to the specified set.

Constructors in org.jacop.set.core with parameters of type IntDomain

Constructor	Description
BoundSetDomain(IntDomain glb, IntDomain lub)	Creates a new instance of SetDomain.
BoundSetDomain(IntDomain glb, IntDomain lub, IntDomain cardinality)	Creates BoundSetDomain object.

Uses of IntDomain in org.jacop.util.fsm

Fields in org.jacop.util.fsm declared as IntDomain

Modifier and Type	Field	Description
IntDomain	FSMTransition.domain	It specifies the domain associated with the transition.

Constructors in org.jacop.util.fsm with parameters of type IntDomain

Constructor	Description
FSMTransition(IntDomain domain, FSMState state)	It constructs a finite machine state transition.