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.fz
org.jacop.satwrapper.translation
org.jacop.set.constraints
org.jacop.set.core
org.jacop.util.fsm

Uses of IntDomain in org.jacop.constraints

Fields in org.jacop.constraints declared as IntDomain

Modifier and Type	Field and Description
IntDomain	In.dom It specifies domain d which restricts the possible value of the specified variable.

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

Constructor and Description
ChannelImply(IntVar x, IntVar[] bs, IntDomain value) It creates ChannelImply constraint.
ChannelReif(IntVar x, IntVar[] bs, IntDomain value) It creates ChannelReif constraint.
In(IntVar x, IntDomain dom) It constructs an In constraint to restrict the domain of the variable.

Uses of IntDomain in org.jacop.constraints.netflow

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

Modifier and Type	Field and Description
IntDomain[]	DomainStructure.domains

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

Modifier and Type	Method and Description
org.jacop.constraints.netflow.simplex.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 and 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

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

Modifier and Type	Method and 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 and Description
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 and 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 and Description
abstract IntDomain	IntDomain.clone()
abstract IntDomain	IntDomain.cloneLight()
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	IntVar.dom() This function returns current domain of the variable.
abstract IntDomain	IntDomain.getPreviousDomain() It returns domain at earlier level at which the change has occurred.
IntDomain	IntervalDomain.getPreviousDomain()
IntDomain	SmallDenseDomain.getPreviousDomain()
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)
abstract IntDomain	IntDomain.intersect(int min, int max) In intersects current domain with the interval min..max.
IntDomain	IntervalDomain.intersect(int min, int max) In intersects current domain with the domain min..max.
IntDomain	SmallDenseDomain.intersect(int min, int max)
IntDomain	IntervalDomain.multiply(int mul) {1..4} * 6 = {6, 12, 18, 24}
IntDomain	IntVar.recentDomainPruning() It returns the values which have been removed at current store level.
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	SmallDenseDomain.recentDomainPruning(int storeLevel)
IntDomain	IntDomain.subtract(int value) It intersects with the domain which is a complement of value.
IntDomain	IntervalDomain.subtract(int value)
IntDomain	SmallDenseDomain.subtract(int value)
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)
abstract IntDomain	IntDomain.subtract(int min, int max) It subtracts interval min..max.
IntDomain	SmallDenseDomain.subtract(int min, int max)
IntDomain	IntDomain.union(int value) It computes union of this domain and value.
IntDomain	IntervalDomain.union(int value) It computes union of dom1 and value and returns the result.
IntDomain	SmallDenseDomain.union(int value)
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)
IntDomain	IntDomain.union(int min, int max) It computes union of this domain and the interval.
IntDomain	IntervalDomain.union(int min, int max) It computes union of current domain and an interval min..max;
IntDomain	SmallDenseDomain.union(int min, int max)

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

Modifier and Type	Method and Description
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)
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	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	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)
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)
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)
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	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)
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	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	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	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 and Description
IntVar(Store store, IntDomain dom) It creates a variable in a given store, with a given name and a given domain.
IntVar(Store store, String name, 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.fz

Methods in org.jacop.fz that return IntDomain

Modifier and Type	Method and Description
IntDomain	Tables.getSet(String ident) It returns the set of the given identity.
IntDomain[]	Tables.getSetArray(String ident) It returns the set array of the given id.

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

Modifier and Type	Method and Description
void	Tables.addSet(String ident, IntDomain val) It adds a set of the given identity.
void	Tables.addSetArray(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 and Description
OutputArrayAnnotation(String name, ArrayList<IntDomain> indexBounds) It constructs and output array annotation.

Uses of IntDomain in org.jacop.satwrapper.translation

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

Modifier and Type	Field and Description
IntDomain	SatCPBridge.initialDomain

Uses of IntDomain in org.jacop.set.constraints

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

Modifier and Type	Field and 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 and Description
protected TimeStamp<IntDomain>	Lex.inDifference Deprecated.
protected TimeStamp<IntDomain>	Lex.smallerDifference Deprecated.

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

Constructor and 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 and Description
IntDomain	BoundSetDomain.cardinality The cardinality of the set.
IntDomain	BoundSetDomain.glb The greatest lower bound of the domain.
IntDomain	BoundSetDomain.lub The least upper bound of the domain.

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

Modifier and Type	Method and 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()]
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 and 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 and 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 and Description
IntDomain	FSMTransition.domain It specifies the domain associated with the transition.

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

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