Uses of Class
org.jacop.floats.core.FloatDomain

Packages that use FloatDomain

Package	Description
org.jacop.floats.core

Uses of FloatDomain in org.jacop.floats.core

Subclasses of FloatDomain in org.jacop.floats.core

Modifier and Type	Class and Description
class	FloatIntervalDomain

Fields in org.jacop.floats.core declared as FloatDomain

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

Methods in org.jacop.floats.core that return FloatDomain

Modifier and Type	Method and Description
abstract FloatDomain	FloatDomain.clone()
abstract FloatDomain	FloatDomain.cloneLight()
abstract FloatDomain	FloatDomain.complement() It creates a complement of a domain.
FloatDomain	FloatIntervalDomain.complement() It creates a complement of a domain.
FloatDomain	FloatVar.dom() This function returns current domain of the variable.
abstract FloatDomain	FloatDomain.intersect(double min, double max) In intersects current domain with the interval min..max.
FloatDomain	FloatIntervalDomain.intersect(double min, double max) In intersects current domain with the domain min..max.
abstract FloatDomain	FloatDomain.intersect(FloatDomain dom) It intersects current domain with the one given as a parameter.
FloatDomain	FloatIntervalDomain.intersect(FloatDomain domain) It interesects current domain with the one given as a parameter.
abstract FloatDomain	FloatDomain.previousDomain() It returns domain at earlier level at which the change has occurred.
FloatDomain	FloatIntervalDomain.previousDomain()
FloatDomain	FloatVar.recentDomainPruning() It returns the values which have been removed at current store level.
abstract FloatDomain	FloatDomain.recentDomainPruning(int currentStoreLevel) It returns the values which have been removed at current store level.
FloatDomain	FloatIntervalDomain.recentDomainPruning(int storeLevel) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.
FloatDomain	FloatDomain.subtract(double value) It intersects with the domain which is a complement of value.
FloatDomain	FloatIntervalDomain.subtract(double value)
abstract FloatDomain	FloatDomain.subtract(double min, double max) It subtracts interval min..max.
FloatDomain	FloatDomain.subtract(FloatDomain domain) It subtracts domain from current domain and returns the result.
FloatDomain	FloatIntervalDomain.subtract(FloatDomain domain) It subtracts domain from current domain and returns the result.
FloatDomain	FloatDomain.union(double value) It computes union of this domain and value.
FloatDomain	FloatIntervalDomain.union(double value) It computes union of dom1 and value and returns the result.
FloatDomain	FloatDomain.union(double min, double max) It computes union of this domain and the interval.
FloatDomain	FloatIntervalDomain.union(double min, double max) It computes union of current domain and an interval min..max;
FloatDomain	FloatDomain.union(FloatDomain domain) It computes union of the supplied domain with this domain.
FloatDomain	FloatIntervalDomain.union(FloatDomain domain) It computes union of dom1 from dom2 and returns the result.

Methods in org.jacop.floats.core with parameters of type FloatDomain

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

Constructors in org.jacop.floats.core with parameters of type FloatDomain

Constructor and Description
FloatVar(Store store, FloatDomain dom) It creates a variable in a given store, with a given name and a given domain.
FloatVar(Store store, String name, FloatDomain dom) It creates a variable in a given store, with a given name and a given domain.