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.
-