Uses of Class
org.jacop.floats.core.FloatDomain
Packages that use FloatDomain
-
Uses of FloatDomain in org.jacop.floats.constraints
Methods in org.jacop.floats.constraints with parameters of type FloatDomainModifier and TypeMethodDescription(package private) boolean
ElementFloat.disjoint
(FloatDomain v1, double v2) -
Uses of FloatDomain in org.jacop.floats.core
Subclasses of FloatDomain in org.jacop.floats.coreFields in org.jacop.floats.core declared as FloatDomainModifier and TypeFieldDescriptionFloatVar.domain
It stores pointer to a current domain, which has stamp equal to store stamp.static final FloatDomain
FloatDomain.emptyFloatDomain
It specifies an empty integer domain.FloatDomain.previousDomain
It specifies the previous domain which was used by this domain.Methods in org.jacop.floats.core that return FloatDomainModifier and TypeMethodDescriptionabstract FloatDomain
FloatDomain.clone()
abstract FloatDomain
FloatDomain.cloneLight()
abstract FloatDomain
FloatDomain.complement()
It creates a complement of a domain.FloatIntervalDomain.complement()
It creates a complement of a domain.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.FloatIntervalDomain.intersect
(double min, double max) In intersects current domain with the domain min..max.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.FloatIntervalDomain.previousDomain()
abstract FloatDomain
FloatDomain.recentDomainPruning
(int currentStoreLevel) It returns the values which have been removed at current store level.FloatIntervalDomain.recentDomainPruning
(int storeLevel) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.FloatVar.recentDomainPruning()
It returns the values which have been removed at current store level.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.subtract
(FloatDomain domain) It subtracts domain from current domain and returns the result.FloatIntervalDomain.subtract
(double value) FloatIntervalDomain.subtract
(FloatDomain domain) It subtracts domain from current domain and returns the result.FloatDomain.union
(double value) It computes union of this domain and value.FloatDomain.union
(double min, double max) It computes union of this domain and the interval.FloatDomain.union
(FloatDomain domain) It computes union of the supplied domain with this domain.FloatIntervalDomain.union
(double value) It computes union of dom1 and value and returns the result.FloatIntervalDomain.union
(double min, double max) It computes union of current domain and an interval min..max;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 FloatDomainModifier and TypeMethodDescriptionvoid
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, 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.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.subtract
(FloatDomain domain) It subtracts domain from current domain and returns the result.FloatIntervalDomain.subtract
(FloatDomain domain) It subtracts domain from current domain and returns the result.FloatDomain.union
(FloatDomain domain) It computes union of the supplied domain with this domain.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 FloatDomainModifierConstructorDescriptionFloatVar
(Store store, 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.