Uses of Class
org.jacop.set.core.SetDomain
Packages that use SetDomain
-
Uses of SetDomain in org.jacop.search
Methods in org.jacop.search with parameters of type SetDomainModifier and TypeMethodDescription(package private) String
TraceGenerator.setDomainToString
(SetDomain domain) -
Uses of SetDomain in org.jacop.set.core
Subclasses of SetDomain in org.jacop.set.coreModifier and TypeClassDescriptionclass
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 SetDomainModifier and TypeFieldDescription(package private) SetDomain
SetDomainValueEnumeration.domain
SetVar.domain
It specifies the current domain associated with this set variable.static final SetDomain
SetDomain.emptyDomain
It predefines empty domain so there is no need to constantly create it when needed.SetDomain.previousDomain
It specifies the previous domain which was used by this domain.Methods in org.jacop.set.core that return SetDomainModifier and TypeMethodDescriptionBoundSetDomain.clone()
Clones the domain.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.BoundSetDomain.complement()
It creates a complement of a domain.SetVar.dom()
This function returns current domain of the variable.It intersects current domain with the one given as a parameter.It intersects current domain with the one given as a parameter.abstract SetDomain
It intersects current domain with the set of allowed values to be taken by the set domain.abstract SetDomain
It intersects current domain with the one given as a parameter.SetDomain.recentDomainPruning
(int storeLevel) It returns the values which have been removed at current store level.SetVar.recentDomainPruning()
It returns the values which have been removed at current store level.BoundSetDomain.subtract
(int value) It subtracts the set {value}.BoundSetDomain.subtract
(int min, int max) It subtracts the elements of the set {min..max}.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
It subtracts domain from current domain and returns the result.BoundSetDomain.union
(int value) It computes union of this domain and value.BoundSetDomain.union
(int min, int max) It computes union of this domain and the interval.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
It computes union of the supplied domain with this domain.Methods in org.jacop.set.core with parameters of type SetDomainModifier and TypeMethodDescriptionvoid
Adds a set to the domain.abstract void
Adds a set domain to this set domain.void
It is possible to add the domain of variable.boolean
abstract boolean
It checks if the supplied set domain is a subset of this domain.boolean
It checks if the domain is equal to the supplied domain.abstract boolean
It checks if the domain is equal to the supplied domain.void
It updates the domain to have values only within the domain.abstract void
It updates the domain to have values only within the domain.It intersects current domain with the one given as a parameter.abstract SetDomain
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
It sets the domain to the specified domain.abstract void
It sets the domain to the specified domain.void
It is possible to set the domain of variable.It subtracts domain from current domain and returns the result.abstract SetDomain
It subtracts domain from current domain and returns the result.It computes union of the supplied domain with this domain.abstract SetDomain
It computes union of the supplied domain with this domain.Constructors in org.jacop.set.core with parameters of type SetDomainModifierConstructorDescriptionIt creates a variable in a given store, with a given name and a given domain.It creates a variable in a given store, with a given name and a given domain.