Uses of Class
org.jacop.set.core.SetDomain

Packages that use SetDomain

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

Uses of SetDomain in org.jacop.search

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

Modifier and Type	Method	Description
(package private) java.lang.String	TraceGenerator.setDomainToString(SetDomain domain)

Uses of SetDomain in org.jacop.set.core

Subclasses of SetDomain in org.jacop.set.core

Modifier and Type	Class	Description
class	BoundSetDomain	Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).

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

Modifier and Type	Field	Description
(package private) SetDomain	SetDomainValueEnumeration.domain
SetDomain	SetVar.domain	It specifies the current domain associated with this set variable.
static SetDomain	SetDomain.emptyDomain	It predefines empty domain so there is no need to constantly create it when needed.
SetDomain	SetDomain.previousDomain	It specifies the previous domain which was used by this domain.

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

Modifier and Type	Method	Description
SetDomain	BoundSetDomain.clone()	Clones the domain.
SetDomain	BoundSetDomain.cloneLight()	It clones the domain object, only data responsible for encoding domain values is cloned.
abstract SetDomain	SetDomain.cloneLight()	It clones the domain object, only data responsible for encoding domain values is cloned.
SetDomain	BoundSetDomain.complement()	It creates a complement of a domain.
SetDomain	SetVar.dom()	This function returns current domain of the variable.
SetDomain	BoundSetDomain.intersect(IntDomain domain)	It intersects current domain with the one given as a parameter.
SetDomain	BoundSetDomain.intersect(SetDomain 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.
abstract SetDomain	SetDomain.intersect(SetDomain domain)	It intersects current domain with the one given as a parameter.
SetDomain	SetDomain.recentDomainPruning(int storeLevel)	It returns the values which have been removed at current store level.
SetDomain	SetVar.recentDomainPruning()	It returns the values which have been removed at current store level.
SetDomain	BoundSetDomain.subtract(int value)	It subtracts the set {value}.
SetDomain	BoundSetDomain.subtract(int min, int max)	It subtracts the elements of the set {min..max}.
SetDomain	BoundSetDomain.subtract(SetDomain domain)	It subtracts domain from current domain and returns the result.
abstract SetDomain	SetDomain.subtract(int value)	It removes the value from any set allowed to be taken by this set domain.
abstract SetDomain	SetDomain.subtract(int min, int max)	It subtracts the set {min..max}.
abstract SetDomain	SetDomain.subtract(SetDomain domain)	It subtracts domain from current domain and returns the result.
SetDomain	BoundSetDomain.union(int value)	It computes union of this domain and value.
SetDomain	BoundSetDomain.union(int min, int max)	It computes union of this domain and the interval.
SetDomain	BoundSetDomain.union(SetDomain domain)	It computes union of the supplied domain with this domain.
abstract SetDomain	SetDomain.union(int value)	It computes union of this domain and value.
abstract SetDomain	SetDomain.union(int min, int max)	It computes union of this domain and the interval.
abstract SetDomain	SetDomain.union(SetDomain domain)	It computes union of the supplied domain with this domain.

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

Modifier and Type	Method	Description
void	BoundSetDomain.addDom(SetDomain domain)	Adds a set to the domain.
abstract void	SetDomain.addDom(SetDomain domain)	Adds a set domain to this set domain.
void	SetVar.addDom(SetDomain dom)	It is possible to add the domain of variable.
boolean	BoundSetDomain.contains(SetDomain domain)
abstract boolean	SetDomain.contains(SetDomain domain)	It checks if the supplied set domain is a subset of this domain.
boolean	BoundSetDomain.eq(SetDomain domain)	It checks if the domain is equal to the supplied domain.
abstract boolean	SetDomain.eq(SetDomain domain)	It checks if the domain is equal to the supplied domain.
void	BoundSetDomain.in(int storeLevel, SetVar var, SetDomain setDom)	It updates the domain to have values only within the domain.
abstract void	SetDomain.in(int storeLevel, SetVar var, SetDomain domain)	It updates the domain to have values only within the domain.
SetDomain	BoundSetDomain.intersect(SetDomain domain)	It intersects current domain with the one given as a parameter.
abstract SetDomain	SetDomain.intersect(SetDomain domain)	It intersects current domain with the one given as a parameter.
boolean	BoundSetDomain.isIntersecting(SetDomain domain)	It returns true if given domain intersects this domain.
abstract boolean	SetDomain.isIntersecting(SetDomain domain)	It returns true if this domain intersects with the supplied domain.
void	BoundSetDomain.setDomain(SetDomain domain)	It sets the domain to the specified domain.
abstract void	SetDomain.setDomain(SetDomain domain)	It sets the domain to the specified domain.
void	SetVar.setDomain(SetDomain dom)	It is possible to set the domain of variable.
SetDomain	BoundSetDomain.subtract(SetDomain domain)	It subtracts domain from current domain and returns the result.
abstract SetDomain	SetDomain.subtract(SetDomain domain)	It subtracts domain from current domain and returns the result.
SetDomain	BoundSetDomain.union(SetDomain domain)	It computes union of the supplied domain with this domain.
abstract SetDomain	SetDomain.union(SetDomain domain)	It computes union of the supplied domain with this domain.

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

Constructor	Description
SetDomainValueEnumeration(SetDomain dom)
SetVar(Store store, java.lang.String name, SetDomain dom)	It creates a variable in a given store, with a given name and a given domain.
SetVar(Store store, SetDomain dom)	It creates a variable in a given store, with a given name and a given domain.