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

Packages that use FloatDomain

Package	Description
org.jacop.floats.constraints
org.jacop.floats.core

Uses of FloatDomain in org.jacop.floats.constraints

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

Modifier and Type	Method	Description
(package private) boolean	ElementFloat.disjoint(FloatDomain v1, double v2)

Uses of FloatDomain in org.jacop.floats.core

Subclasses of FloatDomain in org.jacop.floats.core

Modifier and Type	Class	Description
class	FloatIntervalDomain	Defines interval of numbers which is part of FDV definition which consist of one or several intervals.

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

Modifier and Type	Field	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	Description
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.
abstract FloatDomain	FloatDomain.intersect(FloatDomain dom)	It intersects current domain with the one given as a parameter.
FloatDomain	FloatIntervalDomain.intersect(double min, double max)	In intersects current domain with the domain min..max.
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()
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	FloatVar.recentDomainPruning()	It returns the values which have been removed at current store level.
FloatDomain	FloatDomain.subtract(double value)	It intersects with the domain which is a complement of 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(double value)
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	FloatDomain.union(double min, double max)	It computes union of this domain and the interval.
FloatDomain	FloatDomain.union(FloatDomain domain)	It computes union of the supplied domain with this domain.
FloatDomain	FloatIntervalDomain.union(double value)	It computes union of dom1 and value and returns the result.
FloatDomain	FloatIntervalDomain.union(double min, double max)	It computes union of current domain and an interval min..max;
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	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.
private void	FloatVar.commonInitialization(Store store, java.lang.String name, FloatDomain dom)
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)	Returns the lexical ordering between the sets
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	Description
FloatVar(Store store, java.lang.String name, FloatDomain dom)	It creates a variable in a given store, with a given name and a given domain.
FloatVar(Store store, FloatDomain dom)	It creates a variable in a given store, with a given name and a given domain.